C++类中默认生成的函数详解

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标准中上述函数的生成规律:

1. 只要指定了一个要求传参的构造函数, 就会阻止编译器生成默认构造函数

2. 两种复制操作是彼此独立的, 即显式声明了其中一个, 不会阻止编译器默认生成另一个

3. 两种移动操作并不彼此独立, 即显式声明了其中一个, 就会阻止编译器默认生成另一个

4. 一旦显式声明了复制操作, 就会阻止编译器默认生成移动操作

5. 一旦显式声明了移动操作, 就会阻止编译器默认生成复制操作

6. 一旦显式申明了析构函数, 就会阻止编译器默认生成移动操作

如果编译器默认生成的上述函数能满足你的需求, 但由于各个规则被抑制生成的话, 可以通过= default来显式表达这个想法, 如上述A类所示

大三律 (Rule of Three)

如果你声明了复制构造函数, 复制赋值运算符, 或析构函数的任何一个, 你就得同时声明所有这三个。这个思想源于: 如果有改写复制操作的需求, 往往意味着该类需要执行某种资源管理, 而这就意味着:

1. 在一种复制操作中进行的任何资源管理, 也极有可能在另一种复制操作中也需要进行

2. 该类的析构函数也会参与到该资源的管理中(通常是释放)

参考:《Effective Modern C++》