虛函式呼叫及實現

2021-10-05 11:25:10 字數 1156 閱讀 4448

【摘自】c/c++虛函式實現的基本原理

1. 概述

簡單地說,每乙個含有虛函式(無論是其本身的,還是繼承而來的)的類都至少有乙個與之對應的虛函式表,其中存放著該類所有的虛函式對應的函式指標。例:

其中:2. 虛函式表構造過程

3. 虛函式呼叫過程

以下面的程式為例:

編譯器只知道pb是b*型別的指標,並不知道它指向的具體物件型別 :pb可能指向的是b的物件,也可能指向的是d的物件。

但對於「pb->bar()」,編譯時能夠確定的是:此處operator->的另乙個引數是b::bar(因為pb是b*型別的,編譯器認為bar是b::bar),而b::bar和d::bar在各自虛函式表中的偏移位置是相等的。

無論pb指向哪種型別的物件,只要能夠確定被調函式在虛函式中的偏移值,待執行時,能夠確定具體型別,並能找到相應vptr了,就能找出真正應該呼叫的函式。

b::bar是乙個虛函式指標, 它的ptr部分內容為9,它在b的虛函式表中的偏移值為8(8+1=9)。

當程式執行到「pb->bar()」時,已經能夠判斷pb指向的具體型別了:

4. 多重繼承

當乙個類繼承多個類,且多個基類都有虛函式時,子類物件中將包含多個虛函式表的指標(即多個vptr),例:

其中:d自身的虛函式與b基類共用了同乙個虛函式表,因此也稱b為d的主基類(primary base class)。

虛函式替換過程與前面描述類似,只是多了乙個虛函式表,多了一次拷貝和替換的過程。

虛函式的呼叫過程,與前面描述基本類似,區別在於基類指標指向的位置可能不是派生類物件的起始位置,以如下面的程式為例:

多型實現及虛函式

多型是c 物件導向三大特性之一 多型分為兩類 1.靜態多型 函式過載和運算子過載屬於靜態多型 2.動態多型 派生類與虛函式實現執行時多型 區別 靜態多型的函式位址早繫結 編譯階段確定函式位址 動態多型的函式位址晚繫結 執行階段確定函式位址 class animal class cat public ...

手撕虛函式,虛函式呼叫虛函式

乙個類的記憶體分布,虛函式表指標,普通成員變數,sizeof a 為乙個虛表指標 32位是4位元組 普通成員變數 靜態什麼的都不是 虛函式本身也是函式,相當於乙個指標,虛函式表裡面含有虛函式,相當於乙個二級指標,虛函式表指標指向虛函式表,相當於乙個 指標,所有可以通過乙個 指標直接訪問某個虛函式。見...

虛函式及虛函式表

虛函式及虛函式表 首先,我們要分清三大概念 過載 重寫 覆蓋 和重定義 一.函式過載 1 在相同的作用域內 無繼承關係,只在乙個類內進行宣告 2 進行多個函式宣告 3 多個函式的函式名相同,引數列表不同 可以是型別不同 引數型別不同 傳參順序不同 4 函式的返回值型別可以相同,可以不同。不能僅依靠函...