Доброго всем здравия!
Описанная ниже задачка уступает, имхо, предыдущей в оригинальности, но, господа эксперты, просьба не судить строго. Заранее, извините, если баян.

Что выведет эта программа? Почему (в двух словах)? Почему закомментирована функция g(); класса B? Что произойдет если ее раскомментировать? Аргументируйте.

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



Это сообщение отредактировал(а) FiMa1 - 19.7.2007, 16:08

1. Выведет B::f()
2. Потому что сначала запускается конструктор, а затем инициализируются виртульные таблицы (зачем так - не знаю).
3. Если раскомментировать g(), то произойдет вылет из-за переполнения стека (получится рекурсия).

1. Начинает конструироваться объект класса С
2. Так как класс С унаследован от B, то вызывается конструктор класса B
3. Так как класс B Унаследован от класса A, то вызывается конструктор класса A
4. В конструкторе класса А вызывается функция f, так как к данному моменту сконструирован только объект класса А вызывается A::f (вывод А::f)
5. Конструктор класса А выполнен управление возвращается в конструктор класса В
6. В конструкторе класса B вызывается функция f, так как к данному моменту сконструирован объект класса В вызывается В::f (вывод В::f)
7. Из В::f вызывается g, которая объявлена в классе A, которая вызывает f уже перегруженную в B (вывод B::f)
8. Конструктор класса B выполнен управление возвращается в конструктор класса C
9.  В конструкторе класса C вызывается функция f, так как к данному моменту сконструирован объект класса C вызывается C::f (вывод C::f)

Вывод A::f B::f B::f C::f

Если вызов g не закоментирован, то в конструкторе В будет вызвана В::f из нее A::g из нее B::f из нее A::g и т.д. (бесконечная косвенная рекурсия)

|--> <<create C>>
|    |--> <<create B>>
|    |    |--> <<create A>>
|    |    |--> A created (vfpt created)
|    |        --> call f (A::f resolved)
|    |--> B created (vfpt created)
|        --> call f (B::f resolved)
|        --> call g (A::g resolved )
|            --> call f (B::f resolved)
|--> C created (vfpt created)
    --> call f (C::f resolved)

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

Общий вид таблицы виртуальных функций:

|--> <<create C>>
|    |--> <<create B>>
|    |    |--> <<create A>>
|    |    |--> A created (vfpt created)
|    |           |-----------------|
|    |            f      A::f
|    |           |-----------------|
|    |        --> call f (A::f resolved)
|    |--> B created (vfpt created)
|          |-----------------|
|            f     B::f
|          |-----------------|
|        --> call f (B::f resolved)
|        --> call g (A::g resolved )
|            --> call f (B::f resolved)
|--> C created (vfpt created)
       |-----------------|
         f     C::f
       |-----------------|
    --> call f (C::f resolved)


Это сообщение отредактировал(а) anthony - 19.7.2007, 16:52

Блин. точно. 
Я про конструкторы предков и забыл... И виртуальные методы с typeid путал. эх, пора в отпуск...

anthony, всё хорошо, только вот стандарт С++ не оперирует понятиями "виртуальны таблица" и "vfpt". Их там просто нет.

anthony пять баллов! Всем спасибо за участие.