C++的靜態聯編和動態聯編

C++的靜態聯編和動態聯編
聯編的概念

聯編是指一個電腦程式自身彼此關聯的過程，在這個聯編過程中，需要確定程式中的操作調用(函數調用)與執行該操作(函數)的程式碼片段之間的映射關係。
意思就是這個函數的實現有多種，聯編就是把調用和對應的實現進行映射的操作。按照聯編進行的階段不同，可分為靜態聯編和動態聯編。

靜態聯編

靜態聯編工作是在程式編譯串連階段進行的，這種聯編又稱為早期聯編，因為這種聯編實在程式開始運行之前完成的。在程式編譯階段進行的這種聯編在編譯時間就解決了程式的操作調用與執行該作業碼間的關係。

動態聯編

編譯器在編譯階段並不能確切地指導將要調用的函數，只有在程式執行時才能確定將要調用的函數，為此要確切地指導將要調用的函數，要求聯編工作在程式運行時進行，這種在程式運行時進行的聯編工作被稱為動態聯編，或稱動態束定，又叫晚期聯編。

在 C++ 中動態聯編需要虛函數的支援，這是因為虛函數的工作原理決定的，而正是因為使用了虛函數來實現動態聯編，也讓動態聯編的效率略低於靜態聯編。通常，編譯器處理虛函數的方法是： 給每個對象添加一個隱藏成員，隱藏成員儲存了一個指向函數地址數組的指標 ，這個數組就是虛函數表(virtual function table, vtbl)。虛函數表中儲存了為類對象進行聲明的虛函數的地址，調用虛函數時，程式將查看儲存在對象中的 vtbl 地址，然後轉向相應的函數地址表，如果使用類聲明中定義的第一個虛函數，則程式將使用數組中的第一個函數地址，並執行具有該地址的函數。

虛函數這個概念是 C++ 的精華之一，遇到虛函數時要注意以下幾點：

1.定義一個函數為虛函數，不代表函數為不被實現的函數(可以有自己的實現) 2.定義它為虛函數是為了允許用基類的指標來調用子類的這個函數(提供了基類調用子類函數的方式) 3.定義一個函數為純虛函數，代表函數沒有被實現(聲明後面接=0，例如：virtual func() = 0 此時衍生類別必須要實現此虛函數) 4.具有純虛函數的類是抽象類別，不能用於產生對象（即不能執行個體化），只能派生，它派生的類如果沒有實現純虛函數，那麼他的衍生類別還是抽象類別。

虛解構函式

虛解構函式顧名思義就是將解構函式定義為虛函數。如果我們在派生中分配了記憶體空間，但是基類的解構函式不是虛解構函式，就會發生記憶體流失。看下面的例子：

#include <iostream>using namespace std;class Base{public:    virtual void print(){        cout << "This is Base's print function" << endl;    }    /* 對比加與不加 virtual 解構函式的調用情況 */    ~Base(){//  virtual ~Base(){        cout << "The destructor of Base" << endl;    }};class Derived : public Base{public:    void print(){        cout << "This is Derived's print function" << endl;    }    ~Derived(){        cout << "The destructor of Derived" << endl;    }};int main(){    Base *p = new Derived();    p->print();    delete p;    return 0;}

不加 virtual 的運行結果：

加上 virtual 的運行結果：

在上面程式示加上 virtual 時編譯器還是按照 Base 類型調用了解構函式，沒有執行 Derived 類的虛解構函式，就造成了記憶體泄露。修改 Base 類的解構函式為虛解構函式後實現了多態，就可以確保執行正確的解構函式，完成資源的釋放。

總結一下關於虛函數的一些常見問題：

1.虛函數是動態綁定的，也就是說，使用虛函數的指標和引用能夠正確找到實際類的對應函數，而不是執行定義類的函數，這就是虛函數的準系統。2.建構函式不能是虛函數。而且，在建構函式中調用虛函數，實際執行的是父類的對應函數，因為自己還麼有構造好，多態此時是被 disable 的。3.解構函式可以是虛函數，而且，在一個複雜類結構中，這往往是必須的。4.將基類中的一個函數定義為純虛函數，實際上是將這個類定義位抽象類別，不能執行個體化對象。5.純虛函數通常沒有定義體，但也可以擁有。（如果 Base 的解構函式為純虛函數，那麼也可以在類外定義 Base::~Base(){…} 的方式來定義其定義體）6.解構函式可以是純虛的，但純虛解構函式必須有定義體，因為解構函式的調用是在子類中隱含的。7.非純的虛函數必須有定義體，不然是一個錯誤。8.衍生類別的 override 虛函數定義必須和父類完全一致，除了一個特例，如果父類傳回值是一個指標或引用，子類 override 時可以返回這個指標(或引用)的派生。如在 Base 中定義了 virtual Base* fun(){ return this; }，在 Derive 中可以定義 virtual Derive* fun(){ return this; }。

補充一個具有定義體的純虛函數的例子

#include <iostream>using namespace std;class Base{public:    virtual void print() = 0;};void Base::print(){        cout << "This is Base's fun" << endl;}class Derived : public Base{public:    void print(){        /* 調用基類的純虛函數 */        Base::print();        cout << "This is Derived fun" << endl;    }};int main(){    Base *T = new Derived();    T->print();    delete T;    return 0;}

程式輸出：