c++ primer习题中发现的问题,习题是18.13。
继承层次很清楚,就是照着书上抄的,没写实例化。使用如下编译命令:
或者:
可不可以呢?这时候奇葩的事情就发生了,见 原贴14楼,这应该是可以的,理由见c++ primer 17.3.6.2的第二款,虚继承优先级低于派生实例。但是我的g++ 4.7.2在实例化访问时报error:ambiguity。这个我就没法解释了。反正这种继承层次就是不合理的,避免就好。
这个问题很久前有过讨论,不过没有得出正确结论,原贴。
先上代码:
struct A {
virtual ~A() {}
};
struct B : A {};
struct C : B {};
struct D : B, A {};
继承层次很清楚,就是照着书上抄的,没写实例化。使用如下编译命令:
g++ -o test -Wall test.cpp
得到如下警告:
warning: direct base 'A' inaccessible in 'D' due to ambiguity
gdb调试发现D中两个独立的A被正确构造。很奇怪一般二义性不会在定义类的时候被警告,想了下,发现原因其实很简单。
在D中的两个A的完整访问应该是D::B::A和D::A,但问题是D::A同样可以指向D::B::A,因为这个过程发生的是名字查找,每条路径都由内而外遵循名字查找规则,而每条路径都非虚或都虚的情况下,路径长短不作为区别优先的根据。所以无论如何第二个A实例都无法被访问。
之所以会遇到这个问题是因为我从java转c++,写全名写惯了,囧。
原贴中提到了另一个问题,我想这应该是很多人的第一反应:“是不是编译器要求虚继承呢?”继承层次改为:
struct A {
virtual ~A() {}
};
struct B : A {};
struct C : B {};
struct D : B, virtual A {};
或者:
struct A {
virtual ~A() {}
};
struct B : virtual A {};
struct C : B {};
struct D : B, A {};
可不可以呢?这时候奇葩的事情就发生了,见 原贴14楼,这应该是可以的,理由见c++ primer 17.3.6.2的第二款,虚继承优先级低于派生实例。但是我的g++ 4.7.2在实例化访问时报error:ambiguity。这个我就没法解释了。反正这种继承层次就是不合理的,避免就好。