在C++11中按值返回构造对象时避免复制构造函数调用

Question

我有一个没有复制构造函数的类，我仍然想按值返回它。下面的MCVE在C++17中编译：

class Cls {
    public:
    Cls(int x) {}
    Cls(const Cls& c) = delete;
};

Cls f(int x) {
    return Cls(x);
}

int main() {
    f(0);
}

但在C++11中并非如此：

$ g++ prog.cc -Wall -Wextra -std=c++11
prog.cc: In function 'Cls f(int)':
prog.cc:9:17: error: use of deleted function 'Cls::Cls(const Cls&)'
    9 |     return Cls(x);
      |                 ^
prog.cc:5:5: note: declared here
    5 |     Cls(const Cls& c) = delete;
      |     ^~~

据我所知，原因是编译器不允许优化复制，即使在这种情况下它应该是微不足道的。

我希望return std::move(Cls(x));能够工作，并避免复制构造函数，但它也会产生同样的错误。

我可以在不定义复制构造函数(或辅助操作符)的情况下修复这个问题吗？

我看过相关的问题，但找不到副本。

Answer 1

而是实现一个移动构造函数。

在C++17中，编译器必须执行复制省略，而不必复制或移动对象。但是对于C++11来说，你没有这个设施，但你可以移动你的案件：

Cls(Cls&& c) = default;

Answer 2

我可以在不定义复制构造函数(或辅助操作符)的情况下修复这个问题吗？

在您的案例中有两种选择：

• 定义移动构造函数： Cls(Cls& c) =违约；
• 使用复制列表初始化，它允许不调用复制/移动构造函数，它需要一个非显式构造函数： Cls f(int x) {返回{x}；} 演示

在C++17中，您有“保证”复制(或“非物化值传递”)，因此return Cls(x);是可以的。