C++构造函数默认生成规则
C++ 编译器会为类自动生成以下四种特殊成员函数:
- 默认构造函数
- 拷贝构造函数
- 拷贝赋值运算符
- 析构函数
这些函数只有在你没有为它们提供自定义实现的情况下才会被自动生成。
-
默认构造函数:如果你没有为类定义任何构造函数,编译器会为你生成一个默认构造函数。这个构造函数不做任何事情,只是简单地创建对象。如果你为类定义了其他构造函数(例如拷贝构造函数或带参数的构造函数),编译器就不会为你生成默认构造函数。
-
拷贝构造函数和拷贝赋值运算符:如果你没有为类定义拷贝构造函数或拷贝赋值运算符,编译器会为你生成它们。这些函数执行的是浅拷贝,也就是简单地复制对象的每个成员。如果你为类定义了移动构造函数或移动赋值运算符,或者你声明了析构函数,编译器就不会为你生成拷贝构造函数和拷贝赋值运算符。
-
析构函数:如果你没有为类定义析构函数,编译器会为你生成一个析构函数。这个析构函数不做任何事情,只是简单地销毁对象。
此外,从 C++11 开始,编译器还会为类自动生成以下两种特殊成员函数:
- 移动构造函数
- 移动赋值运算符
当你为类自定义某个特殊成员函数时,编译器对其他特殊成员函数的自动生成行为会受到影响,但并不是所有的特殊成员函数都不会被自动生成。以下是具体的规则:
-
如果你自定义了任何构造函数(包括默认构造函数、拷贝构造函数、移动构造函数或带参数的构造函数),编译器就不会为你生成默认构造函数。
-
如果你自定义了拷贝构造函数、拷贝赋值运算符或析构函数,编译器就不会为你生成移动构造函数和移动赋值运算符。
-
如果你自定义了移动构造函数或移动赋值运算符,编译器就不会为你生成拷贝构造函数和拷贝赋值运算符。
-
如果你自定义了析构函数,编译器仍然会为你生成拷贝构造函数和拷贝赋值运算符,除非你也自定义了这些函数。
-
析构函数总是会被自动生成,除非你自定义了它。
总的来说,当你自定义某个特殊成员函数时,编译器可能不会为你生成其他一些特殊成员函数。这是为了防止你无意中进行不正确的操作,例如尝试移动一个只能被拷贝的对象,或尝试默认构造一个需要特定参数的对象。如果你需要编译器为你生成某个特殊成员函数,你可以使用 = default
关键字来显式地要求编译器生成它。例如:
class MyClass {
public:
MyClass(const MyClass&) = default; // 显式要求编译器生成拷贝构造函数
MyClass(const MyClass&) = delete; // 显式要求编译器不生成拷贝构造函数
// ...
};