Effective C++学习笔记二(构造/析构/赋值运算)

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

1. 编译器可以暗自为class创建default构造函数，copy构造函数，copy assignment操作符，以及析构函数(如果某个base classes将copy assignment操作符声明为private，编译器将拒绝为其derived class生成一个copy assignment操作符。毕竟编译器为derived classes所生的copy assignment操作符想象可以处理base class成分，但它们当然无法调用derived class无权调用的成员函数。编译器两手一摊，无能为力)。

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

1. 为驳回编译器自动(暗自)提供的机能，可将相应的成员函数声明为private并且不予实现。使用像Uncopyable这样的base class也是一种做法 (将copy构造函数或copy assignment操作符声明为private一般而言这个做法并不绝对安全，因为member函数和friend函数还是可以调用你的private函数。除非你够聪明，声明但不去定义它们（此处合法），那么如果某些人不慎调用任何一个未定义的成员，会获得一个连接错误(linkage error);或者继承一个专门为了阻止copying动作而设计的base class；在C++11新标准中，我们可以通过将拷贝构造函数和拷贝赋值运算符定义为删除的函数来阻止拷贝。删除的函数是这样的一种函数：虽然我们声明了它们，但不能以任何方式使用它们，在函数第一次声明的时候函数参数列表后面加上=delete来指出我们希望将它定义为删除的)。

条款07：为多态基类声明virtual析构函数

1. polymorphic(带多态性质的)base classes应该声明一个virtual析构函数。如果class带有任何virtual函数，它就应该拥有一个virtual析构函数(当derived class对象经由一个base class指针被删除，而该base class带着一个non-virtual析构函数，其结果未有定义------实际执行时通常发生的是对象的derived成分没被销毁，造成资源泄露)。

2. Classes的设计目的如果不是作为base classes使用，或不是为了具备多态性(polymorphically)，就不该声明virtual析构函数(析构函数的运作方式是，最深层派生(most derived)的那个class其析构函数最先被调用，然后是其每一个base class的析构函数被调用)。

条款08：别让异常逃离析构函数

1. 析构函数绝对不要吐出异常。如果一个被析构函数调用的函数可能抛出异常，析构函数应该捕捉任何异常，然后吞下它们(不传播，可以通过try、catch记录日志实现)或结束程序(结束程序可以通过abort函数来操作)。

2. 如果客户需要对某个操作函数运行期间抛出的异常做出反应，那么class应该提供一个普通函数(而非在析构函数中)执行该操作(例如提供一个可被调用的close函数)。

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

1. 在构造和析构期间不要调用virtual函数，因为这类调用从不下降至derived class(比起当前执行构造函数和析构函数的那层)。(对象在derived class构造函数开始执行前不会成为一个derived class对象)。

条款10：令operator=返回一个reference to*this

1. 令赋值(assignment)操作符返回一个reference to *this。

条款11：在operator=中处理"自我赋值"

1. 确保当对象自我赋值时operator=有良好行为。其中技术包括比较"来源对象"和"目标对象"的地址、精心周到的语句顺序、以及copy-and-swap。

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

条款12：复制对象时勿忘其每一个成分

1. Copying函数应该确保复制"对象内的所有成员变量"及"所有base class成分"(任何时候只要你承担起"为derived class撰写copying函数"的重责大任，必须很小心地也复制其base class成分。那些成分往往是private，所以你无法直接访问它们，你应该让derived class的copying函数调用相应的base class函数)。

2. 不要尝试以某个copying函数实现另一个copying函数。应该将共同机能放进第三个函数中，并由两个copying函数共同调用(这两个copying函数指的是copy assignment操作符和copy构造函数)。