Effective C++ 小笔记:条款712

条款7:为多态基类声明virtual析构函数

  C++明白指出,当derived class对象经由一个base class指针被删除,而该base class带着一个non-virtual析构函数,其结果未有定义。事实上,derived对象被局部销毁,只有其base class部分内存被正确释放。造成资源泄漏,败坏数据结构。

  任何class只要带有virtual函数,都几乎确定应该也有一个virtual析构函数。 如果class不含virtual函数,通常表示它不意图被用作一个base class。当class不起图被当做base class,令其析构函数为virtual往往是个馊主意:析构函数占用对象空间;并且不再和其他语言(如C)有着相同的数据结构,不具有移植性。

  心得:只有当class内含有至少一个virtual函数,才为它声明virtual析构函数。

    如果你曾经企图继承一个标准容器、string、或任何其他 ”带有non-virtual析构函数“ 的class,你肯定遇到或将遇到麻烦。很不幸C++没有提供类似java的final class的机制。

  pure virtual函数导致abstract class(抽象类),也就是不能被实体化(instantiated)的class。你不能为那种类型创建对象。 

  并非所有的base class的设计目的都是为了多态用途。某些classes的设计目的是作为base classes使用,不是为了多态。如条款6的Uncopyable,它们并非被设计用来经由base class接口(指针)处理derived class对象,因此它们不需要virtual析构函数。 

小记: polymorphic(带多态性质的)base classes应该声明一个virtual析构函数。如果class带有任何virtual函数,它就应该拥有一个virtual析构函数。

条款8:别让异常逃离析构函数

  C++并不禁止析构函数吐出异常,但它不鼓励你这样做。析构函数吐出异常就是危险,总会带来过早结束程序或者发生不明确行为的风险。

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

  如果客户需要对某个操作函数运行期间抛出的异常做出反应,那么class应该提供一个普通函数(而非在析构函数中)执行该操作。如果某个操作可能在失败时抛出异常,而又存在某种需要必须处理该异常,那么这个异常必须来自析构函数以外的某个函数。

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

  在构造和析构期间不要调用virtual函数,因为这类调用从不下降至derived class调用函数(比起当前执行构造函数和析构函数的那层)。因为对象很可能已经不完整。 

条款10:令 operater= 返回一个 reference to *this

  先看一个连锁赋值,int x, y, z; x=y=z=15。这样是正确的,赋值操作符是右结合性的。为了实现连锁赋值,赋值操作符必须返回一个reference指向操作符左侧的实参。

  注意,这只是一个协议,并无强制性要求。

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

  确保当前对象自我赋值时operator= 有良好行为。其中技术包括:1、比对 “来源对象” 和 “目标对象” 的地址;2、精心周到的语句顺序(需要临时指针);3、以及copy-and-swap,也就是用copy构造函数建立一个临时对象,之后将临时对象和*this用swap函数交换。 

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

  copying函数,包括copy构造函数和copy assignment操作符,确保复制 “对象内的所有成员变量” 及 “所有base class 成分” 。 

原文地址:https://www.cnblogs.com/younes/p/1679930.html