主要內容：

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

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

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

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

在C++的類繼承中，

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

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

具體參考文章：http://www.cnblogs.com/AndyJee/p/4575385.html

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

物件的靜態型別：物件在宣告是採用的型別，在編譯期確定；

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

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

具體參考文章：http://www.cnblogs.com/AndyJee/p/4575670.html

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，會呼叫靜態型別即基類的解構函式，而不會呼叫派生類的解構函式。

（以上純屬個人理解）

總結：

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

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

參考文章：

http://www.cnblogs.com/children/archive/2012/08/13/2636956.html