C 多型的實現原理

2021-09-22 19:23:00 字數 4377 閱讀 8680

1. 用virtual關鍵字申明的函式叫做虛函式,虛函式肯定是類的成員函式。

2. 存在虛函式的類都有乙個一維的虛函式表叫做虛表。類的物件有乙個指向虛表開始的虛指標。虛表是和類對應的,虛表指標是和物件對應的。

3. 多型性是乙個介面多種實現,是物件導向的核心。分為類的多型性和函式的多型性。

4. 多型用虛函式來實現,結合動態繫結。

5. 純虛函式是虛函式再加上= 0。

6. 抽象類是指包括至少乙個純虛函式的類。

純虛函式:virtual void breathe()=0;即抽象類!必須在子類實現這個函式!即先有名稱,沒內容,在派生類實現內容!

我們先看乙個例子:

#include class animal

注意,在例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物件記憶體模型,如下圖所示:

我們構造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 class animal

大家可以再次執行這個程式,你會發現結果是「fish bubble」,也就是根據物件的型別呼叫了正確的函式。

那麼當我們將breathe()宣告為virtual時,在背後發生了什麼呢?

編譯器在編譯的時候,發現animal類中有虛函式,此時編譯器會為每個包含虛函式的類建立乙個虛表(即vtable),該表是乙個一維陣列,在這個陣列中存放每個虛函式的位址。對於例1-2的程式,animal和fish類都包含了乙個虛函式breathe(),因此編譯器會為這兩個類都建立乙個虛表,(即使子類裡面沒有virtual函式,但是其父類裡面有,所以子類中也有了)如下圖所示:

那麼如何定位虛表呢?編譯器另外還為每個類的物件提供了乙個虛表指標(即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. 派生類的虛表中虛函式位址的排列順序和基類的虛表中虛函式位址排列順序相同。

這就是c++中的多型性。當c++編譯器在編譯的時候,發現animal類的breathe()函式是虛函式,這個時候c++就會採用遲繫結(late binding)技術。也就是編譯時並不確定具體呼叫的函式,而是在執行時,依據物件的型別(在程式中,我們傳遞的fish類物件的位址)來確認呼叫的是哪乙個函式,這種能力就叫做c++的多型性。我們沒有在breathe()函式前加virtual關鍵字時,c++編譯器在編譯時就確定了哪個函式被呼叫,這叫做早期繫結(early binding)。

c++的多型性是通過遲繫結技術來實現的。

c++的多型性用一句話概括就是:在基類的函式前加上virtual關鍵字,在派生類中重寫該函式,執行時將會根據物件的實際型別來呼叫相應的函式。如果物件型別是派生類,就呼叫派生類的函式;如果物件型別是基類,就呼叫基類的函式。

虛函式是在基類中定義的,目的是不確定它的派生類的具體行為。例:

定義乙個基類:class animal//動物。它的函式為breathe()//呼吸。

再定義乙個類class fish//魚 。它的函式也為breathe()

再定義乙個類class sheep //羊。它的函式也為breathe()

為了簡化**,將fish,sheep定義成基類animal的派生類。

然而fish與sheep的breathe不一樣,乙個是在水中通過水來呼吸,乙個是直接呼吸空氣。所以基類不能確定該如何定義breathe,所以在基類中只定義了乙個virtual breathe,它是乙個空的虛函式。具本的函式在子類中分別定義。程式一般執行時,找到類,如果它有基類,再找它的基類,最後執行的是基類中的函式,這時,它在基類中找到的是virtual標識的函式,它就會再回到子類中找同名函式。派生類也叫子類。基類也叫父類。這就是虛函式的產生,和類的多型性(breathe)的體現。

這裡的多型性是指類的多型性。

函式的多型性是指乙個函式被定義成多個不同引數的函式,它們一般被存在標頭檔案中,當你呼叫這個函式,針對不同的引數,就會呼叫不同的同名函式。例:rect()//矩形。它的引數可以是兩個座標點(point,point)也可能是四個座標(x1,y1,x2,y2)這叫函式的多型性與函式的過載。

類的多型性,是指用虛函式和延遲繫結來實現的。函式的多型性是函式的過載。

一般情況下(沒有涉及virtual函式),當我們用乙個指標/引用呼叫乙個函式的時候,被呼叫的函式是取決於這個指標/引用的型別。即如果這個指標/引用是基類物件的指標/引用就呼叫基類的方法;如果指標/引用是派生類物件的指標/引用就呼叫派生類的方法,當然如果派生類中沒有此方法,就會向上到基類裡面去尋找相應的方法。這些呼叫在編譯階段就確定了。

當設計到多型性的時候,採用了虛函式和動態繫結,此時的呼叫就不會在編譯時候確定而是在執行時確定。不在單獨考慮指標/引用的型別而是看指標/引用的物件的型別來判斷函式的呼叫,根據物件中虛指標指向的虛表中的函式的位址來確定呼叫哪個函式。

from: 

C 多型的實現原理

1.用virtual關鍵字申明的函式叫做虛函式,虛函式肯定是類的成員函式。2.存在虛函式的類都有乙個一維的虛函式表叫做虛表。類的物件有乙個指向虛表開始的虛指標。虛表是和類對應的,虛表指標是和物件對應的。3.多型性是乙個介面多種實現,是物件導向的核心。分為類的多型性和函式的多型性。4.多型用虛函式來實...

C 多型的實現原理

1.用virtual關鍵字申明的函式叫做虛函式,虛函式肯定是類的成員函式。2.存在虛函式的類都有乙個一維的虛函式表叫做虛表。類的物件有乙個指向虛表開始的虛指標。虛表是和類對應的,虛表指標是和物件對應的。3.多型性是乙個介面多種實現,是物件導向的核心。分為類的多型性和函式的多型性。4.多型用虛函式來實...

C 多型的實現原理

純虛函式 virtual void breathe 0 即抽象類!必須在子類實現這個函式 即先有名稱,沒內容,在派生類實現內容 我們先看乙個例子 include class animal 注意,在例1 1的程式中沒有定義虛函式。考慮一下例1 1的程式執行的結果是什麼?答案是輸出 animal bre...