Effective C++随笔 5 to 12 构造/析构/赋值 运算

5.了解C++默默编写并调用哪些函数

若程序中没有声明，编译器将会自动为其声明一个默认的构造函数与复制构造函数，以及赋值操作符与析构函数。但只有当其被调用或隐式调用时，编译器才会创造出这些函数。

编译器补全的复制构造函数与赋值操作符不能处理下面两种情况：
（1）含有引用或指针
（2）对象中含有const类型元素
C++将拒绝编译上述两种情况下的操作，因此如果需要处理上述两种情况，用户应自己设计复制构造函数与重载赋值操作符

6.若不想使用编译器自动构造的函数，应当明确拒绝

有些对象是独一无二的，我们认为复制构造函数是相当不合理的操作。但若我们不自己设计复制构造函数，编译器将会代替我们完成这一工作；若我们设计复制构造函数，该函数又不应存在，这将使我们陷入两难。
解决方法是：自己设计空的复制构造函数（只需函数声明而不必有内部的实现），同时将其声明为private，阻止程序中调用该函数。
　或者我们可以设计一个基类使用上面的方法专门用于表明不可复制构造，然后让想要实现的类公有继承该类。

7.为多态基类声明virtual析构函数

若多态基类的析构函数不是virtual的，则若使用基类指针指向一个派生类对象，析构时只会析构基类的部分，继承类独有的部分将不会被析构。当然，只有多态基类才需要这样的virtual析构函数，一般的基类不需要virtual析构函数。

8.别让异常逃离析构函数

析构函数绝不应该吐出异常，若一个被析构函数调用的函数可能抛出异常，析构函数应当捕捉任何异常，然后吞下他们（不传播）或结束程序。
如果用户需要对某个操作函数运行期间抛出的异常作出反应，那么class应当提供一个普通函数（而非在析构函数中）执行该操作。

9.绝不在构造与析构函数中调用virtual函数

存在这样的情况：若在基类的构造函数中调用virtual函数，则在生成派生类对象时，一定会先生成一个基类对象，在生成基类对象的构造函数中，会调用一个虚函数。而事实上此时派生类对象还未生成，无法确认该虚函数应该完成哪个派生类的功能，导致一个未定义的异常。
同样的，在析构过程中，派生类对象先被释放，释放后，程序认为目前只存在一个基类，调用基类的析构函数时，派生类对象已不存在，虚函数仍然无法确认应该完成哪个派生类的功能。
构造与析构过程中，无法使用virtual函数从基类到派生类向下调用，只能从派生类传递必要的构造信息至基类的构造函数加以弥补。

10.令 operator= 返回一个reference to *this

此条目是为了满足连续赋值，如：
x=y=5；
为实现连续赋值，赋值操作符必须返回一个对操作符左侧实参的引用

该条目同样适用于+=与*=操作。

11.在 operator= 中处理自赋值

否则会在释放左侧旧内存的时候将右侧内存也释放掉。

12.复制对象时，勿忘其每一个成分

复制构造函数最容易犯的错是：在派生类的复制构造函数中，只完成派生类独有部分的复制构造，而不对基类部分进行复制构造。
派生类的复制构造函数中，我们有必要将基类对象加入初始化列表。
下图是一个合理的例子：