【发布时间】：2011-03-30 12:53:37
【问题描述】：
是否有一种（实用的）方法可以绕过正常（虚拟）构造函数调用顺序？
示例：
class A
{
const int i;
public:
A()
: i(0)
{ cout << "calling A()" << endl; }
A(int p)
: i(p)
{ cout << "calling A(int)" << endl; }
};
class B
: public virtual A
{
public:
B(int i)
: A(i)
{ cout << "calling B(int)" << endl; }
};
class C
: public B
{
public:
C(int i)
: A(i), B(i)
{ cout << "calling C(int)" << endl; }
};
class D
: public C
{
public:
D(int i)
: /*A(i), */ C(i)
{ cout << "calling D(int)" << endl; }
};
int main()
{
D d(42);
return 0;
}
输出：
调用 A()
调用 B(int)
调用 C(int)
调用 D(int)
我想要的是这样的：
调用 A(int)
调用 B(int)
调用 C(int)
调用 D(int)
如您所见，其中涉及到虚拟继承，导致D的构造函数首先调用A的构造函数，但是由于没有提供参数，所以它调用了A()。 const int i 需要初始化，所以我遇到了问题。
我想做的是隐藏 C 的继承细节，这就是为什么我正在寻找一种方法来避免在 D（以及每个派生的）构造函数的初始化列表中调用 A(i)。 [编辑] 在这种特定情况下，我可以假设只有 C 的非虚拟单继承子类（因为 D 是一个）。 [/编辑]
[编辑]
虚拟基类在初始化任何非虚拟基类之前被初始化，因此只有最派生的类才能初始化虚拟基类。 ——詹姆斯·麦克内利斯
这正是重点，我不希望最派生类调用虚拟基类构造函数。 [/edit]
考虑以下情况（上面的代码示例中没有表示）：
A
/ \
B0 B1
\ /
C
|
D
我明白为什么 C 必须在实例化 C 时调用 A 的 ctor（歧义），但为什么 D 在实例化 D 时必须调用它？
【问题讨论】：
-
我不相信您的代码示例与您提供的输出匹配。你确定你用指令“D d;”来实例化d吗？ ?
-
sry，我忘记了参数......现在是 D d(42)。谢谢。
-
好吧，这似乎更公平 :-) 请问您为什么要使用“可怕的钻石”架构？你不能用其他方式重新组织你的代码吗？
-
^^ 是的，这总是有可能的。当实在没有可行的方法时，我会选择重新设计。
-
@Benoît 因为“钻石”并不“可怕”，所以它是一个非常好的工具。
标签： c++ constructor virtual-inheritance