一種「標準」的虛函式機制簡介

編譯器是如何針對

虛函式產生可以再執行時刻確定被呼叫函式的**呢？也就是說，虛函式實際上是如何被編譯器處理的呢？lippman在深度探索c++物件模型中的不同章節講到了幾種方式，這裡把「標準的」方式簡單介紹一下。

我所說的「標準」方式，也就是所謂的「vtable」機制。編譯器發現乙個類中有被宣告為virtual的函式，就會為其搞乙個虛函式表，也就是vtable。

vtable實際上是乙個函式指標的陣列，每個虛函式占用這個陣列的乙個slot。

乙個類只有乙個vtable，不管它有多少個例項。派生類有自己的vtable，但是

派生類的vtable與基類的vtable有相同的函式排列順序，同名的虛函式被放在兩個陣列的相同位置上。在建立類例項的時候，編譯器還會在每個例項的記憶體布局中增加乙個vptr欄位，該欄位指向本類的vtable。通過這些手段，編譯器在看到乙個虛函式呼叫的時候，就會將這個呼叫改寫，針對1.1中的例子：

void bar(a * a)

會被改寫為：

void bar(a * a)

因為派生類和基類的foo()函式具有相同的vtable索引，而他們的vptr又指向不同的vtable，因此通過這樣的方法可以在執行時刻決定呼叫哪個foo()函式。

雖然實際情況遠非這麼簡單，但是基本原理大致如此。