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

C++ Why was the copy constructor called?

本文关键字:构造函数 复制 调用 为什么 C++      更新时间:2023-10-16
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"的复制构造函数是什么时候调用的?如果代码调用了复制构造函数,为什么我可以在不产生编译错误的情况下删除复制构造函数?

B(A aa)按值取A,因此当执行B b(a)时,编译器调用复制构造函数A(const A& a),以在Bexplicit构造函数中生成名为aaA实例。

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

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

§15.8.1

如果类定义没有显式声明复制构造函数,则隐式声明非显式构造函数。如果类定义声明了移动构造函数或移动赋值运算符,则隐式声明的副本构造函数被定义为已删除;否则,它被定义为默认值(11.4)。如果类具有用户声明的复制赋值运算符或用户声明的析构函数或赋值运算符。

复制发生的原因

查看您的class Bc'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 ) {}