Ошибка компоновщика, не объявляя абстрактного метода в абстрактном базовом классе?

Question

У меня есть абстрактный базовый класс Foo с абстрактным методом под названием bar. Я звоню bar из конструктора Foo. Я ожидаю, что подклассы, чтобы переопределить bar (оно абстрактно в конце концов), а затем Foo вызвать преодолено bar на каждом экземпляре:

class Foo 
{ 
    public: 
     Foo() { bar(); } 
     virtual void bar() = 0; 
} 

Однако я получаю сообщение об ошибке:

foo.obj:-1: error: LNK2019: unresolved external symbol "protected: virtual void __cdecl Foo::bar(void)" (?bar@Foo@@MEAAXXZ) referenced in function "public: __cdecl Foo::Foo(void)" (??0Foo@@QEAA@XZ) 

Такие ошибки компоновщика обычно означают, что я что-то определил, но не объявил об этом (или наоборот), и это, похоже, повторится. Все работает просто отлично, если добавить определение для bar так:

void Foo::bar() {} 

Это предназначена ошибка, или это ошибка в линкере? Если это намеренно, почему? Я не понимаю, почему я не могу назвать абстрактный метод конструктором? Единственная причина, по которой я думаю, заключается в том, что конструктор базового класса получает вызов до того, как будут определены методы подкласса, но я все же не думаю, что должен получить эту ошибку?

Я использую Qt Creator 2.7.0 - Based on Qt 5.0.2 (32 bit)

Answer 1

Внутри конструктора, динамический тип *this является Foo, и нет никакой определенной функции Foo::bar. Не вызывайте виртуальные функции в конструкторах. (Если вы не знаете, что делаете, и в этом случае вы знаете, как дать определение.)

Answer 2

Ваша проблема проста и очень сложна: конструктор Foo работает до того, что производного класса. Таким образом, виртуальная функция установлена ​​на то, что Foo устанавливает ее, - которая не реализована.

Вам нужно подождать до завершения строительства, прежде чем вы сможете использовать виртуальную функцию так, как вы ожидаете, и все записи vtable устанавливаются в их наиболее производные версии.

Хотя было бы возможно разбить конструкцию на три части (сначала vtable обновляется каждым конструктором, чем все инициализаторы, и, наконец, все функции конструктора выполняются), комитет по стандартам C++ принял решение об этом.

Есть и преимущества, как это делается, кроме простоты для сборщиков компилятора: если бы вы могли получить доступ к более производным членам класса (вызывая переопределенную функцию virtual), они не были бы инициализированы (или даже построены), тем не менее, поэтому любая функция более производного класса не должна касаться каких-либо нетривиальных элементов данных, что усложняет все, даже просто говоря, что вы не должны называть виртуальные функции во время построения.