前言
c++ 分為編譯時多態和運行時多態。運行時多態依賴于虛函數，大部分人或許聽說過虛函數是由虛函數表+虛函數指針實現的，但，真的是這樣嗎？雖然 c++ 規范有著復雜的語言細節，但底層實現機制卻任由編譯器廠商想象。（沒準某種特殊的處理器電路結構原生支持虛函數，沒準這個處理器壓根不是馮紐曼型，或者將來廠商發明了比虛函數表更有效率的數據結構。）
虛函數表
封裝把實例的數據和操作結合在了一起，但實例本身只有數據，沒有函數，同一個類的函數是共享的。我們通過一個例子來間接證明這一點
class Base1{public: int a; void func() { cout << "heel" << endl; }};Base1 b1;cout << sizeof(b1) << endl;打印
4
如果類中有虛函數，則會在對象中加入一個虛函數指針，該指針指向一個虛函數表，表中是各個虛函數的地址。
+--------+ +---------+| pvtbl |------>| vfunc1 |+--------+ +---------+| data1 | | vfunc2 |+--------+ +---------+| ... | | ... |
當子類繼承父類時，會依次覆蓋虛函數表中的各個項，如果子類沒有重寫某項，那該項就保留。當實例化對象后，虛函數指針就作為一個隱藏數據存在于實例中。如果通過父類指針調用普通成員函數，由于普通函數和類型綁定在一起，所以仍會調用父類成員函數；如果通過父類指針調用虛函數，則會通過對象的虛指針找到虛函數表（即子類的虛函數表），定位虛函數項，實現多態。
原理是不是很簡單？c++ 就是通過這種看似原始的方式實現高級抽象。以上是編譯器的通用做法，我手上的 Visual Studio 2013 編譯器就是這么做的，為了提高性能，VS 保證虛函數指針存在于對象實例中最前面位置（歷史上也有編譯器不這么做，好像是 Borland 的？）。
Visual Studio 2013 中的實現
來一個例子（能這么寫是因為我已知了 Visual Studio 2013 編譯后對象的內存布局）
#include <iostream>using namespace std;class Base {public: typedef void (*func)(); virtual void func1() { cout << "Base::func1" << endl; } virtual void func2() { cout << "Base::func2" << endl; } virtual void func3() { cout << "Base::func3" << endl; }};class Derived: public Base{public: virtual void func1() { cout << "Derived::func1" << endl; } virtual void func3() { cout << "Derived::func3" << endl; }};int main(){ Base b, b1; int** pvirtualtable1 = (int**)&b; cout << "Base object vtbl address: " << pvirtualtable1[0] << endl; int** pvirtualtable11 = (int**)&b1; cout << "another Base object vtbl address: " << pvirtualtable11[0] << endl; cout << "function in virtual table" << endl; for (int i = 0; (Base::func)pvirtualtable1[0][i] != NULL; ++i) { auto p = (Base::func)pvirtualtable1[0][i]; p(); } cout << endl; Derived d; int** pvirtualtable2 = (int**)&d; cout << "Derived object vtbl address: " << pvirtualtable2[0] << endl; cout << "function in virtual table" << endl; for (int i = 0; (Base::func)pvirtualtable2[0][i] != NULL; ++i) { auto p = (Base::func)pvirtualtable2[0][i]; p(); } cout << endl;}打印
Base object pvtbl address: 0029DA58another Base object pvtbl address: 0029DA58function address in virtual tableBase::func1Base::func2Base::func3Derived object pvtbl address: 0029DB20function address in virtual tableDerived::func1Base::func2Derived::func3
可以看到，同一類型不同實例的虛函數表是相同的，繼承之后，子類有了自己的虛函數表，表也有相應的更新(Derived::func1, Derived::func3)，表中未重寫的項還保留為原值(Base::func2)。
總結
以上就是這篇文章的全部內容了，希望本文的內容對大家的學習或者工作能帶來一定的幫助，如果有疑問大家可以留言交流。
新聞熱點
疑難解答
圖片精選
