在《深度探索C++對(duì)象模型》里，有一個(gè)問(wèn)題，也是去公司面試的時(shí)候那些技術(shù)人員常問(wèn)的問(wèn)題：在C++中，obj是一個(gè)類(lèi)的對(duì)象，p是指向obj的指針，該類(lèi)里面有個(gè)數(shù)據(jù)成員mem，請(qǐng)問(wèn)obj.mem和p->mem在實(shí)現(xiàn)和效率上有什么不同。

答案是：只有一種情況下才有重大差異，該情況必須滿(mǎn)足以下3個(gè)條件：

（1）、obj 是一個(gè)虛擬繼承的派生類(lèi)的對(duì)象
（2）、mem是從虛擬基類(lèi)派生下來(lái)的成員
（3）、p是基類(lèi)類(lèi)型的指針

當(dāng)這種情況下，p->mem會(huì)比obj.mem多了兩個(gè)中間層。（也就是說(shuō)在這種情況下，p->mem比obj.mem要明顯的慢，呵呵）

WHY？

如果好奇心比較重的話(huà)，請(qǐng)往下看 :)

1、虛基類(lèi)的使用，和為多態(tài)而實(shí)現(xiàn)的虛函數(shù)不同，是為了解決多重繼承的二義性問(wèn)題。

舉例如下：

class A
{
public:
    int a;
};

class B : virtual public A
{
public:
   int b;
};

class C :virtual public A
{
public:
   int c;
};

class D : public B, public C
{
public:
   int d;
};

上面這種菱形的繼承體系中，如果沒(méi)有virtual繼承，那么D中就有兩個(gè)A的成員int a；繼承下來(lái)，使用的時(shí)候，就會(huì)有很多二義性。而加了virtual繼承，在D中就只有A的成員int a；的一份拷貝，該拷貝不是來(lái)自B，也不是來(lái)自C，而是一份單獨(dú)的拷貝，那么，編譯器是怎么實(shí)現(xiàn)的呢？？

在回答這個(gè)問(wèn)題之前，先想一下，sizeof(A),sizeof(B),sizeof(C),sizeof(D)是多少？（在32位x86的linux2.6下面，或者在vc2005下面）

在linux2.6下面，結(jié)果如下：sizeof(A) = 4; sizeof(B) = 12; sizeof(C) = 12; sizeof(D) = 24

sizeof（B）為什么是12呢，那是因?yàn)槎嗔艘粋€(gè)指針（這一點(diǎn)和虛函數(shù)的實(shí)現(xiàn)一樣），那個(gè)指針是干嘛的呢？

那么sizeof(D)為什么是24呢？那是因?yàn)槌死^承B中的b，C中的c，A中的a,和D自己的成員d之外，還繼承了B，C多出來(lái)的2個(gè)指針（B和C分別有一個(gè)）。再?gòu)?qiáng)調(diào)一遍，D中的int a不是來(lái)自B也不是來(lái)自C，而是另外的一份從A直接靠過(guò)來(lái)的成員。

如果聲明了D的對(duì)象d： D d；
那么d的內(nèi)存布局如下：

vb_ptr: 繼承自B的指針
 
int b： 繼承自B公有成員
 
vc_ptr：繼承自C的指針
 
int c： 繼承自C的共有成員
 
int d： D自己的公有成員
 
int a： 繼承自A的公有成員
 

那么以下的用法會(huì)發(fā)生什么事呢？

D dD;
B *pb = &dD;
pb->a;

上面說(shuō)過(guò)，dD中的int a不是繼承自B的，也不是繼承自C的，那么這個(gè)B中的pb->a又會(huì)怎么知道指向的是dD內(nèi)存中的第六項(xiàng)呢？

那就是指針vb_ptr的妙用了。原理如下：(其實(shí)g++3.4.3的實(shí)現(xiàn)更加復(fù)雜，我不知道是出于什么考慮，而我這里只說(shuō)原理，所以把過(guò)程和內(nèi)容簡(jiǎn)單化了)

首先，vb_ptr指向一個(gè)整數(shù)的地址，里面放的整數(shù)是那個(gè)int a的距離dD開(kāi)始處的位移（在這里vb_ptr指向的地址里面放的是20，以字節(jié)為單位）。編譯器是這樣做的：

首先，找到vb_ptr(這個(gè)不用找，因?yàn)樵趃++中，vb_ptr就是B*中的第一項(xiàng)，呵呵)，然后取得vb_ptr指向的地址的內(nèi)容（這個(gè)例子是20），最后把這個(gè)內(nèi)容與指針pb相加，就得到pb->a的地址了。

所以說(shuō)這種時(shí)候，用指針轉(zhuǎn)換多了兩個(gè)中間層才能找到基類(lèi)的成員，而且是運(yùn)行期間。

由此也可以推知dD中的vb_ptr和vc_ptr的內(nèi)容都是一樣的，都是指向同一個(gè)地址，該地址就放20（在本例中）

如下的語(yǔ)句呢：

A *pa = &dD;
pa->a = 4;

這個(gè)語(yǔ)句不用轉(zhuǎn)換了，因?yàn)榫幾g器在編譯期間就知道他把A中的成員插在dD中的那個(gè)地方了（在本例中是末尾），所以這個(gè)語(yǔ)句中的運(yùn)行效率和dD.a是一樣的（至少也是差不多的）

這就是虛基類(lèi)實(shí)現(xiàn)的基本原理。

注意的是：那些指針的位置和基類(lèi)成員在派生類(lèi)成員中的內(nèi)存布局是不確定的，也就是說(shuō)標(biāo)準(zhǔn)里面沒(méi)有規(guī)定int a必須要放在最后，只不過(guò)g++編譯器的實(shí)現(xiàn)而已。c++標(biāo)準(zhǔn)大概只規(guī)定了這套機(jī)制的原理，至于具體的實(shí)現(xiàn)，比如各成員的排放順序和優(yōu)化，由各個(gè)編譯器廠商自己定~

本文來(lái)自CSDN博客，轉(zhuǎn)載請(qǐng)標(biāo)明出處：http://blog.csdn.net/jiangnanyouzi/archive/2009/01/06/3721091.aspx