C++ 虚继承

标签：c++   虚继承   二义性   

1. 虚继承是一种机制，类通过虚继承指出它希望共享其虚基类的状态，在虚继承下，对给定虚基类，无论该类在派生层次中作为虚基类出现多少次，只继承一个共享的基类子对象，共享的基类子对象称为虚基类。举例：istream和ostream类对它们的基类进行虚继承，通过使基类成为虚基类，istream和ostream指定，如果其他类（如iostream）同时继承它们两个，则派生类中只出现它们的公共基类的一个副本。可以通过在派生列表中包含关键字virtual设置虚基类。class istream:public virtual ios{…};class ostream:virtual public ios{…};class iostream:public istream,public ostream{…};
2. 指定虚派生只影响从指定了虚基类的类派生的类。除了影响派生类自己的对象之外，它也是关于派生类与自己的未来派生类的关系的一个陈述。（文邹邹的）
3. 虚基类也同样支持派生类到基类的常规转换，此外，使用虚继承的多重继承层次比没有虚继承的引起更少的二义性问题。可以无二义性地直接访问共享虚基类中的成员。同样，如果只沿一个派生路径重定义来自虚基类的成员，则可以直接访问该重定义成员。在非虚派生情况下，两种访问都可能是二义的。
4. 假定通过多个派生路径继承名为X的成员，有下面三种可能性：
5. 1. 如果在每个路径中X表示同一虚基类成员，则没有二义性，因为共享该成员的单个实例
   2. 如果在某个路径中X是虚基类的成员，而在另一路径中X是后代派生类的成员，，也没有二义性——特定派生类实例的优先级高于共享虚基类实例。
   3. 如果沿每个继承路径X表示后代派生类的不同成员，则该成员的直接访问是二义性的。

#include<iostream>
using namespace std;
class Base
{
public:
    Base():ival(100){}
    void bar(int){
        cout<<"Base::bar"<<endl;
    }
protected:
    int ival;
};
class Derived1:virtual public Base
{
public:
    void bar(char){
        cout<<"Derived1::bar"<<endl;
    }
    void foo(char ){
        cout<<"Derived1::foo"<<endl;
    }
protected:
    char cval;
};

class Derived2:virtual public Base
{
public:
    Derived2():ival(200){}
    void foo(int ){
        cout<<"Derived2::foo"<<endl;
    }
protected:
    int ival;
    char cval;
};
class VMI:public Derived1,public Derived2{
public:
    void test()
    {
        // foo();//二义性
        // cval=9;//二义性
        bar(3);
        cout<<ival<<endl;
    }
};
int main(int argc, char *argv[])
{
    VMI xx;
    xx.test();
    return 0;
}

从VMI类内部可以不加限定地访问继承成员bar和ival：bar在共享基类Base和派生类Derived1中都存在，但特定派生类实例的优先级高于共享基类实例，所以在VMI类内部不加限定地访问bar，则访问到的是Derived1中的bar实例。ival在共享基类Base和派生类Derived2中都存在，同理，在VMI类中不加限定地访问ival，访问到的是Derived2中的ival实例。

继承成员foo和cval需要限定：二者在Derived1和Derived2中都存在，Derived1和Derived2均为Base的派生类，访问优先级相同，所以，如果在VMI类内不加限定地访问foo和cval，则会出现二义性。

程序输出为：

C++ 虚继承

标签：c++   虚继承   二义性   

原文地址：http://blog.csdn.net/wdkirchhoff/article/details/43497471