上篇讲到VS下实现虚继承中成员变量的二义性与数据冗余的解决方案是怎样的,今天我们来看看虚继承的成员函数会如何。
首先,虚继承会不会重写成员函数?我们看一看如下代码:
#include<iostream> using namespace std; class A { public: void fun() { cout << "this is fun of A"<<endl; } }; class B1 : public A { public: void fun() { cout << "this is fun of B1" << endl; } }; class B2 : public A { public: void fun() { cout << "this is fun of B2" << endl; } }; class C : public B1, public B2 { public: void fun() { cout << "this is fun of C" << endl; } }; int main() { C c; c.fun(); c.B1::fun(); c.B2::fun(); c.A::fun();//编译不通过,对象不存在 }
这里,主函数中哪条指令编译不过去呢,明显是最后一条,因为调用对象不明确,c继承了b1,b2,b1,b2中都含有A,c中不直接含有对象a,所以编译不同过的原因是,系统无法识别我们调用的是b2还是b1中的a,这在某种程度上而言,也是二义性的表现形式,在c中,我们并不需要知道A,B1,B2,的fun(),秩序要知道C中的fun(),这里我们用虚函数重写,使得fun()重写,这样我们便可以使得C从各个域中的fun()的表现形式变为一样吗?我们来看看虚函数重写的结果:
答案是不可以的,虚函数重写,仅仅是将成员函数覆盖掉,并没有使派生类中调用基类中的成员函数“销毁”。派生类仍可以通过域访问到基类中的成员函数。那如果我们使用虚继承呢?
答案还是不可以的:
打开监视窗口,我们发现,C中包含3个虚表指针,每一个虚表指针都是存的是c::fun()的地址,但是还是可以通过域访问到不同的fun(),如果我们把A中添加一成员变量,通过内存观察,(这与我们上一篇讲到的一样,为了解决数据冗余,虚继承使得菱形继承中的超类得成员变量仅有一份存储在派生类中,两个基类会以指针偏移的方式访问同一个数据,在VS2013下,并没有存储真正的基类的成员变量,这是一种优化),在以前vs版本,可能派生类还能保存基类中成员变量的数据。而成员函数,并不是存储在对象中的内容,故通过域访问,还是可以修改的。
本文出自 “pawnsir的IT之路” 博客,请务必保留此出处http://10743407.blog.51cto.com/10733407/1750438
原文地址:http://10743407.blog.51cto.com/10733407/1750438