虚基类

2010-08-21

---

---

#include <string> #include <iostream> using namespace std; class A { public: A(){} A(int a) { this->a = a; } int a; }; class B: virtual public A { public: B(){} B(int b):A(b) { this->b = b; } int b; }; class C:virtual public A { public: C(){} C(int c):A(c) { this->c = c; } int c; }; class D:public B,public C { public: D(){} D(int d):A(d) { this->d = d; } int d; }; int main(void) { cout<<"sizeof(A):"<<sizeof(A)<<endl; cout<<"sizeof(B):"<<sizeof(B)<<endl; cout<<"sizeof(C):"<<sizeof(C)<<endl; cout<<"sizeof(D):"<<sizeof(D)<<endl; A a(1); B b(2); C c(3); D d(4); cout<<d.a<<endl; return 0; }

 

 

因为B虚继承A，所以B的大小多了4个字节，主要是是因为virtual。

　　虚基类的引入和说明

　　前面简单地介绍了要引进虚基类的原因。实际上，引进虚基类的真正目的是为了解决二义性问题。

　　虚基类说明格式如下：

　　　virtual <继承方式><基类名>

　　其中，virtual是虚类的关键字。虚基类的说明是用在定义派生类时，写在派生类名的后面。例如：

class A { 　public: 　　void f(); 　　protected: 　　int a; 　}; class B : virtual public A { 　　protected: 　　int b; 　}; class C : virtual public A { 　　protected: 　　int c: 　}; class D : public B, public C { 　　public: 　　int g(); 　　private: 　　int d; };

　　由于使用了虚基类，使得类A，类B，类C和类D之间关系用DAG图示法表示如下：

A{ f(), a }
/ ＼
B{b} C{c}
＼ /
D{g(),d}

从该图中可见不同继承路径的虚基类子对象被合并成为一个对象。这便是虚基类的作用，这样将消除了合并之前可能出现的二义性。这时，在类D的对象中只存在一个类A的对象。因此，下面的引用都是正确的：

　　D n;

　　n.f(); file://对f()引用是正确的。

　void D::g()

　{
　　f(); file://对f()引用是正确的。
　}

　　下面程式段是正确的。

　　D n;
　　A *pa;
　　pa = &amp;n;

　　其中，pa是指向类A对象的指针，n是类D的一个对象，&n是n对象的地址。pa=&n是让pa指针指向类D的对象，这是正确的，并且也无二义性。