调用虚拟基类的重载构造函数

有没有一种(实用的)方法来旁路普通(虚拟)构造函数调用顺序?

例子:

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;
}

输出:

调用()
调用B(int)
调用C(int)
调用d(int)

我想要的是:

调用(int)
调用B(int)
调用C(int)
调用d(int)

如您所见,涉及到虚拟继承,这导致d的构造函数调用第一个的构造函数,但由于没有提供参数,所以它调用()。这里有 康斯特 我需要初始化,所以我有个问题。

我想做的是隐藏C的继承细节,这就是为什么我要寻找一种避免在D(和每个派生)构造函数的初始化列表中调用(i)的方法。[编辑]在这种特定的情况下,我可以假设只有C的非虚拟单继承子类(因为D是C的子类)。[/编辑]

[编辑]

虚拟基类是在初始化任何非虚拟基类之前初始化的,因此只有最派生的类才能初始化虚拟基类。杰姆斯·麦克内利

这就是重点,我 不要 希望最派生的类调用虚拟基类构造函数。 [/编辑]

考虑以下情况( 上面的代码示例中没有表示 ):

  A
 / \
B0  B1
 \ /
  C
  |
  D  

我理解为什么C在实例化C时必须调用(歧义)的ctor,但是为什么D在实例化D时必须调用它?