多重继承与名字二义性

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：关于虚继承的构造函数的构造顺序

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

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