Effective C++ 总结笔记（二）

二、构造/析构/赋值运算

05．了解C++默默编写并调用那些函数

  如果自己不声明， 编译器就会暗自为class创建一个default构造函数、一个copy构造函数、一个copy assignment操作符（代码合法有意义时编译器才会生成），以及一个析构函数

并且所有的这些都是public且inline的。

若你自定义了构造函数，编译器就不会为你创建default构造函数。

注：base class如果把copy构造函数或copy assignment操作符设置为private，derived class将拒绝生成copy构造函数或copy assignment操作符。

06．若不想使用编译器自动生成的函数，明确拒绝它

1. 可以将copy构造函数或copy assignment 函数声明为private并且不予实现，可阻止编译器暗自创建其专属版本，也可阻止人们调用它。
2. 继承专门为了阻止coping动作而设计的base class。

07．为多态基类声明virtual析构函数

polymorphic（带多态性质的）base classes才应该声明一个virtual析构函数（免除“局部销毁”问题），不为多态用途的base classes不该声明virtual 析构函数。

原因：当派生类对象经由一个基类指针而被删除，而该基类带着一个non-virtual析构函数时，实际执行无法销毁对象的派生类成分。但实现虚函数对象需要额外携带某些信息，是由一个vptr指针，vptr指向一个有函数指针构成的数组vtbl（虚函数表），实际被调用的函数却决于该对象的vptr所指的vtbl——编译器在其中寻找适当的函数指针。

需要额外空间。

08．别让异常逃离析构函数析构函数绝对不能抛出异常

1. 析构函数绝对不能抛出异常；如果一个被析构函数调用的函数可能抛出异常，析构函数应该捕捉任何异常，然后吞下它们（不传播）或结束程序

2. 如果客户需要对某个操作函数运行期间抛出的异常做出反应，那么类应该提供一个普通函数（而非在析构函数中）执行该操作

注：

如果析构函数抛出异常，可能导致两个异常同时存在，程序若不是结束执行就是导致不明确行为。

09．绝不在构造和析构过程中调用virtual函数

由于无法使用virtual函数从base classes向下调用，可以令derived classes将必要的构造信息向上传递至base class构造函数替换

注：

base class构造期间virtual函数绝不会下降到derived classes阶层，原因有二：

1. base class构造或析构函数执行时derived class的成员变量尚未初始化，如果调用的virtual函数下降到derived class阶层，必定导致使用的成员变量未初始化

2. 在derived class的base class构造期间，对象的类型是base class，不会成为一个derived class对象

10．令operator=返回一个refference to *this

赋值可以写成连锁形式：x = y = z = 15；

而为了实现这样的连锁赋值，赋值操作符必须返回一个reference指向操作符的左侧实参。

11．在operator= 中处理“自我赋值”

加一个“证同测试”使具有“自我赋值安全性”。

为了防止自我赋值，可能有两个不同的对象指向一个地址，为了防止在释放一个对象资源时，使得另一个变为野指针，需要对自我赋值处理。

精心安排的语句可以使代码具有“异常安全性”（自动获得“自我赋值安全性”）：在复制构造之前别删除原指针

另一种替代方案是“copy and swap”技术

12．复制对象时勿忘每一个成分

1. copying函数应确保复制对象内的所有成员变量以及所有base class成分。

2.不要尝试以一个copying函数实现另一个copying函数。应将共同机能放进第三个函数中并由它们共同调用。

编写拷贝构造函数时，如果子类继承父类，子类的拷贝构造、赋值都需要对父类中成分再复制或者初始化。