Question

我使用下面的代码来测试copy elision：

class foo
{
public:
    foo() {cout<<"ctor"<<endl;};
    foo(const foo &rhs) {cout<<"copy ctor"<<endl;}
};

int g(foo a)
{
    return 0;
}

int main()
{
    foo a;
    g(std::move(a));
    return 0;
}

我预计只会调用默认构造函数，因为g()的参数是一个右值，副本将被省略。但结果显示默认构造函数和复制构造函数都被调用。为什么呢？

如果我将函数调用更改为g(foo())，则副本将被删除。 foo()和std::move(a)的返回类型之间有什么区别？如何在左值上编译编译器？

Answer 1

复制elision只能在少数特定情况下发生，其中最常见的是复制临时（其他人返回本地，以及抛出/捕获异常）。您的代码不会临时生成，因此不会删除任何副本。

正在调用复制构造函数，因为foo没有移动构造函数（不会为具有显式复制构造函数的类隐式生成移动构造函数），因此std::move(a)与foo(const foo &rhs)匹配构造函数（用于构造函数参数）。

在以下情况下可以省略左值的副本（尽管强制编译器无法执行省略）：

foo fn() {
    foo localAutomaticVariable;
    return localAutomaticVariable; //Copy to construct return value may be elided
}

int main() {
    try {
        foo localVariable;
        throw localVariable; //The copy to construct the exception may be elided
    }
    catch(...) {}
}

如果要在传递函数参数时避免使用副本，可以使用移动构造函数来传递给定对象的资源：

class bar {
public:
    bar() {cout<<"ctor"<<endl;};
    bar(const bar &rhs) {cout<<"copy ctor"<<endl;}
    bar(bar &&rhs) {cout<<"move ctor"<<endl;}
};

void fn(bar a)
{
}
//Prints:
//"ctor"
//"move ctor"
int main()
{
    bar b;
    f(std::move(b));
}

此外，每当允许复制省略但未发生复制省略时，如果移动构造函数可用，则将使用移动构造函数。

Answer 2

您需要将g声明为：

int g(foo && a) //accept argument as rvalue reference
{
    return 0;
}

现在它可以通过rvalue-reference接受参数。

在您的情况下，即使表达式std::move(a)生成rvalue，它也不会绑定到按值接受参数的参数。接收端也必须是 rvalue-reference 。

在g(foo())的情况下，复制省略由编译器执行，这是一种优化。 语言不是 ^{[until C++17]}的要求。如果您愿意，可以停用此优化：g(foo())和g(std::move(a))的行为与预期完全相同。

但如果您按照我的建议更改g，则来电g(foo())将无法复制，因为该语言要求不使用＆amp;＆amp;＆ / strong>即可。它不再是编译器优化。

为什么复制elision不能使用std :: move？

2 个答案: