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＆amp;）”？

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

Answer 1

B(A aa)按A取值，因此当您执行B b(a)时，编译器会调用复制构造函数A(const A& a)来生成A名为{的实例aa的{{1}}构造函数中的{1}}。

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

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

§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 ) {}

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

2 个答案: