#include <iostream.h>
class animal
{
public:
void sleep()
{
cout<<"animal sleep"<<endl;
}
void breathe()
{
cout<<"animal breathe"<<endl;
}
};
class fish:public animal
{
public:
void breathe()
{
cout<<"fish bubble"<<endl;
}
};
void main()
{
fish fh;
animal *pAn=&fh;
pAn->breathe();
注意，在例1-1的程序中沒有定義虛函數。考慮一下例1-1的程序執行的結果是什么？
答案是輸出：animal breathe
我們在main()函數中首先定義了一個fish類的對象fh，接著定義了一個指向animal類的指針變量pAn，將fh的地址賦給了指針變量pAn，然后利用該變量調用pAn->breathe()。許多學員往往將這種情況和C++的多態性搞混淆，認為fh實際上是fish類的對象，應該是調用fish類的breathe()，輸出“fish bubble”，然后結果卻不是這樣。下面我們從兩個方面來講述原因。
1、 編譯的角度
C++編譯器在編譯的時候，要確定每個對象調用的函數的地址，這稱為早期綁定（early binding），當我們將fish類的對象fh的地址賦給pAn時，C++編譯器進行了類型轉換，此時C++編譯器認為變量pAn保存的就是animal對象的地址。當在main()函數中執行pAn->breathe()時，調用的當然就是animal對象的breathe函數。
2、 內存模型的角度
我們給出了fish對象內存模型，如下圖所示：
圖1- 1 fish類對象的內存模型
我們構造fish類的對象時，首先要調用animal類的構造函數去構造animal類的對象，然后才調用fish類的構造函數完成自身部分的構造，從而拼接出一個完整的fish對象。當我們將fish類的對象轉換為animal類型時，該對象就被認為是原對象整個內存模型的上半部分，也就是圖1-1中的“animal的對象所占內存”。那么當我們利用類型轉換后的對象指針去調用它的方法時，當然也就是調用它所在的內存中的方法。因此，輸出animal breathe，也就順理成章了。
正如很多學員所想，在例1-1的程序中，我們知道pAn實際指向的是fish類的對象，我們希望輸出的結果是魚的呼吸方法，即調用fish類的breathe方法。這個時候，就該輪到虛函數登場了。
前面輸出的結果是因為編譯器在編譯的時候，就已經確定了對象調用的函數的地址，要解決這個問題就要使用遲綁定（late binding）技術。當編譯器使用遲綁定時，就會在運行時再去確定對象的類型以及正確的調用函數。而要讓編譯器采用遲綁定，就要在基類中聲明函數時使用virtual關鍵字（注意，這是必須的，很多學員就是因為沒有使用虛函數而寫出很多錯誤的例子），這樣的函數我們稱為虛函數。一旦某個函數在基類中聲明為virtual，那么在所有的派生類中該函數都是virtual，而不需要再顯式地聲明為virtual。
下面修改例1-1的代碼，將animal類中的breathe()函數聲明為virtual，如下：
#include <iostream.h>
class animal
{
public:
void sleep()
{
cout<<"animal sleep"<<endl;
}
virtual void breathe()
{
cout<<"animal breathe"<<endl;
}
};
class fish:public animal
{
public:
void breathe()
{
cout<<"fish bubble"<<endl;
}
};
void main()
{
fish fh;
animal *pAn=&fh;
pAn->breathe();
大家可以再次運行這個程序，你會發現結果是“fish bubble”，也就是根據對象的類型調用了正確的函數。
那么當我們將breathe()聲明為virtual時，在背后發生了什么呢？
編譯器在編譯的時候，發現animal類中有虛函數，此時編譯器會為每個包含虛函數的類創建一個虛表（即vtable），該表是一個一維數組，在這個數組中存放每個虛函數的地址。對于例1-2的程序，animal和fish類都包含了一個虛函數breathe()，因此編譯器會為這兩個類都建立一個虛表，如下圖所示：
圖1- 2 animal類和fish類的虛表
那么如何定位虛表呢？編譯器另外還為每個類的對象提供了一個虛表指針（即vptr），這個指針指向了對象所屬類的虛表。在程序運行時，根據對象的類型去初始化vptr，從而讓vptr正確的指向所屬類的虛表，從而在調用虛函數時，就能夠找到正確的函數。對于例1-2的程序，由于pAn實際指向的對象類型是fish，因此vptr指向的fish類的vtable，當調用pAn->breathe()時，根據虛表中的函數地址找到的就是fish類的breathe()函數。
正是由于每個對象調用的虛函數都是通過虛表指針來索引的，也就決定了虛表指針的正確初始化是非常重要的。換句話說，在虛表指針沒有正確初始化之前，我們不能夠去調用虛函數。那么虛表指針在什么時候，或者說在什么地方初始化呢？
答案是在構造函數中進行虛表的創建和虛表指針的初始化。還記得構造函數的調用順序嗎，在構造子類對象時，要先調用父類的構造函數，此時編譯器只“看到了”父類，并不知道后面是否后還有繼承者，它初始化父類對象的虛表指針，該虛表指針指向父類的虛表。當執行子類的構造函數時，子類對象的虛表指針被初始化，指向自身的虛表。對于例2-2的程序來說，當fish類的fh對象構造完畢后，其內部的虛表指針也就被初始化為指向fish類的虛表。在類型轉換后，調用pAn->breathe()，由于pAn實際指向的是fish類的對象，該對象內部的虛表指針指向的是fish類的虛表，因此最終調用的是fish類的breathe()函數。
要注意：對于虛函數調用來說，每一個對象內部都有一個虛表指針，該虛表指針被初始化為本類的虛表。所以在程序中，不管你的對象類型如何轉換，但該對象內部的虛表指針是固定的，所以呢，才能實現動態的對象函數調用，這就是C++多態性實現的原理。
總結（基類有虛函數）：
1、 每一個類都有虛表。
2、 虛表可以繼承，如果子類沒有重寫虛函數，那么子類虛表中仍然會有該函數的地址，只不過這個地址指向的是基類的虛函數實現。如果基類3個虛函數，那么基類的虛表中就有三項（虛函數地址），派生類也會有虛表，至少有三項，如果重寫了相應的虛函數，那么虛表中的地址就會改變，指向自身的虛函數實現。如果派生類有自己的虛函數，那么虛表中就會添加該項。
3、 派生類的虛表中虛函數地址的排列順序和基類的虛表中虛函數地址排列順序相同。
posted on 2011-04-08 22:23
luis 閱讀(175)
評論(0) 編輯 收藏 引用