C ++为什么复制构造函数被调用？

Question

class A {
public:
    A() {}
    A(const A& a) { cout << "A::A(A&)" << endl; }
};

class B {
public:
    explicit B(A aa) {}
};

int main() {
    A a;
    B b(a);
    return 0;
}

为什么打印“A :: A（A＆）”？

什么时候“A”的复制构造函数被称为？ 如果代码调用了复制构造函数，为什么我可以在不创建编译错误的情况下删除复制构造函数？

Answer 1

B(A aa)采用A by值，因此当您执行B b(a) ，编译器调用复制构造函数A(const A& a)以在B的explicit构造函数中生成名为aa的A实例。

您可以删除复制构造函数并使其仍然有效的原因是，在您尚未声明移动构造函数的情况下，编译器将为您生成复制构造函数。

注意：编译器生成的复制构造函数通常不足以用于复杂的类，它执行简单的成员智能复制，因此对于复杂元素或动态分配的内存，您应该声明自己的。

§15.8.1

如果类定义未显式声明复制构造函数，则会隐式声明非显式构造函数。 如果类定义声明了移动构造函数或移动赋值运算符，则隐式声明的复制构造函数被定义为已删除; 否则，它被定义为默认（11.4）。 如果类具有用户声明的复制赋值运算符或用户声明的析构函数或赋值运算符，则不推荐使用后一种情况。

Answer 2

为什么要复制

看看你的class B c'tor：

class B {
public:
    explicit B(A aa) {}
};

您通过值接收A，在通话期间触发副本。

如果您将其更改为（注意A & aa ）：

class B {
public:
    explicit B(A & aa) {}
};

没有任何副本......

默认复制构造函数

当你删除c'tor时，编译器会为你生成一个，当它可以这么做时：

首先，你应该明白，如果你没有声明一个复制构造函数，编译器会隐式地给你一个。 隐式复制构造函数执行源对象的成员方复制。

默认c'tor相当于：

MyClass::MyClass( const MyClass& other ) :
     x( other.x ), c( other.c ), s( other.s ) {}