这是《Effective C++》中第7条原则,其内容是在具有多态用途的父类中应该使用virtual析构函数。
首先要知道啥是多态。我就好说直白的,显得没有深度的东西。多态的一种体现就是通过父类的指针指向不同的子类来实现不同的功能,从而达到接口重用的目的。在这种情况下用作多态的父类往往具有至少一个virtual成员函数留给子类来实现。
好了,现在铺垫完毕了,来说正题,为啥要有一个virtual析构函数呢?那是因为如果没有这样一个virtual析构函数的话,子类的析构函数就不会被调用,那么对象的子类部分不会被析构,那么就会造成资源的泄露。现在来看下面的例子:
derived继承了base,并且base中并没有virtual析构函数,那么调用过程如下所示:
运行结果如下所示:
从这个结果可以看到父类的析构函数执行了,说明对象的父类部分所占资源已经被释放,但是子类的析构函数并未调用这说明对象中子类部分所占资源并未得到释放。但是如果在父类中加上一个virtual析构函数的话就不一样了。
同样的调用过程,运行结果如下所示:
这说明对象的子类部分所占资源也被释放掉了。
在这里再说点别的,一般来讲作为要被继承的父类的类中至少含有一个virtual的成员函数留给子类去实现。而如果某类中一个virtual成员函数都没有的话,在很大程度上说明了该类不会被作为父类而存在,在这种情况下不应该把其析构函数设为virtual的。为啥呢?这与C++中virtual本身的实现机制有关,因为这样的类的对象必须要携带一个表,这个表叫vtbl,所以本来没必要多带这么个表,但是你非要多出一个来占个空间,这就是占个茅坑不拉屎的表现啊。所以不准备被继承的类是没有必要设置virtual析构函数的。
在这里在介绍一种情况,当你希望在virtual类中把析构函数设为virtual的时候,应该吧析构函数设为纯virtual函数,并且给与空的实现,如下图所示:
为啥要这样做呢?因为析构函数调用顺序是从没有子类的子类那里的析构函数逐层调用父类的析构函数,所以如果这个纯virtual函数没有实现的话,编译器就会报错。
这个原则简而言之就是,只有作为多态用途的父类才有必要使用virtual析构函数,其他的就是画蛇添足。
另外,处于继承机制的类对象包含了它所能涉及到的最低层次及其以上的所有层次的成分。