虚继承是面向对象编程中的一种技术,是指一个指定的基类,在继承体系结构中,将其成员数据实例共享给也从这个基类型直接或间接派生的其
它类。虚拟继承是多重继承中特有的概念。虚拟基类是为解决多重继承而出现的。
例如:类D继承自类B1、B2,而类B1、B2都继承自类A,因此出现如右图所示的局面(非虚基类)并且B1、B2 都有A的成员,而D就含有了2个A
的成员。为了节省内存空间和避免二义性,可以将B1、B2对A的继承定义为虚拟继承,而A就成了虚拟基类。
最后形成如左图所示的情况。
由上述情况可知,C++提出了虚继承,为了解决从不同途径继承来的同名的数据成员在内存中有不同的拷贝造成数据不一致问题,将共同基类设
置为虚基类。这时从不同的路径继承过来的同名数据成员在内存中就只有一个拷贝,同一个函数名也只有一个映射。这样不仅就解决了二义性问题,也
节省了内存,避免了数据不一致的问题。
虚基类定义格式:class <派生类名>:virtual <继承方式> <基类名>
virtual是关键字,声明该基类为派生类的虚基类。
在多继承情况下,虚基类关键字的作用范围和继承方式关键字相同,只对紧跟其后的基类起作用。声明了虚基类之后,虚基类在进一步派生过程
中始终和派生类一起,维护同一个基类子对象的拷贝。
C++规定,由虚基类经过一次或者多次派生出来的派生类,在其每一个派生类的构造函数的成员初始化列表中必须给出对虚基类的构造函数的调
用,如果未列出,则调用虚基类的默认构造函数。其执行顺序:
首先执行虚基类的构造函数,多个虚基类的构造函数按照被继承的顺序构造;
执行基类的构造函数,多个基类的构造函数按照被继承的顺序构造;
执行成员对象的构造函数,多个成员对象的构造函数按照申明的顺序构造;
执行派生类自己的构造函数;
析构以与构造相反的顺序执行;
提供一个简单的例子供熟悉虚继承:如何实现虚继承以及构造参数的执行顺序。
提到虚继承不得不说一下虚函数。他们都使用到了virtual进行修饰,一个是多继承中,一个是在类中。虚函数的作用,用专业术语来解释就是实现
多态性(Polymorphism),多态性是将接口与实现进行分离;用形象的语言来解释就是实现以共同的方法,但因个体差异,而采用不同的策略。
举个简单例子来说明一下虚函数。
int main(void)
{
A a;
B b;
A *p;
p = &a;
p->print();
p = &b;
p->print();
}
输出的结果都为This is A,第二个输出并不是我们所希望的是This is B。如果要实现第二个输出This is B,可以直接使用b.print()或者是定义B *b通过b->print()两种方式,但是这都不属于多态性。接下来我们采取虚函数的方式来获取我们想要的结果。我们将要上面的代码改为
这个是输出就会变为我们所期望的结果:This is A;This is B。类A的print()函数用virtual设为虚函数,类B继承A,其成员print()也默认为virtual 虚函数,建议在书写的时候派生类的成员函数加上virtual。