条款05:Know what functions C++silently writes and calls.
编译器会默认为空类(empty class)创建缺省的(default)构造函数、copy构造函数、copyassignment 操作符,以及析构函数。
- 编译器产出的析构函数是个non-virtual函数,除非这个class的base class自身声明有virtual析构函数(这种情况下这个函数的虚属性;virtualness;主要来自baseclass)。
- 编译器创建的copy构造函数和copy assignment操作符只是单纯地将来源对象的每一个 non-static 成员变量拷贝到目标对象。
- 如果你打算在一个“内含reference成员”的 class 内支持赋值操作(assignment),你必须自己定义copy assignment操作符。面对“内含const成员”的classes,编译器的反应也一样。
- 如果某个base class将copy assignment操作符声明为private,编译器将拒绝为其derived classes生成一个copy assignment操作符。
条款06:Explicitly disallow the use of compiler-generated functions you do not want.
为驳回编译器自动(暗自)提供的机能,可将相应的成员函数声明为private并且不予实现。使用像Uncopyable这样的base class也是一种做法。
- 藉由明确声明一个成员函数,你阻止了编译器暗自创建其专属版本;而令这些函数为private,使你得以成功阻止人们调用它。
- 将连接期错误移至编译期是可能的(而且那是好事,毕竟愈早侦测出错误愈好),只要将copy构造函数和copy assignment操作符声明为private就可以办到,但不是在HomeForSale自身,而是在一个专门为了阻止copying动作而设计的base class内。这个base class非常简单:
条款07:Declare destructors virtual in polymorphic base classes.
- polymorphic(带多态性质的)base classes应该声明一个virtual析构函数。如果class带有任何virtual函数,它就应该拥有一个virtual析构函数。
- Classes 的设计目的如果不是作为base classes使用,或不是为了具备多态性(polymorphically),就不该声明virtual析构函数。
- 当derived class对象经由一个base class指针被删除,而该base class带着一个non-virtual析构函数,其结果未有定义——实际执行时通常发生的是对象的derived成分没被销毁。
- virtual函数的目的是允许derived class的实现得以客制化。
- 当class不企图被当作base class,令其析构函数为virtual往往是个馊主意。因为这会导致其对象的体积增加。
- 只有当class内含至少一个virtual函数,才为它声明virtual析构函数。
- 如果你曾经企图继承一个标准容器或任何其他“带有non-virtual析构函数”的class,拒绝诱惑吧!
- pure virtual(纯虚)函数导致abstract(抽象)classes——也就是不能被实体化(instantiated)的class。
- 为你希望它成为抽象的那个class声明一个pure virtual析构函数,但你必须为这个pure virtual析构函数提供一份定义。
- 析构函数的运作方式是,最深层派生(most derived)的那个class其析构函数最先被调用,然后是其每一个base class的析构函数被调用。
条款08:Prevent exceptionsfrom leaving destructors.
- 析构函数绝对不要吐出异常。如果一个被析构函数调用的函数可能抛出异常,析构函数应该捕捉任何异常,然后吞下它们(不传播)或结束程序。
- 如果客户需要对某个操作函数运行期间抛出的异常做出反应,那么 class 应该提供一个普通函数(而非在析构函数中)执行该操作。
条款09:Never call virtual functions during construction or destruction.
在构造和析构期间不要调用virtual函数,因为这类调用从不下降至derived class(比起当前执行构造函数和析构函数的那层)。
- derived class对象内的base class成分会在derivedclass自身成分被构造之前先构造妥当。
- base class构造期间virtual函数绝不会下降到derived classes阶层。取而代之的是,对象的作为就像隶属base类型一样。非正式的说法或许比较传神:在base class构造期间,virtual函数不是virtual函数。
- 在derived class对象的base class构造期间,对象的类型是base class而不是 derived class。对象在derived class构造函数开始执行前不会成为一个derived class对象。
- 进入base class析构函数后对象就成为一个base class对象,而C++的任何部分包括virtual函数、dynamic_casts等等也就那么看待它。
- 确定你的构造函数和析构函数都没有(在对象被创建和被销毁期间)调用virtual 函数,而它们调用的所有函数也都服从同一约束。
条款10:Have assignment operators return a reference to *this.
令赋值(assignment)操作符返回一个reference to *this。
- 赋值采用右结合律。
- 为了实现“连锁赋值”,赋值操作符必须返回一个reference指向操作符的左侧实参。
条款11:Handle assignment to self in operator=.
- 确保当对象自我赋值时operator=有良好行为。其中技术包括比较“来源对象”和“目标对象”的地址、精心周到的语句顺序、以及copy-and-swap。
- 确定任何函数如果操作一个以上的对象,而其中多个对象是同一个对象时,其行为仍然正确。
- 一个base class的reference或pointer可以指向一个derived class对象。
- 注意在复制pb所指东西之前别删除pb:
- 使用所谓的copy and swap技术:
条款12:Copy all partsof an object.
- Copying函数应该确保复制“对象内的所有成员变量”及“所有base class成分”。
- 不要尝试以某个copying函数实现另一个copying函数。应该将共同机能放进第三个函数中,并由两个coping函数共同调用。
- 作者称copy构造函数和copyassignment操作符*为copying函数**。
- 编译器对“你自己写出copying函数”的复仇行为:既然你拒绝它们为你写出copying函数,如果你的代码不完全,它们也不告诉你。
- 如果你为class添加一个成员变量,你必须同时修改copying函数。(你也需要修改class的所有构造函数(见条款4和条款45)以及任何非标准形式的operator=。如果你忘记,编译器不太可能提醒你。)。
- 任何时候只要你承担起“为derived class撰写copying函数”的重责大任,必须很小心地也复制其base class成分。你应该让derived class的copying函数调用相应的base class函数。
- 你不该令copy assignment操作符调用copy构造函数。反方向——令copy构造函数调用copy assignment操作符——同样无意义。构造函数用来初始化新对象,而 assignment操作符只施行于已初始化对象身上。