虛函數(shù)對象布局模型
這里關(guān)鍵實(shí)現(xiàn)思想就是把一個在類里定義的一集虛函數(shù)定義為一個指向函樹的指針數(shù)組。這樣，對虛函數(shù)的調(diào)用就簡單變成通過數(shù)組一個間接函樹調(diào)用。對每個有虛函數(shù)的類都存在一個這樣的數(shù)組。一般稱為虛函數(shù)表或者VTBL.。這些類的每個對象都包含一個隱式指針，一般稱為vprt，指向該類的虛函數(shù)表。
//例如：
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 |
|---|
|
對虛函數(shù)的函數(shù)調(diào)用被編譯系統(tǒng)編譯成一個間接調(diào)用。例如：
void?? f(C* p)
{
??????p->g(2);
}??
將變成某種類似下面的東西：
(*(p->vptl[1]))(p,2);這并不是唯一可能實(shí)現(xiàn)的方式，優(yōu)點(diǎn)是簡單和運(yùn)行的高效，問題是如果更改了一個類的虛函數(shù)集合，所有使用他的代碼都必須重新編譯。
覆蓋和虛函樹匹配
虛函數(shù)只能被派生類里的函樹覆蓋，該函數(shù)具有相同的函樹名，參數(shù)，和返回類型。
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()
};