C 多繼承的細節

2021-04-14 09:13:48 字數 4137 閱讀 5701

這幾天寫的程式應用到多繼承。

以前對多繼承的概念非常清晰,可是很久沒用就有點模糊了。重新研究一下,「重新整理」下記憶。

假設我們有下面的**:

#include

class a

virtual

void show();

virtual

void dispa();

}; class b

virtual

void show();

virtual

void dispb();

}; class c

virtual

void show();

virtual

void dispc();

}; class d :

public a,

public b,

public c

virtual

void show();

virtual

void dispd();

}; class e :

public d

virtual

void show();

virtual

void dispe();

}; int main()

每個類都有兩個虛函式show()和dispx()。類a,b,c是基本類,而d是多繼承,最後e又繼承了d。那麼對於類e,它的記憶體映像是怎樣的呢?為了解答這個問題,我們回顧一下基本類的記憶體映像:

+ --------------+ <- this

+    vtab       +

+ --------------+

+               +

+    data       +

+               +

+ --------------+

如果乙個類有虛函式,那麼它就有虛函式表(vtab)。類的第乙個單元是乙個指標,指向這個虛函式表。如果類沒有虛函式,並且它的祖先(所有父類)均沒有虛函式,那麼它的記憶體映像和c的結構一樣。

+ --------------+ <- this

+   y 的 vtab   +

+ --------------+

+               +

+   x 的 data   +

+               +

+ --------------+

+               +

+   y 的 data   +

+               +

+ --------------+

y的虛函式表基本和x的相似。如果y有新的虛函式,那麼就在vtab的末尾加上乙個。如果y重新定義了原有的虛函式,那麼原的指標指向新的函式入口。這樣無論是記憶體印象和虛函式表,y都和x相容。這樣當執行 x* x = (y*)y;之後,x可以很好的被運用,並且可以享受新的虛函式。

現在看多重繼承:

class d : public a, public b, public c

它的記憶體映像如下:  

+ --+ -----------------+ 00h <- this

+   +    d 的 vtab     +

+ a + -----------------+ 04h

+   +    a 的 資料     +

+ --+ -----------------+ 08h

+   +    b 的 vtab'    +

+ b + -----------------+ 0ch

+   +    b 的 資料     +

+ --+ -----------------+ 10h

+   +    c 的 vtab'    +

+ c + -----------------+ 14h

+   +    c 的 資料     +

+ --+ -----------------+ 18h

+ d +    d 的 資料     +

+ --+ -----------------+

(因為對齊於雙字,a~d的資料雖然只是乙個char,但需要對齊到dword,所以佔4位元組)

對於a,它和單繼承沒有什麼兩樣。b和c被簡單地放在a的後面。如果它們虛函式在d中被重新定義過(比如show函式),那麼它們需要使用新的vtab,使被重定義的虛函式指到正確的位置上(這對於com或類似的技術是至關重要的)。最後,d的資料被放置到最後面。

對於e的記憶體映像問題就可以不說自明了。

下面我們看一下c++是如何處理

d *d;

......

b *b = (b*)d;

這樣的要求的。設定斷點,進入反彙編,你可以看到如下的彙編**:(因為ubb關係,將方括號替換成了大括號。看上去有點彆扭)

b *b = (b*)d;

00401062  cmp         dword ptr ,0

00401066  je          main+73h (401073h)

00401068  mov         eax,dword ptr

0040106badd         eax,8

0040106e  mov         dword ptr ,eax

00401071  jmp         main+7ah (40107ah)

00401073  mov         dword ptr ,0

0040107a  mov         ecx,dword ptr

0040107d  mov         dword ptr ,ecx

從上述彙編**可以看出:如果源(這裡是d)是null,那麼目標(這裡是b)也將被置為null,否則目標將指向源的位址並向下偏移8個位元組,正好就是上圖所示b的vtab位置。至於為什麼要用ebp-38h作快取,這是編譯器的演算法問題了。等以後有時間再研究。

接下來看乙個比較古怪的問題,這個也是我寫這篇文章的初衷:

根據上面的多繼承定義,如果給出乙個類b的例項b,我們是否可以求出d的例項?

為什麼要問這個問題。因為存在下面的可能性:

class b

; class d :

public a,

public b,

public c

; ...

}; class z :

public x,

public y,

public b

; ...

}; void myfunc(b* b)

} 猛一看很值得懷疑。但仔細想想,這是可能的,事實也證明了這一點。因為編譯器了解這d和b這兩個類相互之間的關係(也就是偏移量),因此它會做相應的轉換。同樣,設定斷點,檢視彙編:

d *d2 = (d*)b;

00419992  cmp         dword ptr ,0

00419996  je          main+196h (4199a6h)

00419998  mov         eax,dword ptr

0041999bsub         eax,8

0041999e  mov         dword ptr ,eax

004199a4  jmp         main+1a0h (4199b0h)

004199a6  mov         dword ptr ,0

004199b0  mov         ecx,dword ptr

004199b6  mov         dword ptr ,ecx

如果源(這裡是b)為null,那麼目標(這裡是d2)也為null。否則目標取源的位址並向上偏移8個位元組,這樣正好指向d的例項位置。同樣,為啥需要ebp-13ch做快取,待查。

前一段時間因為擔心.net中將inte***ce轉成相應的類會有問題。今天對c++多重繼承的複習徹底消除了疑雲。 

C 多繼承的細節

這幾天寫的程式應用到多繼承。以前對多繼承的概念非常清晰,可是很久沒用就有點模糊了。重新研究一下,重新整理 下記憶。假設我們有下面的 include class a virtual void show virtual void dispa class b virtual void show virtu...

C 多繼承的細節

這幾天寫的程式應用到多繼承。以前對多繼承的概念非常清晰,可是很久沒用就有點模糊了。重新研究一下,重新整理 下記憶。假設我們有下面的 include class a virtual void show virtual void dispa class b virtual void show virtu...

C 多繼承的細節

這幾天寫的程式應用到多繼承。以前對多繼承的概念非常清晰,可是很久沒用就有點模糊了。重新研究一下,重新整理 下記憶。假設我們有下面的 include class a virtual void show virtual void dispa class b virtual void show virtu...