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:关于虚继承的构造函数的构造顺序
• 类在构造过程中,按声明次序检查直接基类,确定是否存在虚基类,按从根类开始向下到最低层派生类的顺序检查每一个基类子树
• 在虚派生中,由最下(深)层次的派生类的构造函数初始化虚基类,然后再按其声明顺序初始化非虚基类