Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > C/C++: Общие вопросы > Игра в С++

Автор: FiMa1 19.7.2007, 16:02

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

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

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

Код

#include <stdio.h>

class A 
{ 
public: 
    A(){ this->f(); } 
    virtual void f()
    {
        printf("A::f() ");
    }
protected: 
    void g(void) { this->f(); } 
}; 

class B : public A 
{ 
public: 
    B() { this->f(); g(); } 
    virtual void f()
    {
        printf("B::f() ");
        // g();
    } 
}; 

class C : public B 
{ 
public: 
    C() { this->f(); } 
    virtual void f()
    {
        printf("C::f() ");
    }
}; 

int main() 
{ 
    C obj;

    return 0; 
}

Автор: bsa 19.7.2007, 16:25

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

Автор: anthony 19.7.2007, 16:39

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)

Автор: bsa 19.7.2007, 16:57

Блин. точно. smile

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

Автор: Daevaorn 19.7.2007, 17:14

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

Автор: FiMa1 20.7.2007, 08:32

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