多重继承与名字二义性

Q1：关于类作用域与名字二义性

• 在多重继承下，名字查找同时在所有基类子树上并行进行

• 成员函数或数据成员的查找通过两步实现：

1) 名字查找

2) 确定查到的名字是否合法

• 在名字查找阶段并不考虑成员的访问级别

• 一个基类子树上的派生类会覆盖其基类的名字

• 虚基类中的成员是唯一实例

Eg：

//①关系图如图1
        class A
        {
        public:
            int val;
        };

        class B
        {
        public:
            double val;
        };

        class C : public A, public B
        {
        public :
            int val;
        };

        //以下调用

        C c;
        c.val;

图1

此时，C中的 val 将会覆盖掉 A，B中的val

//②关系图如图2
    class A
    {
    public:
        int val;
    };

    class B:public A
    {
    };

    class C : public A
    {
    };

    class D: private B, public C
    {
    };

    //以下调用

    D d;
    d.val;

图2

此时，D调用val 将会产生二义性，虽然 B 的继承访问级别为 private,但会在查找名字的步骤中报错，分别从 B 子树的 A 基类与 C 子树的 A 基类中找到了 val

** 若在 B 、C 两颗子树中，A 均为其虚基类，则没有二义性，因为虚基类共享同一个实例

** 若在某个路径中 A 是虚基类，而在另一个路径中 A 是后代派生类的基类，则没有二义性——特定派生类实例的优先级高于共享虚基类实例

Q2：关于虚继承的构造函数的构造顺序

• 类在构造过程中，按声明次序检查直接基类，确定是否存在虚基类，按从根类开始向下到最低层派生类的顺序检查每一个基类子树

• 在虚派生中，由最下（深）层次的派生类的构造函数初始化虚基类，然后再按其声明顺序初始化非虚基类