虛繼承 的概念的提出主要是為了解決C++多繼承的問題,舉個最簡單的例子:
復(fù)制代碼 代碼如下:
class animal{
public :
void op()
{cout "hello animal" ;}
};
class tiger : public animal {
public :
void tg()
{cout "this is tiger" ;}
};
class lion : public animal {
public :
void lo()
{cout "this is lion" ;}
};
class liger : public tiger, public lion {
public :
void lo()
{cout "this is lion" ;}
};
int main()
{
class liger oneliger ;
liger.op() ;
}
上面的 liger.op() ;會報錯,會提示模糊的成員變量,因為tiger和lion中都包含父類animal的op()操作。
此時內(nèi)存中的oneliger對象布局從低到高是下面這樣的:
1、animal的成員變量
2、繼承tiger的成員變量
//包括 op()
3、繼承l(wèi)ion的成員變量
/ /也包括op()
4、liger本身的成員變量
PS: 對象在內(nèi)存中的布局首先是如果有虛函數(shù)的話就是虛表,虛表就是指向一個函數(shù)指針數(shù)組的指針,然后就是成員變量,如果是普通繼承則首先是最根父類的成員變量,然后是次父類成員變量,依次而來最后是本身的成員變量[虛繼承相反],成員函數(shù)被編譯成全局函數(shù)不存儲在對象空間內(nèi),需要調(diào)用成員函數(shù)的時候,通過類名找到相應(yīng)的函數(shù),然后將對象的this指針傳給函數(shù):
比如這樣的代碼
CTest test;
test.print();
編譯器在內(nèi)部將轉(zhuǎn)換為:(偽代碼)
CTest test;
CTest_print( test ); // CTest的print函數(shù)轉(zhuǎn)換為:CTest_print( CTest* const this);
所以這就和普通函數(shù)調(diào)用差別不大了
實際應(yīng)該是函數(shù)找到對象,即根據(jù)this指針
為了解決 上面多繼承的問題,所以c++中提出了虛繼承的概念,虛繼承就是在子類中只保留一份父類的拷貝,拿上面的類子來說,就是“如果有一份父類的拷貝的話就用父類的拷貝,如果沒有就加入一份拷貝” :
復(fù)制代碼 代碼如下:
class animal{
public :
void op()
{cout "hello animal" ;}
};
class tiger : public virtual animal {
public :
void tg()
{cout "this is tiger" ;}
};
class lion : public virtual animal {
public :
void lo()
{cout "this is lion" ;}
};
class liger : public tiger, public lion {
public :
void lo()
{cout "this is lion" ;}
};
int main()
{
class liger oneliger ;
liger.op() ;
}
此時liger對象在內(nèi)存中的布局就變成了:
4、animal的成員變量
3、繼承tiger的成員變量
//包括 op()
2、繼承l(wèi)ion的成員變量
//已經(jīng)包含一份拷貝,所以 已經(jīng)不包括op()
1、liger本身的成員變量
這樣內(nèi)存中就只有一份animal對象的拷貝,所以就不會存在模糊的問題;
您可能感興趣的文章:- 關(guān)于C++虛繼承的內(nèi)存模型問題
- c++ 虛繼承,多繼承相關(guān)總結(jié)
- 關(guān)于C++中菱形繼承和虛繼承的問題總結(jié)
- C++多重繼承與虛繼承分析
- C++ 繼承,虛繼承(內(nèi)存結(jié)構(gòu))詳解