Почему абстрактные производные классы должны инициализировать виртуальный базовый класс?

Question

Смотрите следующий код:

struct Object; 

struct Component 
{ 
    Component(Object* obj) { } 
}; 

struct Renderable : public virtual Component 
{ 
    virtual void Render() = 0; 
}; 

struct AnimationRenderer : public Renderable 
{ 
    AnimationRenderer(Object* obj) : Component(obj) { } 
    virtual void Render() { } 
}; 

Это не может скомпилировать, потому что нет соответствующего вызова Component::Component() из Renderable::Renderable().

я могу сделать эту работу образца, давая Renderable конструктор, такие как Renderable() : Component(NULL) { }, даже если визуализируемый никогда не смогут инициализировать компонент.

Потому что Renderable - абстрактный класс, он никогда не может быть создан непосредственно. Поскольку он фактически наследуется от Component, он никогда не сможет вызвать инициализацию Component.

В чем причина языка, требующего кода, который никогда/никогда не будет вызван?

Answer 1

На самом деле язык не требует этого. Ваш компилятор не использует текущие правила C++.

12.6.2p8 говорит (полужирная шахта для выразительности):

[Примечание: абстрактный класс никогда не является наиболее производным классом, таким образом, его конструкторы не инициализировать виртуальные классы базы, поэтому соответствующего мем- инициализаторы могут быть опущены. - конец примечание]

Я не могу найти это правило в C++ 03, так что это признанный недостаток в C++, который с тех пор было зафиксировано. Найдите обновление компилятора, поддерживающее C++ 11.

Ближайшее родственное правило в C++ 03 можно найти в разделе был 12.6.2p6:

мем-инициализатор именования виртуального базового класса должен игнорироваться во время выполнения конструктора любого класс, который не является самым производным классом.