虛函數對象布局模型
這里關鍵實現思想就是把一個在類里定義的一集虛函數定義為一個指向函樹的指針數組。這樣，對虛函數的調用就簡單變成通過數組一個間接函樹調用。對每個有虛函數的類都存在一個這樣的數組。一般稱為虛函數表或者VTBL.。這些類的每個對象都包含一個隱式指針，一般稱為vprt，指向該類的虛函數表。
//例如：
class?A{
int?a;
public:
virtual?void?f();
virtual?void?g(int);
virtual?void?h(double);
};
class?B:public?A{
public:
?int?b;
?void?g(int);?//override?A::g()
?virtual?void?m(B?*);
};
class?C:public?B{
public:
??int?c;
??void?h(double);?//orerride?A::h()
??virtual?void?n(C*);
};
對類C的一個對象看起來大概是這樣：
?? vtbl 如下表 ：
| &A::f |
|---|
| &B::g |
|---|
| &C::h |
|---|
| &B::m |
|---|
| &C::n |
|---|
|
對虛函數的函數調用被編譯系統編譯成一個間接調用。例如：
void?? f(C* p)
{
??????p->g(2);
}??
將變成某種類似下面的東西：
(*(p->vptl[1]))(p,2);這并不是唯一可能實現的方式，優點是簡單和運行的高效，問題是如果更改了一個類的虛函數集合，所有使用他的代碼都必須重新編譯。
覆蓋和虛函樹匹配
虛函數只能被派生類里的函樹覆蓋，該函數具有相同的函樹名，參數，和返回類型。
class?Base
{
public:
??virtual?void?f();
??virtual?void?g(int);
};
class?Derived:?publci?Base{
public:
??void?f();?????//override?Base::f()
??void?g(char);?//doesn't?override?Base::g()
};