本文針對C++的虛函數(shù)的實現(xiàn)機(jī)制進(jìn)行較為深入的分析，具體如下：

1、簡單地說，虛函數(shù)是通過虛函數(shù)表實現(xiàn)的。那么，什么是虛函數(shù)表呢？
事實上，如果一個類中含有虛函數(shù)，則系統(tǒng)會為這個類分配一個指針成員指向一張?zhí)摵瘮?shù)表（vtbl），表中每一項指向一個虛函數(shù)的地址，實現(xiàn)上就是一個函數(shù)指針的數(shù)組。

例如下面這個例子：

class Parent
{
public:
 virtual void foo1() { }
 virtual void foo1() { }
 void foo1();
};

class Child1
{
public:
 void foo1() { }
 void foo3();
};

class Child2
{
public:
 void foo1() {}
 void foo2() {}
 void foo3();
};

下面列出了各個類的虛函數(shù)表（vtbl）的內(nèi)容。
Parent類的vtbl：Parent::foo1( )的地址、Parent::foo1( )。
Child1類的vtbl：Child1::foo1( )的地址、Parent::foo1( )。
Child2類的vtbl：Child1::foo1( )的地址、Child2::foo1( )。

2、可以看出，虛函數(shù)表既有繼承性，又有多態(tài)性。每個派生類的vtbl繼承了它各個基類的vtbl，如果基類vtbl中包含某一項，則派生類的vtbl中也將包含同樣的一項，但是兩項的值可能不同。如果派生類覆蓋了該項對應(yīng)的虛函數(shù)，則派生類vtbl的該指針先指向重載后的虛函數(shù)，沒有重載的話，則沿用基類的值。

3、在類對象的內(nèi)存布局中，首先是該類的vtbl指針，然后才是對象數(shù)據(jù)。在通過對象指針調(diào)用一個虛函數(shù)時，編譯器生成的代碼將先獲取對象類的vtbl指針，然后調(diào)用vtbl中對應(yīng)的項。對于通過對象指針調(diào)用的情況，在編譯期間無法確定指針指向的是基類對象還是派生類對象，或者是哪個派生類的對象。但是在運行期間執(zhí)行到調(diào)用語句時，這一點已經(jīng)確定，編譯后的調(diào)用代碼能夠根據(jù)具體對象獲取正確的vtbl，調(diào)用正確地虛函數(shù)，從而實現(xiàn)多態(tài)性。

4、分析一下這里的思想所在：
問題的實質(zhì)是這樣，對于發(fā)出虛函數(shù)調(diào)用的這個對象指針，在編譯期間缺乏更多的信息，而在運行期間具備足夠的信息，但那時已不再進(jìn)行綁定了，怎么在二者之間做一個過渡呢？
把綁定所需的信息用一種通用的數(shù)據(jù)結(jié)構(gòu)記錄下來，該數(shù)據(jù)結(jié)構(gòu)可以同對象指針相聯(lián)系，在編譯時只需要使用這個數(shù)據(jù)結(jié)構(gòu)進(jìn)行抽象的綁定，而在運行期間將會得到真正的綁定。這個數(shù)據(jù)結(jié)構(gòu)就是vtbl?？梢钥吹剑?span style="color: #0000ff">實現(xiàn)用戶所需的抽象和多態(tài)需要進(jìn)行后綁定，而編譯器又是通過抽象和多態(tài)實現(xiàn)后綁定的。

最新評論