effective c++ 条款07（为多态基类声明virtual析构函数）整理

一、虚函数表原理

陈皓的一篇blog讲的很透彻：http://blog.csdn.net/haoel/article/details/1948051/

虚函数表可以分为：单一继承无虚函数覆盖、单一继承有虚函数覆盖、多重继承无虚函数覆盖和多重继承和有虚函数覆盖。

注意与虚拟继承区分开来

二、多态实现原理

多态则是通过继承、虚函数(virtual)、指针来实现。

class A {
public:
    virtual void func() const {
         coust << “A::func()” << endl;
    }
}

class B : public A {
public: 
    virtual void func() const {
         coust << “B::func()” << endl;
    }
}
使用：
A a* = B();
a->func();
输出：
     B::func()

编译期是不调用任何函数的，编译器编译到a->func()时只是检查有没有语法问题，经过检查没有。编译器并不知道调用的是A版本的func()还是B版本的func()，由于a是一个指向B对象的指针，所以a只知道它指向的是一个A类型（或者能转换成A类型）的对象。通常集成体系就说明了（由于是公有继承）B是一种A。在运行期，a要调用a所指向对象的func()函数，就对它指向的对象下达调用func()的命令，结果a所指向的是一个B对象，这个对象就调用了自己版本（B版）的func()函数，所以输出时B::func()

三、多态带来的内存泄露问题

class TimeKeeper
{
public:
       TimeKeeper();
       ~TimeKeeper();
};

class AtomicClck : public TimeKeeper //原子钟 
{ };
 
class WaterClck : public TimeKeeper  //水钟  
{ }; 

class WristClck : public TimeKeeper //腕表 
{ };

int main()
{ 
     TimeKeeper * ptk = getTimeKeeper() ; //工厂方法获取钟的对象 
     
     delete ptk ;  //由于父类中的析构函数声明为非virtual，所以只会执行父类的析构函数
                   //这样就会造成子类中特有成员内存泄露 
}

书中没说透：delete或者free是按照 基类对象地址+基类大小释放内存的，所以造成子类特有部分的内存泄露。

四、解决方法：为基类析构函数加virtual

class TimeKeeper
{
public:
       TimeKeeper();
       virtual ~TimeKeeper();
};

原理：

子类的虚函数表中既有基类的析构函数，又有子类的析构函数，没有覆盖，所以都会被调用，对应于（一）中的单一继承无覆盖情况。