C++中的虛函數(shù)的作用主要是實現(xiàn)了多態(tài)的機制。關(guān)于多態(tài),簡而言之就是用父類型別的指針指向其子類的實例,然后通過父類的指針調(diào)用實際子類的成員函數(shù)。這種技術(shù)可以讓父類的指針有“多種形態(tài)”,這是一種泛型技術(shù)。所謂泛型技術(shù),說白了就是試圖使用不變的代碼來實現(xiàn)可變的算法。比如:模板技術(shù),RTTI技術(shù),虛函數(shù)技術(shù),要么是試圖做到在編譯時決議,要么試圖做到運行時決議。
1 虛函數(shù)表
虛函數(shù)(Virtual Function)是通過一張?zhí)摵瘮?shù)表(Virtual Table)來實現(xiàn)的。簡稱為V-Table。 在這個表中,主是要一個類的虛函數(shù)的地址表,這張表解決了繼承、覆蓋的問題,保證其容真實反應(yīng)實際的函數(shù)。這樣,在有虛函數(shù)的類的實例中這個表被分配在了 這個實例的內(nèi)存中,所以,當(dāng)我們用父類的指針來操作一個子類的時候,這張?zhí)摵瘮?shù)表就顯得由為重要了,它就像一個地圖一樣,指明了實際所應(yīng)該調(diào)用的函數(shù)。
這里我們著重看一下這張?zhí)摵瘮?shù)表。在C++的標(biāo)準(zhǔn)規(guī)格說明書中說到,編譯器必需要保證虛函數(shù)表的指針存在于對象實例中最前面的位置(這是為了保證正確取到虛函數(shù)的偏移量)。 這意味著我們通過對象實例的地址得到這張?zhí)摵瘮?shù)表,然后就可以遍歷其中函數(shù)指針,并調(diào)用相應(yīng)的函數(shù)。
2 代碼:
#include <stdio.h>
#include <iostream.h>
#include <stdlib.h>
typedef void (*Fun) (void);
class Base{
public:
virtual void f() {cout<<"Base::f"<<endl;}
virtual void g() {cout<<"Base::g"<<endl;}
virtual void h() {cout<<"Base::h"<<endl;}
};
void main(int argc,char * argv[])
{
Base b;
Fun pFun = NULL;
int *var1= (int *)&b;
cout<<"虛函數(shù)表地址:"<<var1<<endl; //(int*)(&b)
int *var2 = (int*)*(int*)(&b);
cout<<"虛函數(shù)表-第一個函數(shù)地址:"<< var2 << endl;//(int*)*(int*)(&b)
//Invoke the first virtual function
pFun =
(Fun)*((int*)*(int*)(&b)+0); //f()
pFun();
pFun = (Fun)*((int*)*(int*)(&b)+1); //g()
pFun();
pFun = (Fun)*((int*)*(int*)(&b)+2); // h()
pFun();
}
//結(jié)果
虛函數(shù)表地址:0x0012FF7C
虛函數(shù)表-第一個函數(shù)地址:0x0042804C
Base::f
Base::g
Base::h