Я столкнулся с одной проблемой, которая меня заинтересовала, и хочу услышать мнение других людей.
Суть такова: из конструктора абстрактного класса (содержащего чисто виртуальныу функцию) нельзя вызывать чисто виртуальные методы этого класса, которые не переопределены в нем самом, пусть даже этот конструктор будет вызываться только из конструкторов потомков. Причем эту ошибку билдер 6 выявляет только в рантайме, vcpp60 на стадии линковки (объясните плиз, как это возможно при линковке!?!?!?!?), а gcc 3.какой-то при компиляции. Обойти проблему можно, немного изменив логику взаимодействия классов, так что я сам разобрался. Но, если честно, не мог разобраться целых 3 дня.
Чтобы не быть голословным, вот пример:

Код

#include <iostream> class A { public: virtual void f() = 0; virtual void ff() {std::cout<<"A\n";}; void g() {f();ff();}; A() {f(); /* - this is not correct*/} }; class B : public A { public: void f() {std::cout<<"B\n";} B() : A() {} }; int main() { B bbb; bbb.g(); return 0; }

Если кто знает, где можно про это почитать (а также про то, как реализованы v-таблицы), напишите плиз.

PS: просто виртуальные (без =0) методы вызывать можно (это вполне логично, они уже имеют тело).

Просто виртуальные функции-члены в конструкторах тоже не работают

Цитата

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

Это имхо вытекает из смысла чисто виртуальных методов - если в теле конструктора абстрактного класса вызывать чисто виртуальный метод, то компилятор будет вынужден сгенерить вызов функции по указателю на NULL, т.к. не факт что дальше в коде встретится класс с реализацией конструктора и абстрактной функции сразу, а ведь вызов конструктора базового класса по-любому сделать придётся - вот он (компилятор) и генерит в ответ на "B() : A() {}" вызов NULL-функции.

Если класс В наследует класс А, то при создании объекта класса В сначала конструируется класс А, и лишь затем - В. Естественно, при выполнении конструктора А виртуальные функции не будут переопределены, а чисто виртуальные - вообще не будут определены. А уж где вылезет ошибка - в компиляторе, в линкере или при выполнении - зависит от компилятора и линкера.