Developing.ru

Hawk писал(а):Как я понимаю (транслировав все теги) ваше утверждение следует из описания конструктора _employee__ctor ?

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

Airhand писал(а):Да. И не выкай мне.

Airhand писал(а):Нельзя так переставлять строки кода. Слова в песне не меняются местами.

&quot писал(а):Инициализация - это, прежде всего, выделение памяти под объкт. А выделение памяти и внесение изменений в таблицу - это разные вещи.

&quot писал(а): ... и указатель в таблице виртуальной функции переписывается

&quot писал(а): ... и указатель на таблицу виртуальных функций переписывается так, чтобы он указывал на таблицу производного класса.

&quot писал(а): которая добавляет таблицу этой виртуальной функции к своей таблице и выполняется.

&quot писал(а): которая записывает в указатель на таблицу виртуальных функций адрес своей таблицы и выполняется.

vptr = &Table(A)
A()
vptr = &Table(B)
B()
vptr = &Table(C)
C()

&quot писал(а): _vtab *_vtable; // Генерируемое компилятором поле данных.

&quot писал(а): _employee__ctor( employee *this ) // Конструктор по умолчанию, генерируемый
{ // компилятором.
_storable_ctor(); // Базовые классы инициализируются
// в первую очередь.
_vtable = _employee_vtable; // Создается таблица виртуальных функций.
}

&quot писал(а): _vtable = _employee_vtable; // Создается таблица виртуальных функций.

int i; // Создание переменной
int *p; // Создание указателя
p = &i; // Установка указателя p на область памяти i

Romeo писал(а):А вот это вообще шедевр.

Я понял источник нашего непонимания. Он в том, что под инициализацией ты видишь выделение памяти. На самом деле инициализация - это процесс первоначальной (инициализирующей) простановки данных в объект. Инициализация не имеет отношения к выделению памяти. Эти два процесса можно разнести, например, воспользовавшись третьей формой оператора new.

После этой поправки статья целиком повторяет то, что я описал в своём посте две страницы назад, ещё до того, как узнал об этом писателе. То есть мы возвращаемся к выведенной ранее последовательности вызовов:

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

Airhand писал(а): Твоя схема в любом случае - неверная.
...
Может я и не прав с порядком, но твоя схема вообще неверная.

Airhand писал(а):Твоя схема в любом случае - неверная. Присваивание происходит внутри конструктора.

&quot писал(а):Это не мой код и комментарии к нему.

&quot писал(а):Так что потоки своей желчи изливай не мне

&quot писал(а):Твоя схема в любом случае - неверная. Присваивание происходит внутри конструктора.

&quot писал(а):Может я и не прав с порядком

Нет, я уже успокоился Я болезненно реагирую лишь в том случае, когда человек, обладающий недостаточными знаниями пытается показать насколько он "крут". Сейчас ты перестал красоваться и я вижу, что стал читать сторонние статьи и анализировать написанное нами, чтобы вести полемику. Также ты пропускаешь те мои ответы, которые бесспорны, беря их себе на заметку. Это меня успокоило и я наоборот хочу тебе помочь.

Моя схема - это всего лишь схема. Она хороша тем, что показывает правильный порядок. На самом деле, если быть точным, то место, где присваивается значение указателю на виртуальную таблицу не может быть указано иначе, чем схематически. То, что указано в статье не совсем верно: присваивание происходит не в самом теле. Автор не учёл, что конструктор может иметь список инициализации и указатель должен стать валидным ещё до того, как начнут инициализироваться поля класса, таким образом присваивание указателя происходит где-то вне конструктора, но после того, как отработал конструктор базового класса. Именно поэтому я использовал схему, а не точный псевдокод

Airhand писал(а):У Алена Голуба так и не ясно, где инициализуруется табица виртуальных функций. Понятно, что в конструторе/деструкторе механизм виртуальных функий не работает, но где присваивается указатель - неясно.