1

编码

class ElisionTest
{
public:
    int n;
    // ElisionTest(ElisionTest& other): n(other.n) {cout<<"copy constructor"<<endl;}
    ElisionTest(int n): n(n) {cout<<"constructor"<<endl;}
};

int main(int argc, char const *argv[])
{
    ElisionTest et = 10;

}

打印"constructor"，这很好。现在，当我取消注释复制构造函数时，我得到一个编译时错误：

cpp_test.cpp: In function 'int main(int, const char**)':
cpp_test.cpp:140:19: error: no matching function for call to 'ElisionTest::ElisionTest(ElisionTest)'
cpp_test.cpp:140:19: note: candidates are:
cpp_test.cpp:135:2: note: ElisionTest::ElisionTest(int)
cpp_test.cpp:135:2: note:   no known conversion for argument 1 from 'ElisionTest' to 'int'
cpp_test.cpp:134:2: note: ElisionTest::ElisionTest(ElisionTest&)
cpp_test.cpp:134:2: note:   no known conversion for argument 1 from 'ElisionTest' to 'ElisionTest& {aka ElisionTest&}'

这可能继续表明这里的复制构造函数将使用一个临时的ElisionTest(10). 并且由于您不能对临时对象进行非常量引用，因此将复制构造函数的参数设为 aconst&应该可以解决该错误。

但是，如果我将复制构造函数修改为 takeconst ElisionTest&而不是ElisionTest&，则没有错误，并且输出"constructor"再次出现。为什么不打印"copy constructor"？

4

2 回答 2

2 
ElisionTest(ElisionTest& other);

ElisionTest具有该签名的构造函数允许通过左值初始化实例。当你这样做时：

ElisionTest et = 10;

ElisionTest这将从临时构造一个实例。您的代码相当于：

ElisionTest et = ElisionTest(10);

这将调用您的构造函数，该构造函数采用非常量引用并et用它进行初始化。但是非常量引用不能绑定到临时引用。这就是为什么我们需要添加const到您的复制构造函数中，以便它可以同时支持左值和右值：

ElisionTest(ElisionTest const& other);
//                      ^^^^^

您看不到任何输出的原因是由于某种称为copy-elision的东西。编译器可以省略对复制/移动构造函数的调用。在 GCC 中，您可以使用-fno-elide-constructors来关闭复制省略。

于 2013-06-16T19:00:42.357 回答
1

它输出"constructor"是因为它需要从 转换10为ElisionTest。

它也没有打印"copy constructor"，因为它被优化了（复制省略）。这是唯一可以改变程序可观察行为的优化。

于 2013-06-16T19:02:37.907 回答