effective C++ 读书笔记（二）

第二章 构造 / 析构 / 赋值函数

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

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

copy构造函数和copy assignment操作符，编译器创建的版本只是单纯地将来源对象的每一个non-static成员变量拷贝到目标对象。

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

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

将copy构造函数或copy assignment操作符声明为private。可以阻止编译器暗自创建其专属版本。但是有个问题，member函数和friend函数还是可以调用这个private函数。

自定一个Uncopyable类：

class Uncopyable {

         protected:

                   Uncopyable(){}

                   ~Uncopyable(){}

         private:

                   Uncopyable(constUncopyable&);

                   Uncopyableoperator=(const Uncopyable&);

}

为组织A对象被拷贝，唯一需要做的就是继承Uncopyable。

class A : private Uncopyable {

….

};

当编译器试着生成一个copy函数时，这些函数会尝试调用其base class的对应兄弟，但是base class的拷贝函数是private，会被编译器拒绝。这种技术可能导致多重继承。

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

n        polymorphic（带多态性质的）base classes应该声明一个virtual析构函数。如果class带有任何virtual函数，它就应该拥有一个virtual析构函数。

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

当derived class对象经由一个base class指针被删除，而该base class带着一个non-virtual析构函数，就会导致对象的derived成分没被销毁。

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

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

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

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

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

n        在构造和析构期间不要调用virtual函数，因为这类调用从不下降至derived class

base class的构造函数如果调用了virtual函数，这时derived class还没生成，不可能下降至derived class

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

n        令赋值操作符返回一个reference to *this

A& operator=(const A&) {

…

         return *this;

}

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

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

n        copying函数应该确保赋值“对象内的所有成员变量”及“所有baseclass成分”

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