C++中的虛函數和動態聯編

 　　物件導向程式設計的基本觀點是用程式來模擬大千世界，這使得它的各種根本特性非常人性化，如封裝、繼承、多態等等，而虛函數就是c++中實現多態性的主將。為了實現多態性，c++編譯器也革命性地提供了動態聯編(或叫晚捆綁)這一特徵。

　　虛擬函數亦是mfc編程的關鍵所在,mfc編程主要有兩種方法：一是響應各種訊息，進行對應的訊息處理。二就是重載並改寫虛擬函數，來實現自己的某些要求或改變系統的某些預設處理。

　　虛函數的地位是如此的重要，對它進行窮根究底，力求能知其然並知其所以然 對我們編程能力的提高大有好處。下面且聽我道來。

　　多態性和動態聯編的實現過程分析

　　一、基礎略(限於篇幅，請參閱相應的c++書籍)：

　　1、多態性：使用基礎類的指標動態調用其衍生類別中函數的特性。

　　2、動態聯編：在運行階段，才將函數的調用與對應的函數體進行串連的方式，又叫運行時聯編或晚捆綁。

　　二、流程說明：

　　1、編譯器發現一個類中有虛函數，編譯器會立即為此類產生虛擬函數表 vtable(後面有對vtable的分析)。虛擬函數表的各表項為指向對應虛擬函數的指標。

　　2、編譯器在此類中隱含插入一個指標vptr(對vc編譯器來說，它插在類的第一個位置上)。

　　有一個辦法可以讓你感知這個隱含指標的存在，雖然你不能在類中直接看到它，但你可以比較一下含有虛擬函數時的類的尺寸和沒有虛擬函數時的類的尺寸，你能夠發現，這個指標確實存在。

　　3、在調用此類的建構函式時，在類的建構函式中，編譯器會隱含執行vptr與vtable的關聯代碼，將vptr指向對應的vtable。這就將類與此類的vtable聯絡了起來。

　　4、在調用類的建構函式時，指向基礎類的指標此時已經變成指向具體的類的this指標，這樣依靠此this指標即可得到正確的vtable，從而實現了多態性。在此時才能真正與函數體進行串連，這就是動態聯編。

　　三、vtable 分析：

　　分析1：虛擬函數表包含此類及其父類的所有虛擬函數的地址。如果它沒有重載父類的虛擬函數，vtable中對應表項指向其父類的此函數。反之，指向重載後的此函數。

　　分析2：虛擬函數被繼承後仍舊是虛擬函數，虛擬函數非常嚴格地按出現的順序在 vtable 中排序，所以確定的虛擬函數對應 vtable 中一個固定的位置n，n是一個在編譯時間就確定的常量。所以，使用vptr加上對應的n，就可得到對應函數的入口地址。

　　四、編譯器調用虛擬函數的彙編碼(參考think in c++)：

　　push funparam ;先將函數參數壓棧

　　push si ;將this指標壓棧,以確保在當前類上操作

　　mov bx,word ptr[si] ;因為vc++編譯器將vptr放在類的第一個位置上，所以bx內為vptr

　　call word ptr[bx+n] ;調用虛擬函數。n = 所調用的虛擬函數在對應 vtable 中的位置

　　純虛函數：

　　一、引入原因：

　　1、為了方便使用多態特性，我們常常需要在基類中定義虛擬函數。

　　2、在很多情況下，基類本身產生對象是不合情理的。例如，動物作為一個基類可以派生出老虎、孔雀等子類，但動物本身產生對象明顯不合常理。

　　為瞭解決上述問題，引入了純虛函數的概念，將函數定義為純虛函數(方法：virtual returntype function()= 0;)，則編譯器要求在衍生類別中必須予以重載以實現多態性。同時含有純虛擬函數的類稱為抽象類別，它不能產生對象。這樣就很好地解決了上述兩個問題。

　　二、純虛函數實質：

　　1、類中含有純虛函數則它的vtable表不完全，有一個空位，所以，不能產生對象(編譯器絕對不允許有調用一個不存在函數的可能)。在它的衍生類別中，除非重載這個函數，否則，此衍生類別的vtable表亦不完整，亦不能產生對象，即它也成為一個純虛基類。

　　虛函數與構造、解構函式：

　　1、建構函式本身不能是虛擬函數;並且虛機制在建構函式中不起作用(在建構函式中的虛擬函數只會調用它的本地版本)。

　　想一想，在基類建構函式中使用虛機制，則可能會調用到子類，此時子類尚未產生，有何後果!?。

　　2、解構函式本身常常要求是虛擬函數;但虛機制在解構函式中不起作用。

　　若類中使用了虛擬函數，解構函式一定要是虛擬函數，比如使用虛擬機器制調用delete,沒有虛擬解構函式，怎能保證delete的是你希望delete的對象。

　　虛機制也不能在解構函式中生效，因為可能會引起調用已經被delete掉的類的虛擬函數的問題。

　　對象切片：

　　向上映射(子類被映射到父類)的時候，會發生子類的vtable 完全變成父類的vtable的情況。這就是對象切片。

　　原因：向上映射的時候，介面會變窄，而編譯器絕對不允許有調用一個不存在函數的可能，所以，子類中新派生的虛擬函數的入口在vtable中會被強行“切”掉，從而出現上述情況。

　　虛擬函數使用的缺點

　　優點講了一大堆，現在談一下缺點，虛函數最主要的缺點是執行效率較低，看一看虛擬函數引發的多態性的實現過程，你就能體會到其中的原因。