轉自http://hi.baidu.com/wangruiy01/blog/item/867552d0de8bdc339a502721.html
先看下面一段程序：
#include <iostream>
using namespace std;
class Person
{
public:
virtual ~Person() //加了virtual，講析構函數聲明為虛函數
{
cout << "Person::~Person()" << endl;
}
};
class Student : public Person
{
public:
~Student() // virtual可加可不加
{
cout << "Student::~Student()" << endl;
}
};
int main()
{
Person *pt1 = new Person;
Person *pt2 = new Student; // 用基類的指針指向子類
// Student *pt3 = new Person; // 不能用子類指針指向基類，錯誤！
Student *pt4 = new Student;
delete pt1;
cout << "*********" << endl;
delete pt2;
cout << "*********" << endl;
//delete pt3;
//cout << "*********" << endl;
delete pt4;
cout << "*********" << endl;
return 0;
}
運行結果：
Person::~Person()
***********
Student::~Student()
Person::~Person()
**********
Student::~Student()
Person::~Person()
**********
如果在基類中析構函數不加virtual，結果為：
Person::~Person()
***********
Person::~Person()
**********
Student::~Student()
Person::~Person()
**********
可以看出：只有在用基類的指針指向派生類的時候，才會出現這種情況。因為這個時候虛函數發揮了動態的作用。
析構函數執行時先調用派生類的析構函數，其次才調用基類的析構函數。如果析構函數不是虛函數，而程序執行時又要通過基類的指針去銷毀派生類的動態對象，那么用delete銷毀對象時，只調用了基類的析構函數，未調用派生類的析構函數。這樣會造成銷毀對象不完全。
如果在上面的例子中，基類中未定義virtual析構函數，而派生類中定義了virtual的析構函數，此時用基類指針指向派生類，再delete掉，
即：
class Person
{
public:
~Person()
{
cout << "Person::~Person()" << endl;
}
};
class Student : public Person
{
public:
virtual ~Student()
{
cout << "Student::~Student()" << endl;
}
};
Person * pt = new Student；
delete pt；
運行結果會出錯。
反正是只要基類析構沒有定義為virtual，而派生類（可能有多層）中有把析構定義為virtual的，此時用基類的指針指向派生類，再delete，會出錯。
而：
class Person
{
public:
~Person()
{
cout << "Person::~Person()" << endl;
}
};
class Student : public Person
{
public:
virtual ~Student()
{
cout << "Student::~Student()" << endl;
}
};
class OneSt : public Student
{
public:
~OneSt()
{
cout << "OneSt::~OneSt()" << endl;
}
};
如果用
Student * pt = OneSt;
delete pt;
運行結果為：
OneSt::~OneSt()
Student::~Student()
Person::~Person()
是可以運行的。
Effective C++ (第7條：要將多態基類的析構函數聲明為虛函數)
需要記住的
- 應該為多態基類聲明虛析構器。一旦一個類包含虛函數，它就應該包含一個虛析構器。
- 如果一個類不用作基類或者不需具有多態性，便不應該為它聲明虛析構器。