Effective C++笔记：为多态基类声明virtual析构函数

就像本文标题所说的那样，应该为多态基类声明virtual析构函数，否则容易造成内存泄露。 因为C++明白指出，当derived class对象经由一个base class指针被删除，而该base class如果带有一个non-virtual析构函数，其结果未定义一实际执行时通常发生的是对象的derived成分没被销毁。举个例子：

#includeusing namespace std;
class Base
{
public:
    Base(){ cout << "base 构造" << endl; }
    //  virtual ~Base(){cout<<"base 析构"<<endl;}  
     ~Base(){ cout << "base 析构" << endl; }
    virtual void fun(){ cout << "base fun" << endl; }
private:

};

class Derived :public Base
{
public:
    Derived(){ cout << "drived 构造" << endl; }
    ~Derived(){ cout << "drived 析构" << endl; }
    void fun(){ cout << "drived fun" << endl; }
};
int main()
{
    Base *pd = new Derived();
    pd->fun();//打印drived fun，实现多态
    delete pd;
    system("pause");
}

       这个程序的运行结果是：

       并没有调用drived class的析构函数，然而其base class成分通常会被销毁，于是造成一个诡异的"局部销毁"对象，从而造成内存泄露 。

       如果将基类的析构函数声明为virtual，那么就OK了！ 

       相反地，如果这个类并不是基类，那么不要将其析构函数声明为virtual函数。原因与virtual函数的实现机制：虚函数表有关。简单的说，如果要实现虚函数，那么这个对象就会附带一个虚函数表指针指向一个由函数指针组成的数组，这个数组就是虚函数表，当对象使用虚函数时，需要从这张表中寻找适当的函数指针，这大大的增加了开销。
       我们还容易犯这样的错误：继承标准库中的某个类。但是，标准库中的很多类是不含virtual函数的！比如string，STL的容器等等。所以如果你这样写： 

class MyString:public string  
{  
public:  
    MyString(string str,int i):s(str),length(i){}  
    ~MyString(){cout<<"MyString 析构函数"<<endl;}  
private:  
    string s;  
    int length;  
};

若如此调用时就会造成和上面类似的风险：

string* pStr = new MyString("aaa",1); 
delete pStr;

       总之，如果这这个基类在派生过程中要实现多态，那么就需要把它的析构函数声明为virtual；如果这个类并不是用作基类或者并不是实现多态，那么就不要把它的析构函数声明为virtual。