主要內容：

1、C++類繼承中的建構函式和解構函式

2、C++多型性中的靜態繫結和動態繫結

3、C++多型性中解構函式宣告為虛擬函式

1、C++類繼承中的建構函式和解構函式
在C++的類繼承中，

建立物件時，首先呼叫基類的建構函式，然後在呼叫下一個派生類的建構函式，依次類推；

析構物件時，其順序正好與構造相反；

2、C++多型性中的靜態繫結和動態繫結
物件的靜態型別：物件在宣告是採用的型別，在編譯期確定；

物件的動態型別：當前物件所指的型別，在執行期決定，物件的動態型別可以更改，但靜態型別無法更改。

靜態繫結：繫結的是物件的靜態型別，某特性（比如函式）依賴於物件的靜態型別，發生在編譯期。
動態繫結：繫結的是物件的動態型別，某特性（比如函式）依賴於物件的動態型別，發生在執行期。

3、C++多型性中基類解構函式宣告為虛擬函式
先來看幾段程式例子：

將基類解構函式宣告為虛擬函式

#include <iostream>
using namespace std;


class Person{
public:
virtual ~Person(){  //declare destructor as a virtual function
cout << "Person::~Person()" << endl;
}
};

class Student : public Person{
public:
~Student(){     // virtual or not is OK
    cout << "Student::~Student()" << endl;
}
};

int main(){
Person *pt1 = new Person;
Person *pt2 = new Student;        // base class pointer point to derived class
// Student *pt3 = new Person;     // derived class pointer can not point to base class
Student *pt4 = new Student;

delete pt1;
cout << "*********" << endl;
delete pt2;
cout << "*********" << endl;
//delete pt3;
//cout << "*********" << endl;
delete pt4;
cout << "*********" << endl;

return 0;
}
 

執行結果：

不將基類解構函式宣告為虛擬函式：

#include <iostream>
using namespace std;


class Person{
public:
~Person(){  //declare destructor as a virtual function
cout << "Person::~Person()" << endl;
}
};

class Student : public Person{
public:
~Student(){     // virtual or not is OK
    cout << "Student::~Student()" << endl;
}
};

int main(){
Person *pt1 = new Person;
Person *pt2 = new Student;        // base class pointer point to derived class
// Student *pt3 = new Person;     // derived class pointer can not point to base class
Student *pt4 = new Student;

delete pt1;
cout << "*********" << endl;
delete pt2;
cout << "*********" << endl;
//delete pt3;
//cout << "*********" << endl;
delete pt4;
cout << "*********" << endl;

return 0;
 

}
執行結果：

可以看出：

在用基類指標指向派生類時，

在基類解構函式宣告為virtual的時候，delete基類指標，會先呼叫派生類的解構函式，再呼叫基類的解構函式。

在基類解構函式沒有宣告為virtual的時候，delete基類指標，只會呼叫基類的解構函式，而不會呼叫派生類的解構函式，這樣會造成銷燬物件的不完全。

分析：

Person *pt2 = new Student;

pt2的靜態型別為Person，而動態型別為Student，

當解構函式為虛擬函式時，為動態繫結，delete pt2，會呼叫動態型別即派生類的解構函式，由於繼承關係，也會呼叫基類的解構函式；

而當解構函式為非虛擬函式時，為靜態繫結，delete pt2，會呼叫靜態型別即基類的解構函式，而不會呼叫派生類的解構函式。

（以上純屬個人理解）

總結：
應該為多型基類宣告虛析構器。一旦一個類包含虛擬函式，它就應該包含一個虛析構器，因為多型性，必定會有基類呼叫派生類。

如果一個類不用作基類或者不需具有多型性，便不應該為它宣告虛析構器。

參考文章：