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;
}

程序輸出：

本篇文章參考：阿里雲 - C++的靜態聯編和動態聯編