特殊成员函数(Special member functions)是指那些编译器可以为类自动产生的函数。
C++ 中有五种特殊成员函数(special member functions):
1. 默认构造函数(Default constructor):只有当类中没有用户显式自定义的构造函数时,编译器才会自动为该类生成。
2. 析构函数(Destructor):只有当类中没有用户自定义的析构函数时,编译器自动生成。只有基类的析构函数是虚析构函数(virtual)时,子类中的析构函数才是虚析构函数(virtual).
3. 拷贝构造函数(Copy Constructor):执行类成员级别的拷贝(memberwise copy),只有当类中没有用户自定义的拷贝构造函数和任何move函数(包括move 构造函数,move赋值运算符),编译器自动生成。为一个有用户自定义拷贝赋值运算符或者用户自定义析构函数的类自动生成拷贝构造函数的行为是过时的,不宜用的,已经被C++标准摒弃的(在实际代码测试中,我发现如果显示定义析构函数,编译器仍然会自动生成拷贝构造函数)。
4. 拷贝赋值运算符(Copy assignment operator):执行成员级别的拷贝。 只有当类中没有用户自定义的拷贝赋值运算符和任何move函数时,编译器自动生成。(在实际代码测试中,我发现如果显示定义析构函数,编译器仍然会自动生成拷贝赋值运算符。)
5. 移动构造函数和移动赋值运算符(Move constructor and move assignment operator):执行成员级别的move。只有当类中,没有用户自定义的move函数(包括move 构造函数,move赋值运算符)、用户自定义拷贝函数(包括拷贝赋值运算符和拷贝构造函数)、自定义析构函数时,编译器自动生成。
注意:成员函数模板不会阻碍上述特殊成员函数的自动生成。这些特殊成员函数是否生成和类中有无成员函数模板无关。