Effective C++ (Version 3) Chapter 2 构造/析构/赋值运算

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

只有当这些函数被需要（被调用）的时候，他们才会被编译出来。

（1）对于拷贝构造函数和赋值运算符。编译器创建的版本只是单纯地将来源对象的每一个non-static成员变量拷贝到目标对象。

（2）对于赋值运算符，只有当生出的代码合法且有适当机会证明它有意义，编译器才会在我们没有声明赋值运算符但它又被调用时为我们生成默认的赋值运算符。否则，编译器拒绝为class生成operator=。

如果我们打算在一个内含引用或const常量的类中支持赋值操作，那么我们必须自己定义赋值运算符，否则编译器拒绝生成默认的赋值运算符，因为代码不合法（引用和const只可以被初始化不可以被赋值）。

（3）如果某个基类将赋值运算符声明为private，编译器将拒绝为其派生类生成一个赋值运算符。因为编译器为派生类所生的赋值运算符必须需要处理基类部分，然后私有继承禁止子类访问私有成员函数。

编译器可以暗自为class创建默认构造函数，拷贝构造函数，赋值运算符，以及析构函数。

 

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

如果想要禁止copy操作（拷贝构造函数和赋值运算符）。有2种方法。

方法一 将copy性质的成员函数声明为private但故意不去定义/实现它们

方法二：在一个专门为 了阻止copy动作而设计的类中把copy性质的函数声明为private。需要阻止copy动作的类继承这个类即可

这是为了把连接期错误转移至编译器。

为驳回编译器自动提供的机能，可以将相应的成员函数声明为private且不予实现。或者使用像Uncopyable这样的base class也是一种做法。

 

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

当一个基类的指针指向一个派生类对象时，要删除这个派生类对象，只可以通过那个基类指针。这时如果基类的析构函数不是虚析构函数，那么对象的派生部分就没有办法被销毁。可能造成资源泄露，败坏数据结构，浪费我们很多调试时间。

解决的办法是给基类一个虚析构函数。

（1）任何class只要带有虚函数都几乎确定应该有一个virtual析构函数。

（2）不要派生自一个标准容器或任何其它带有非析构函数的class。否则，指向派生类对象的基类指针被销毁时，会造成派生类部分无法销毁。

（3）纯虚析构函数(pure virtual函数)可以使类变为抽象类，该类只可以被作为接口类，不可以被实例化。这个时候必须为纯虚析构函数提供一份定义。

带多态性质的基类应该声明一个虚析构函数，如果class带有任何虚函数，它就应该拥有一个虚析构函数。

classes的设计目的如果不是为了作为基类使用，或不是为了具备多态性，就不该声明虚析构函数。

 

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

C++并不禁止析构函数吐出异常，但它不鼓励你那么做。

为了防止吐出异常可以：

（1）

（2）

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

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

 

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

在构造和析构期间不要调用虚函数，因为这类调用从不下降至派生类。

 

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

为了实现“连续赋值”，赋值操作符必须返回一个reference指向操作符的左侧实参。

 

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

潜在的“自我赋值”

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

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

 

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

编译器通常在我们没有声明copying类函数但我们却需要用他们时为我们默认编写copying类函数。

但是编译器有一个很傲娇的点：当我们执意要编写自己版本的copying类函数时，即使必然出错编译器也不会告诉我们。

Copying函数应该确保复制“对象内的所有成员变量”及“所有base class成分”。

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