C++复制构造函数行为

C++ copy constructor behaviour

本文关键字：构造函数 复制 C++      更新时间：2023-10-16

C++代码中有一部分我不太明白。我也不知道我应该去哪里搜索有关它的信息，所以我决定问一个问题。

#include <iostream>
#include <string>
using namespace std;
class Test
{
    public:
        Test();
        Test(Test const & src);
        Test& operator=(const Test& rhs);
        Test test();
        int x;
};
Test::Test()
{
    cout << "Constructor has been called" << endl;
}
Test::Test(Test const & src)
{
    cout << "Copy constructor has been called" << endl;
}
Test& Test::operator=(const Test& rhs)
{
    cout << "Assignment operator" << endl;
}
Test Test::test()
{
    return Test();
}
int main()
{
    Test a;
    Test b = a.test();
    return 0;
}

为什么我得到的输入是

Constructor has been called
Constructor has been called

？a.test（） 通过调用 "Test（）" 创建一个新实例，这就是显示第二条消息的原因。但是为什么没有调用复制构造函数或赋值呢？如果我将"return Test（）"更改为"return *（new Test（））"，则调用复制构造函数。

那么为什么不叫第一次呢？

编译器非常聪明。两个副本 - 从test返回并初始化b（不是这不是赋值） - 根据以下规则（C++11 §12.8）省略：

当尚未绑定到引用 （12.2） 的临时类对象将被复制/移动到具有相同 CV-UNQUALIFIED 类型的类对象时，可以通过将临时对象直接构造到省略的复制/移动的目标中来省略复制/移动操作

编译器可以这样做，即使它会改变程序的行为（例如删除输出消息）。应不要编写具有其他副作用的复制/移动构造函数和赋值运算符。

请注意，这只是可能发生复制省略的四种情况之一（不包括 as-if 规则）。

对 a.test（） 的调用按值返回，然后将该值分配给 b "复制"返回值。 这将调用复制构造函数。

相关文章：