關於 [虛函數] 和 [虛函數表]

以下轉自：http://blog.csdn.net/cmoring/archive/2005/12/28/563582.aspx
    每個含有虛函數的類有一張虛函數表(vtbl)，表中每一項指向一個虛函數的地址，實現上是一個函數指標的數組。

虛函數表既有繼承性又有多態性。每個衍生類別的vtbl繼承了它各個基類的vtbl，如果基類vtbl中包含某一項，則其衍生類別的vtbl中也將包含同樣的一項，但是兩項的值可能不同。如果衍生類別覆蓋(override)了該項對應的虛函數，則衍生類別vtbl的該項指向重載後的虛函數，沒有重載的話，則沿用基類的值。

在類對象的記憶體布局中，首先是該類的vtbl指標，然後才是對象資料。在通過對象指標調用一個虛函數時，編譯器產生的程式碼將先擷取對象類的vtbl指標，然後調用vtbl中對應的項。對於通過對象指標調用的情況，在編譯期間無法確定指標指向的是基類對象還是衍生類別對象，或者是哪個衍生類別的對象。但是在運行期間執行到調用語句時，這一點已經確定，編譯後的調用代碼能夠根據具體對象擷取正確的vtbl，調用正確的虛函數，從而實現多態性。

以下轉自：http://blog.csdn.net/shkkhd/archive/2007/06/17/1654958.aspx

成員函數被重載的特徵：

（1）相同的範圍（在同一個類中）；

（2）函數名字相同；

（3）參數不同；

（4）virtual關鍵字可有可無。

覆蓋是指衍生類別函數覆蓋基類函數，特徵是：

（1）不同的範圍（分別位於衍生類別與基類）；

（2）函數名字相同；

（3）參數相同；

（4）基類函數必須有virtual關鍵字。

本來僅僅區別重載與覆蓋並不算困難，但是C++的隱藏規則使問題複雜性陡然增加。這裡“隱藏”是指衍生類別的函數屏蔽了與其同名的基類函數，規則如下：

（1）如果衍生類別的函數與基類的函數同名，但是參數不同。此時，不論有無virtual關鍵字，基類的函數將被隱藏（注意別與重載混淆）。

（2）如果衍生類別的函數與基類的函數同名，並且參數也相同，但是基類函數沒有virtual關鍵字。此時，基類的函數被隱藏（注意別與覆蓋混淆）。