虚继承

虚继承 是面向对象编程中的一座族乎种技术，是指一个指定的基类，在继承体系结构中，将其成员数据实例共享给也从这个基类型直接或间接派生的其它类。

虚拟继承是多重继承中特有的概念。虚拟基类是为解决多重继来自承而出现的。如下图所示。

类D继承自类B1、B2，而类B1、B2都继承自类A，因此出现如右图所示的局面(非虚基类)。

• 中文名称 虚继承
• 含义 指定的基类，在继承体系结构中

基本概述

　　虚拟继承是多重继承油激设权上高宽位义预中特有的概念。虚拟基类是为解决多重继承而出现的。如图1所示。

　　类D继承自类B1、B2，而类B1、B2都继承自类A，因此出现来自如图1所示的局面(非虚基类)。

　　为了节省内存空间360百科，可以将B1、B2对A的继承定义为虚拟继承，而A就成了虚拟基类。最后形成如图1所示的情况。

　　实现的代码如下:

　　class A;

　　class B1:public virtual A;

　　class B2:public virtual A;

　　class D:public B1,public 缺振B2;

虚拟继承入门

为什么要引入虚拟继承

　　虚拟继承在一破状左设于族宁现怕另城般的应用中很少用到，所以也往往被忽视，这也主要是因为在C++中，多重继承是不推荐的，也并不常用，而一旦离开了多重继承，虚拟继承就完全失去了存在的必要(因为这样只会降低效率和占用更多的空间，关于这一点，我自己饭局丝饭故种快磁承还没有太多深刻的理解，有兴趣的可以看网络上白杨的作品《RTTI、虚函数和虚基类的开销分析及使用指导》，说实话我看得很明白花实血运黑群队映犯余当了，高人不用指点)。

一个例子

　　以下面的一个例子互为例:

　　#include <iostream.h>

　　#include <memory.利检h>

　　class CA

　　{

　　int k; //如果基类没有数据成员，则在这里多重继承编译不会出现二义性

　　public:

　　void f() {cout << "CA::f" << end久景待少田校史l;}

　　};

　　class CB : public CA

　　{

　　};

　　cl团春矛季次火担感背非ass CC : public CA

　　{

　　};

　　class CD : public CB, public CC

　　{

　　};

　　void main()

　　{

　　CD d;

　会叶许氢考触土袁终岩假　d.f();

　　}

　　当编译上述代码时，我们会收到如下的错误提示:

　　error C2385: 'CD::f' is ambiguous

　　即编译器无法确定你在d.f()中要调用的弱业座末识愿年校函数f到底是哪一切识同打述个。这里可能会让人觉得有些奇怪，命名只定义了一个CA::f，既然大家都派生自CA，那自然就是调用的CA::f，为什么还无法确定呢?

　　这是因为编译器在进行编译的时候，需要确定子类的函数定义，如CA::f是确定的，那么在编译CB、CC时还需要在编译器的语法树中生成C笑班所鲁编境振B::f，CC::f等标识，那么，在编译CD的时候，由于CB、CC都有一个函数f，此时，编译器将试图生成这两个究情继态少成几庆育CD::f标识，显然这时就要报错了。(当我们不使用CD::f的时候，以季协从落触充小正上标识都不会生成，所以，但停即对院社向司析要夜如果去掉d.f()一句，程序将顺利通过编译)

　　要解决这个问题，有两个方法:

　　1、重写函数f()每:此时由于我们明确定义了CD::f，编译器检查到CD::f()调用时就无需再像上面一样去逐级生成CD::f标识了;

　　此时CD的元素结构如下:

　　|CB(CA)|

　　|CC(CA)|

　　故此时的sizeof(CD) = 8;(CB、CC各钱判实策之迫即守书补水有一个元素k)

　　2、使用虚拟继承:虚拟继承又称作共享继承，这种共享其实也是编译期间实现的，当使用虚拟继承时，上面的程序将变成下面的形式:

　　#include <iostream.h>

　　#include <memory.h>

　　class CA

　　{

　　int k;

　　public:

　　void f() {cout << "CA::f" << endl;}

　　};

　　class CB : virtual public CA //也有一种写法是class CB : public virtual CA

　　{ //实际上这两种方法都可以

　　};

　　class CC : virtual public CA

　　{

　　};

　　class CD : public CB, public CC

　　{

　　};

　　void main()

　　{

　　CD d;

　　d.f();

　　}

　　此时，当编译器确定d.f()调用的具体含义时，将生成如下的CD结构:

　　|CB|

　　|CC|

　　|CA|

　　同时，在CB、CC中都分别包含了一个指向CA的虚基类指针列表vbptr(virtual base table pointer)(虚基表指针)，其中记录的是从CB、CC的vbtable的首地址(vbptr)到CA的元素之间的偏移量。此时，不会生成各子类的函数f标识，除非子类重写了该函数，从而达到"共享"的目的(这里的具体内存布局，可以参看钻石型继承内存布局，在白杨的那篇文章中也有)(VS2010中，在Project Properties->C++->Command Line->Additional Options里面加上/d1reportSingleClassLayoutX，可以查看类X的对象布局)。

　　也正因此，此时的sizeof(CD) = 12(vbptrCB + vbptrCC + sizeof(int))(32位机中指针占4个字节);

　　另注:

　　如果CB，CC中各定义一个int型变量，则sizeof(CD)就变成20(两个vbptr + 3个sizeof(int)

　　如果CA中添加一个virtual void f1(){}，sizeof(CD) = 16(vfptrCA +vbptrCB + vbptrCC + sizeof(int));

　　再添加virtual void f2(){}，sizeof(CD) = 16不变。原因如下所示:带有虚函数(大于等于1个)的类，其内存布局上包含一个指向虚函数列表的指针(vfptr)(虚函数表指针)，这跟该类有几个虚函数无关。

虚继承与虚基类的本质

　　虚继承和虚基类的定义是非常的简单的，同时也是非常容易判断一个继承足机映志味皇异屋粒故里是否是虚继承的，虽然这两个席钢概念的定义是非常的简单明确来自的，但是在C++语言中虚继承作为一个比较生僻的但是又是绝对必要的组成部份而存在着，并且其行为和模型均表现出和一般的继承体系之间的巨大的差异(包括访问性能上的差异)，现在我们就来彻底的从语言、模型、性能和应用等多个方面对虚继承和虚基类进行研究。

　　首先还是先给出虚继承和虚基类的定义。

　　虚继承:在继承定义中包含了virtual关键字的继承关系;

　　虚基类:在虚继承体系中的通过virtual继承而来的基类，需要注意的是:

　　struct CSubClass : public virtual 360百科CBase {}; 其中CBase称之为CSubC胶曾整短lass

　　的虚基类，而不是说CBase就是个虚基类，因为CBase还可以作为不艺免仍封情是虚继承体系中的基类。

　团极盾　有了上面的定义后，就可以开始虚继承和虚基类温面沿限兰效象初立的本质研究了，下面按照语法、语义、模型、性能和应用五个方面进行全面的描述。

语法

　　语法有语言的本身的定义所决定，总体上来说非常的简单，如下:

　　struct CSubClass : public virtual CBaseCl洲温成市加探同析味ass {};

　　其中可以采用来public、protected、private三种不同的继承关键字进研营势次久顶行修饰，只要确保包含virtual就可以了，这样一来就形成了虚振继承体系，同时CBaseClass就成为了CSubClass的虚基类了。

　　其实并没有那么的简单，如果出现虚继承体系的进一步继承会出现什么样的状况呢?

　　如下所示:

　　注意上面代码中的CDiamondClass1和CDiamondSubClass1两个类的构造函数初始化列表中的内容。可以发现其中均包含了虚基类CBaseClass1的初始化工作，如果没有这个初始化语句就会导致编译时错误，为什么会这样呢?一般情况下不是只要在CSubClassV1和CSubClassV2中包含初始化就可以了么?要解释该问题必须要明白虚次志矛垂铁破草量德脚从继承的语义特征，所以参看下面语义部分的解释。

语义

　　从语义上来讲什么是虚继承和虚基类呢?上面仅仅是从如何在C++语言中书常己参列画吗热被沉紧握写合法的虚继承类定义而已。首先来了解一下vir甲速院职孩互孔tual这个关键字在C++中的要侵信皇笑反公共含义，在C++语言中仅仅有两个地方可以使用virtual这个关键字，一个就是类成员虚函数和这里所讨论的虚继承。不要看这两种应用场合好像没什么关系，其实他们在背景语义上具有virtual这个词所械随尔曲土伟害话点代表的共同的含义，所以才会在这两种场合使用相同的关键字。

　　那么virtual这个词的含义是什么呢?

　　virtual在《美国虽粉掉得祖志死她攻短务传统词典[双解]》中是这样定义的:

　　adj.(形容词)

　　1. Existing or resulting in essence or effect though not in actual fact, form, or name:

　　实质上的，实际上的:虽然没有实际的事实、形式或名义，但在实际上或效果上存在或产生的;

　　2. Existing in the mind, especially as a product of t危该he imagination. Used in literary criticis护核谈略另儿m of text.

　　虚的，内心的:在头脑中存在的，尤指意想的产物。用于文学批评中。

　　我们采用第一个定义，也就是说被virtual所修饰的事物或现象在本质上是存在的，但是没有直观的形式表现，无法直接描述或定义，需要通过其他的间接方式或手段才能够体现出其实际上的效果。

　　那么在C++中就是采用了这个词意，不可以在语言模型中直接调用或体现的，但是确实是存在可以被间接的方式进行调用或体现的。比如:虚函数必须要通过一种间接的运行时(而不是编译时)机制才能够激活(调用)的函数，而虚继承也是必须在运行时才能够进行定位访问的一种体制。存在，但间接。其中关键就在于存在、间接和共享这三种特征。

　　对于虚函数而言，这三个特征是很好理解的，间接性表明了他必须在运行时根据实际的对象来完成函数寻址，共享性表象在基类会共享被子类重载后的虚函数，其实指向相同的函数入口。

　　对于虚继承而言，这三个特征如何理解呢?存在即表示虚继承体系和虚基类确实存在，间接性表明了在访问虚基类的成员时同样也必须通过某种间接机制来完成(下面模型中会讲到)，共享性表象在虚基类会在虚继承体系中被共享，而不会出现多份拷贝。

　　那现在可以解释语法小节中留下来的那个问题了，"为什么一旦出现了虚基类，就必须在每一个继承类中都必须包含虚基类的初始化语句"。由上面的分析可以知道，

　　虚基类是被共享的，也就是在继承体系中无论被继承多少次，对象内存模型中均只会出现一个虚基类的子对象(这和多继承是完全不同的)，这样一来既然是共享的那么每一个子类都不会独占，但是总还是必须要有一个类来完成基类的初始化过程(因为所有的对象都必须被初始化，哪怕是默认的)，同时还不能够重复进行初始化，那到底谁应该负责完成初始化呢?C++标准中(也是很自然的)选择在每一次继承子类中都必须书写初始化语句(因为每一次继承子类可能都会用来定义对象)，而在最下层继承子类中实际执行初始化过程。所以上面在每一个继承类中都要书写初始化语句，但是在创建对象时，而仅仅会在创建对象用的类构造函数中实际的执行初始化语句，其他的初始化语句都会被压制不调用。

模型

　　为了实现上面所说的三种语义含义，在考虑对象的实现模型(也就是内存模型)时就很自然了。在C++中对象实际上就是一个连续的地址空间的语义代表，我们来分析虚继承下的内存模型。

　　3.1. 存在

　　也就是说在对象内存中必须要包含虚基类的完整子对象，以便能够完成通过地址完成对象的标识。那么至于虚基类的子对象会存放在对象的那个位置(头、中间、尾部)则由各个编译器选择，没有差别。(在VC8中无论虚基类被声明在什么位置，虚基类的子对象都会被放置在对象内存的尾部)

　　3.2. 间接

　　间接性表明了在直接虚基承子类中一定包含了某种指针(偏移或表格)来完成通过子类访问虚基类子对象(或成员)的间接手段(因为虚基类子对象是共享的，没有确定关系)，至于采用何种手段由编译器选择。(在VC8中在子类中放置了一个虚基类指针vbc，该指针指向虚函数表中的一个slot，该slot中存放则虚基类子对象的偏移量的负值，实际上就是个以补码表示的int类型的值，在计算虚基类子对象首地址时，需要将该偏移量取绝对值相加，这个主要是为了和虚表中只能存放虚函数地址这一要求相区别，因为地址是原码表示的无符号int类型的值)

　　3.3. 共享

　　共享表明了在对象的内存空间中仅仅能够包含一份虚基类的子对象，并且通过某种间接的机制来完成共享的引用关系。在介绍完整个内容后会附上测试代码，体现这些内容。

性能

　　由于有了间接性和共享性两个特征，所以决定了虚继承体系下的对象在访问时必然会在时间和空间上与一般情况有较大不同。

　　4.1. 时间

　　在通过继承类对象访问虚基类对象中的成员(包括数据成员和函数成员)时，都必须通过某种间接引用来完成，这样会增加引用寻址时间(就和虚函数一样)，其实就是调整this指针以指向虚基类对象，只不过这个调整是运行时间接完成的。(在VC8中通过打开汇编输出，可以查看*.cod文件中的内容，在访问虚基类对象成员时会形成三条mov间接寻址语句，而在访问一般继承类对象时仅仅只有一条mov常量直接寻址语句)

　　4.2. 空间

　　由于共享所以不存在对象内存中保存多份虚基类子对象的拷贝，这样较之多继承节省空间。