Effective C++ 学习笔记 第二章：构造、析构、赋值运算

第一章见 Effective C++ 学习笔记 第一章：让自己习惯 C++
第二章见 Effective C++ 学习笔记 第二章：构造、析构、赋值运算
第三章见 Effective C++ 学习笔记 第三章：资源管理
第四章见 Effective C++ 学习笔记 第四章：设计与声明
第五章见 Effective C++ 学习笔记 第五章：实现
第六章见 Effective C++ 学习笔记 第六章：继承与面向对象设计
第七章见 Effective C++ 学习笔记 第七章：模板与泛型编程
第八章见 Effective C++ 学习笔记 第八章：定制 new 和 delete
第九章见 Effective C++ 学习笔记 第九章：杂项讨论

条款 05：了解 C++ 默默编写并调用哪些函数

Know what functions C++ silently writes and calls.

C++ 中，空类并不是空的。

如果你没有指定构造函数，编译器会自动生成 default 构造函数，如果没有指定 copy 构造函数、copy 赋值操作符和析构函数，编译器也会自动生成空的版本。这几个自动生成的函数是 public 和 inline 的，析构函数是非 virtual 的（除非该空类的基类声明了 virtual 的析构函数）。
不过有个前提，只有这些函数被调用时，编译器才会创建。

自动生成的 copy 构造函数和 copy 赋值运算符，是简单的将类的成员全部拷贝赋值。

如果某个未指定 copy 构造函数或 copy 赋值运算符的类内存在引用成员对象或常量成员对象，需要执行类对象的 copy 操作时，编译器会拒绝编译。因为自动生成的 copy 构造函数或 copy 赋值运算符无法处理对引用成员对象和常量成员对象的赋值操作。
示例代码如下：

template<class T>
class DOG {
   
public:
	DOG(std::string& name, const T& value);
	// 这里我们只声明构造函数，不声明 copy 赋值运算符函数
private:
	std::string& name;    // 引用成员对象
	const T value;		  // 常量成员对象
};

std::string newDog("Persephone");
std::string oldDog("Satch");
DOG<int> p(newDog, 2);          // 作者当时养的狗狗
DOG<int> s(oldDog, 36);         // 作者之前养的已经去世的狗狗
p = s;                          // 编译器对这条代码无能为力

如果某个类的基类将 copy 构造函数 和 copy 赋值运算符函数声明为 private，那么该类中也不会由编译器自动生成这两个函数，编译器认为它没办法处理 copy 操作时，调用基类 copy 方法的操作。

总结

• 编译器可以暗自为 class 创建 default 构造函数、copy 构造函数、copy 赋值运算符和析构函数。

条款 06：若不想使用编译器自动生成的函数，就该明确拒绝

Explicitly disallow the use of compiler-generated functions you do not want.

上个条款中我们知道，如果我们不声明 copy 构造函数和 copy 赋值运算符函数，编译器会在需要的时候自动声明。但如果我们不希望这个类的对象有拷贝操作，