条款05:了解C++默默编写并调用哪些函数
(Know what functions C++ silently writes and calls)
- 编译器可以暗自为类创建默认构造函数、拷贝构造函数、拷贝赋值操作符,以及析构函数。
条款06:若不想使用编译器自动生成的函数,就该明确拒绝
(Explitcitly disallow the use of compiler-generated functions you do not want)
- 为驳回编译器自动(暗自)提供的技能,可将相应的成员函数声明为private并且不予实现。使用像Uncopyable这样的base class也是一种做法。
条款07:为多态基类声明virtual析构函数
(Declare destructors virtual in polymorphic base classes)
- 带有多态性质的基类应该声明一个virtual析构函数。如果类带有任何virtual函数,它就应该拥有一个virtual析构函数。
- 类的设计目的如果不是作为基类使用,或不是为了具备多态性,就不该声明virtual析构函数。
条款08:别让异常逃离析构函数
(Prevent exceptions from leaving destructors)
- 析构函数绝对不要吐出异常。如果一个被析构函数调用的函数可能抛出异常,析构函数应该捕捉任何异常,然后吞下它们(不传播)或结束程序。
- 如果客户需要对某个操作函数运行期间抛出的异常做出反应,那么类应该提供一个普通函数(而非析构函数中)执行该操作。
条款09:绝不在构造和析构过程中调用virtual函数
(Never call virtual functions during construction or destruction)
- 在构造和析构期间不要调用virtual函数,因为这类调用从不下降至derived class(比起当前执行构造函数和析构函数的那层)。
解释:由于基类构造函数的执行更早于派生类构造函数,当基类构造函数执行时派生类的成员变量尚未初始化。
条款10:令operator=返回一个reference to *this
(Have assignment operators return a reference to *this)
- 用于连续赋值=
- 也适用于+=,-=,*=,等等
条款11:在operator=中处理“自我赋值”
(Handle assignment to self in operator=)
- 确保当对象自我赋值时operator=有良好行为。其中技术包括比较“来源对象”和“目标对象”的地址、精心周到的语句顺序、以及copy-and-swap。
- 确定任何函数如果操作一个以上的对象,而其中多个对象是同一个对象时,其行为仍然正确。
条款12:复制对象时勿忘其每一个成分
(Copy all parts of an object)
- Copying函数应该确保复制“对象内的所有成员变量”及“所有base class成分”。
- 不要尝试以某个copying函数实现另一个copying函数。应该将共同机能放进第三个函数中,并由两个copying函数共同调用。