虚基类初始化

Question

在标准中寻找对某些事实的解释我发现了这个：

  

抽象类（10.4）永远不是最派生的类，因此它是   构造函数从不初始化虚拟基类，因此   相应的mem-initializers可以省略。

这是来自最终工作草案的12.6.2段。由于它已嵌入 Note 并且未提供示例，因此我不知道应该如何对待它。所以，我尝试了这个例子：

#include <iostream>

struct B{
    ~B(){}
    B(){ std::cout << "B()" << std::endl; }
    B(int){ std::cout << "B(int)" << std::endl; }
};

struct A : virtual B
{
    int s;
    virtual void foo() = 0;
    A(int a) : B(a) { std::cout << "A(int)" << std::endl; }
};

struct D : A{ 
    D() : A(10){ }
    virtual void foo(){ }    
} d;

int main()
{
}

并获得输出

B()
A(int)

http://coliru.stacked-crooked.com/a/b16c68226f072ced

尽管在 ctor-initializer 中指定了B的构造函数。这是他们的意思吗？

Answer 1

在此示例中，D是派生程度最高的类，将使用默认（无参数）构造函数构造B.

抽象类永远不会派生，因为你必须从它派生才能实例化它。