构造函数是C++中用于初始化对象的特殊成员函数,包括默认构造函数(无参或全默认参数)和拷贝构造函数(const引用单参),分别在对象创建和用同类型对象初始化时调用;编译器仅在未显式定义对应函数时隐式生成,默认构造函数不初始化内置类型,拷贝构造默认执行浅拷贝,深拷贝需手动实现。

构造函数是C++中用于初始化对象的特殊成员函数,它在对象创建时自动调用。掌握默认构造函数、拷贝构造函数以及它们的触发条件和行为差异,对理解对象生命周期、资源管理(尤其是深拷贝)至关重要。
默认构造函数:无参或带默认值的构造函数
默认构造函数是指可以不传入实参就调用的构造函数,包括两种形式:
- 不带任何参数的构造函数,例如 MyClass() { }
- 所有参数都提供了默认值的构造函数,例如 MyClass(int x = 0, const char* s = nullptr) { }
如果用户没有定义任何构造函数,编译器会自动生成一个**隐式默认构造函数**(仅当类中没有用户定义的构造函数时)。但一旦你写了任意构造函数(哪怕是有参的),编译器就不再生成默认构造函数——此时若需默认构造,必须显式定义。
注意:隐式生成的默认构造函数不做初始化(内置类型如 int 不初始化为 0,而是未定义值),而用户定义的默认构造函数可按需初始化成员。
立即学习“C++免费学习笔记(深入)”;
拷贝构造函数:用同类型对象初始化新对象
拷贝构造函数是只有一个参数且该参数为 const 引用类型 的构造函数,形式为:MyClass(const MyClass& other)。它的作用是用一个已存在的对象来初始化一个新创建的对象。
以下情况会自动调用拷贝构造函数:
- 用一个对象初始化另一个对象:MyClass a; MyClass b = a;(注意:这是初始化,不是赋值)
- 函数以值传递方式传入对象:void func(MyClass obj) { ... } → func(a);
- 函数返回一个局部对象:MyClass create() { MyClass tmp; return tmp; }(C++17前可能调用,C++17起通常被强制省略,但语义仍按拷贝构造定义)
如果你没写拷贝构造函数,编译器会合成一个默认的——它对每个非静态成员执行“逐成员拷贝”(memberwise copy)。对于指针成员,这会导致浅拷贝问题;需要深拷贝时,必须自己定义拷贝构造函数。
编译器自动生成的构造函数:什么情况下会生成?
编译器在特定条件下会隐式生成三种特殊成员函数(C++11起称为“特殊成员函数”):
- 默认构造函数:仅当类中没有用户声明的任何构造函数时才生成
- 拷贝构造函数:仅当类中没有用户声明的拷贝构造函数时才生成(即使你写了其他构造函数)
- 析构函数:仅当类中没有用户声明的析构函数时才生成(且生成的是非虚的)
这些隐式生成的函数都是 public、inline、非 explicit 的。若希望禁止某些行为(如禁止拷贝),应显式使用 = delete,例如:MyClass(const MyClass&) = delete;
常见误区与注意事项
容易混淆的几个点:
- MyClass a = MyClass(); 是直接初始化,调用默认构造函数(C++17起 guaranteed copy elision,不调用拷贝构造)
- MyClass a(b); 和 MyClass a = b; 都调用拷贝构造函数(后者是复制初始化语法,但效果等价)
- 赋值操作(a = b;)调用的是 拷贝赋值运算符,不是拷贝构造函数
- 移动构造函数(C++11)和拷贝构造函数互不替代;有右值时优先调用移动构造,除非被删除或不可用
写构造函数时,推荐使用成员初始化列表(: member(val))而非在函数体内赋值,尤其对 const 成员、引用成员或没有默认构造函数的类类型成员,这是唯一合法方式。











