1.菱形繼承簡要介紹
??首先簡單介紹一下菱形繼承崖面,由于支持多繼承,因此會產生菱形繼承這種情況(如圖1所示)另萤。在這種情況下轿塔,如果類的對象 想要訪問成員 ,如果直接通過 訪問仲墨,由于編譯器不知道應該是找類 繼承的成員 ,還是 揍障,由此產生二義性目养,編譯報錯(注: 必須明確指定,比如 這樣才能正確通過編譯)毒嫡。
??為了解決這個問題癌蚁,C++提供了一種虛繼承的機制,在這種機制下兜畸,子對象只保留父對象共有成員的一份拷貝努释,因此不會存在二義性的問題。下面是我在VS2017-x86模式下咬摇,反匯編后伐蒂,將其內存布局簡要刻畫出來(圖2)。
2.菱形繼承內存布局刻畫
- 源碼示例
#include<iostream>
using namespace std;
class A{
public:
int a;
A(int _a):a(_a){};
virtual void show() { cout << "This is A::show()." << endl; }
}
class B: virtual public A{
public:
int b;
B(int _a, int _b):A(_a),b(_b){};
virtual void show(){ cout << "This is B::show()." << endl; }
}
class C: virtual public A{
public:
int c;
C(int _a, int _c):A(_a),c(_c){};
virtual void show(){ cout << "This is C::show()." << endl; }
}
class D: public B, public C{
public:
int d;
D(int _a, int _b, int _c, int _d):A(_a),B(_a,_b),C(_a,_c),d(_d){};
virtual void show(){ cout << "This is D::show()." << endl; }
}
- 其內存布局如圖2所示肛鹏,其中每個虛繼承的子類存在一個虛基類表指針逸邦,該指針指向的地方存在一個偏移值 ,該偏移值 指示當前類中虛表指針(當沒有虛函數(shù)時在扰,指向虛基類數(shù)據(jù)成員)的位置缕减。
3.總結
- 在存在虛繼承的類中,會存在虛基類指針芒珠,該指針指向的地方存放一個偏移,這個偏移為虛基類指針到虛基類數(shù)據(jù)的偏移;
- 子類只保存一份虛基類的數(shù)據(jù)對象蘸秘,這樣可以防止二義性;