C++类中会在需要时(即在某些代码使用了它们, 而类中并未显式申明的场合), 会默认生成一些public属性的函数
C++98标准: 会生成默认构造函数, 析构函数, 复制构造函数, 复制赋值运算符
C++11标准: 除了C++98标准中生成的函数外, 还会生成移动构造函数和移动赋值运算符
以类A为例, 上述函数表示如下:
class A {
public:
A() = default; // 构造函数
~A() = default; // 析构函数
A(const A&) = default; // 复制构造函数
A& operator=(const A&) = default; // 复制赋值运算符
A(A&&) = default; // 移动构造函数
A& operator=(A&&) = default; // 移动赋值运算符
};
C++11标准中上述函数的生成规律:
-
只要指定了一个要求传参的构造函数, 就会阻止编译器生成默认构造函数
-
两种复制操作是彼此独立的, 即显式声明了其中一个, 不会阻止编译器默认生成另一个
-
两种移动操作并不彼此独立, 即显式声明了其中一个, 就会阻止编译器默认生成另一个
-
一旦显式声明了复制操作, 就会阻止编译器默认生成移动操作
-
一旦显式声明了移动操作, 就会阻止编译器默认生成复制操作
-
一旦显式申明了析构函数, 就会阻止编译器默认生成移动操作
如果编译器默认生成的上述函数能满足你的需求, 但由于各个规则被抑制生成的话, 可以通过= default
来显式表达这个想法, 如上述A类所示
大三律 (Rule of Three)
如果你声明了复制构造函数, 复制赋值运算符, 或析构函数的任何一个, 你就得同时声明所有这三个。这个思想源于: 如果有改写复制操作的需求, 往往意味着该类需要执行某种资源管理, 而这就意味着:
-
在一种复制操作中进行的任何资源管理, 也极有可能在另一种复制操作中也需要进行
-
该类的析构函数也会参与到该资源的管理中(通常是释放)
参考:《Effective Modern C++》