未生成拷贝构造函数时，用已有对象初始化新对象调用哪个构造函数？

示例代码 #

class X {
public:
    explicit X(int x):m_x(new int{x}) {
        cout << "------------------------------------\n";
        cout << "Constuctor X(int x)"<<endl;
        cout << this << endl;

    }

    X() {
        cout << "------------------------------------\n";
        cout << "Constuctor X()"<<endl;
        cout << this << endl;
    }

    ~X() {
        cout << "------------------------------------\n";
        cout << "Destructor"<<endl;
        cout << this << endl;
    }

    int* m_x = nullptr;
    const int c_x = 10;
};

int main() {
  X x1;
  X x2{x1};
}

程序输出 #

------------------------------------
Constuctor X()
0x7ffc22667cb0
------------------------------------
Destructor
0x7ffc22667cc0
------------------------------------
Destructor
0x7ffc22667cb0

问题解答 #

初始化x2时调用的是编译器自动生成的默认拷贝构造函数。

具体原因：

• C标准规定，只要未显式声明拷贝构造函数、移动构造函数、移动赋值运算符，即便自定义了默认构造、带参构造或析构函数，编译器仍会自动生成默认拷贝构造函数（C11及以后版本中，这种场景下生成的拷贝构造会被标记为弃用，但仍会正常生效）。
• 这个默认拷贝构造函数没有自定义输出逻辑，所以看不到对应的构造日志，但从程序最终有两个对象被析构的结果，能反推x2确实通过它完成了初始化。
• 默认拷贝构造的行为是逐成员拷贝：会拷贝m_x指针（注意这里是浅拷贝，后续若涉及内存释放可能引发问题），以及c_x常量的值。

内容的提问来源于stack exchange，提问作者Tien Dollars