7

我使用下面的代码来测试复制省略：

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)？如何使编译器在左值上省略副本？

4

2 回答 2

6

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

复制构造函数被调用是因为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));
}

此外，只要允许复制省略但不发生复制省略，则将使用移动构造函数（如果可用）。

于 2012-08-14T06:21:25.850 回答
4

您需要声明g为：

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

现在它可以通过右值引用接受参数。

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

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

但是，如果您g按照我上面的建议进行更改，则该调用g(foo())将不会进行复制，因为语言要求不要使用 && 进行复制。它不再是编译器优化。

于 2012-08-14T06:02:38.977 回答