Effective cpp 读书笔记2

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

1. C++默默编写的函数（程序员没有声明的前提下）：default构造函数、copy构造函数、copy assignment操作符、default析构函数（非virtual）

2. 编译器产出的函数都是public的

3. 关于构造函数，如果用户定义了至少一种，就不会有默认构造函数

   • 关于copy构造和copy assignment，只有当生出的代码合法且有适当机会证明它有意义，编译器才会自动生出。比如成员变量里面有引用或者const，无法赋值，编译器没法解决，就不生成copying函数

4. 结论：

   • 编译器可以暗自为class创建default构造函数、copy构造函数、copy assignment操作符和析构函数

---

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

1. 自行声明和定义

2. 将对应的函数声明为private而且故意不实现它们

3. 私有的继承Uncopyable类

---

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

1. 任何class只要带有virtual函数都几乎确定应该也有一个virtual析构函数

2. 当class不企图被当做base class， 令其析构函数为virtual是不好的

   • 因为virtual的函数导致class存在虚函数表，增大了存储空间

3. 换而言之，对于析构函数不是virtual的class，不适合作为base class，典型代表是string类以及STL里面的类

4. 有时候让class包含纯虚的析构函数是有意义的，注意需要为它提供定义

---

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

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

   • 析构期间出现错误，强迫结束的意义在于阻止异常传播

   • 一般而言，吞掉异常不好，它压制了某些动作失败的重要信息

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

   • 可以为行为上可能存在异常的类别设置对应的操作类，进一步封装潜在的错误操作，并将相关的处理移至其他地方

---

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

1. 如果在构造函数调用virtual函数

   • base class构造期间，virtual函数绝不会下降到derived classes阶层，而是会调用base class的virtual函数。即， base class构造期间，virtual函数不是virtual函数

   • 其根本理由：base class构造期间，根本还不存在derived class，所以如果使用运行期类型的信息，都会把对象视作base class

2. 如果在析构函数调用virtual函数（道理同构造函数）

   • 当深入到base class的时候，derived classes已经被析构完了，如果base class调用virtual函数，只会调用base class的

3. 注意：

   • 这里的意思是，在构造和析构函数里调用虚函数，效果等效于非虚函数，没有意义

   • 通过定义带参数的函数取代基类在析构或者构造函数时使用的虚函数

---

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

1. 最简单的例子：连锁赋值的时候，赋值操作符必须返回一个reference指向操作符的右侧实参

2. 不仅是赋值，和赋值相关的操作符，如+=、-=等都应该返回引用

---

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

1. 当某段代码操作pointers或references，而他们被用来“指向多个相同类型的对象”，就需要考虑这些对象是否为同一个

2. 赋值过程中，有可能因为同一个对象之间的赋值操作导致“在停止使用资源之前意外释放”的错误

3. 解决方法：

   • 传统做法是在operator=函数的最前面，做一个“证同测试”

   • copy and swap技术：对右值做复制，将临时值与对象swap

4. 结论：

   • 确保当对象自我赋值时，operator=有良好的行为。其中技术包括比较“来源对象”和“目标对象”的地址（证同测试）、精心的语句顺序、copy-and-swap技术

   • 确定任何函数如果操作一个以上的对象，而其中多个对象是同一个对象时，其行为仍然正确

---

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

1. copying函数：copy构造函数 + copy assignment

2. copying函数应该确保赋值“对象内的所有成员变量”及“所有base class 成分”

3. 不要尝试以某个copying函数实现另一个copying函数，应该将共同机能放进第三个函数，并由两个copying函数共同调用