Некоторые особенности виртуальных функций

[Finch]

Вчера столкнулся с неожиданной работой класса с виртуальными функциями. Среда программирования VC++ 6.0 Привожу код примера на основе моей находки.

Код:

#include <iostream.h>

// ------ Базовый класс ---------------------------------------------
class Base
{
public:
	Base(void);
	virtual void Print(void);
	void Prob(void);
};

Base::Base(void)
{
	Print();
}

void Base::Print(void)
{
	cout <<endl << "Base Class";
}

void Base::Prob(void)
{
	Print();
}

// ------ Производный от базового класса ----------------------------

class Second: public Base
{
public:
	Second(void);
	virtual void Print(void);
};

Second::Second(void):Base()
{
	Print();
}

void Second::Print(void)
{
	cout <<endl << "Second Class";
}

int main()
{
	Second sec;
	sec.Prob();
	cout << endl;
	return 0;
}

Вопрос: Что именно будет напечатано на экране, в результате работы программы?

[RXL]

И как, удалось создать экземпляр?

[Finch]

RXL, Это полностью рабочий код. И он выводит надписи на экран. Только вот какие?

[RXL]

Ошибка обращения к памяти?

[Finch]

Тут нету динамики, все статика. Нету ошибок. cout отрабатывается нормально.

[PooH]

Second Class
Base Class

?

[Sla]

Должно быть
Second Class
а что есть на самом деле?

[PooH]

или

Second Class
Second Class

или

Second Class
Base Class
Second Class

?

[Finch]

НЕа, Будет печатать

Base class
Second class
Second class

Т.е. получается, когда создается объект и управление отдается конструктору базового класса. Таблици виртуальных функций еше настроены на базовый класс. Хотя я создаю дочерний класс. Уже конструктор дочернего класса таблици перенаправляет на себя.

[Finch]

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

[PooH]

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

[Anchorite]

Finch, что тебя удивляет? Такое поведение соответствует требованиям пункта 12.7.3 Стандарта.
Да как класс определит в каком контексте его конструируют - как самостоятельный или как базовый для какого-то другого класса.

[Finch]

Anchorite, Для этого есть this класса, чтобы с физической точки зрения определить. И там нечего определять. Когда идет заход в конструктор класса. Можно было бы определить таблици виртуальных функций. И во всех остальных конструкторах просто проверять, если определено, то не трогать. Сейчас меня это не удивляет. Просто я ловил глюк. Причем глюк не сразу начал выдавать приколы.

[Anchorite]

Finch, тогда ты вообще не сможешь создавать классы.

Для начала расмотри вопрос, ЧТО произойдет если конструктор базового класса передаст управление методу порожденного класса.
Ответ - в этом методе будут возможен доступ к ИНИЦИАЛИЗИРОВАННЫМ НЕИЗВЕСТНО ЧЕМ полям этого самого порожденного класса.
Предвижу твой ответ "Тогда пусть сначала инициализируются поля порожденного класса, а потом передается управление конструктору базового".
Опять ничего не выйдет, т.к. в этом случае ты не сможешь вызвать в конструкторе порожденного класса методы его базового класса, т.к. поля базового класса не инициализированны.
Поучается довольно странная ситуация, когда класс не может вызвать СВОИ-ЖЕ методы.

[Dimka]

Finch, непонятно, в какой задаче тебе такие заморочки понадобились.

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

например

Код:

class Base { public : Base(); void init(); ... };
class X : public Base { public : X(); void init(); ... };

Base::Base() { ... }
void Base::init() { /*твои последние действия */ }
X::X() : Base() { ...; init(); }
void X::init() { /*твои первые действия*/; Base::init(); }

[Finch]

dimka, Я сделал примерно по той схеме,что ты привел.
Есть некоторые параметры, которые зависят от класса. Я хотел автоматизировать заполнение полей. Сделал виртуальную функцию, давал на нее запрос, и заполнял поля. Плюс создаются объекты винды из совокупности этих параметров. И это все дело я описал в конструкторе базового класса. Так чтобы в дочерних классах уже не заморачиваться на этом вопросе.
Пришлось выносить все в отдельную функцию. И вызывать ее отдельно.