Что такое порядок инициализации таблицы виртуальных методов?

@mzarb · Регистрация: 14.01.2013

Студворк — интернет-сервис помощи студентам

Что-то я не переварил это.

@Kastaneda · 10.03.2013, 10:18

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

ValeryS · 10.03.2013, 10:31

Сообщение от Kastaneda

то сначала инициализируется VPTR указателем на таблицу для базового класса, потом, до входа в тело конструктора наследника,

согласно дизасемблированию сам конструктор этим занимается
например

Assembler
1
2
3
4
5
6
7
8
9
    66h             ; nIDTemplate
call    ??0CDialog@@QAE@IPAVCWnd@@@Z ; CDialog::CDialog(uint,CWnd *)вызов конструктора родителя
 
mov     ecx, ebx        ; this
mov     dword ptr [esi], offset ??_7CBulkLoopDlg@@6B@ ; const CBulkLoopDlg::`vftable' записываем адрес таблицы виртуальных функций
 
;пошло конструирование
call    ??0CWnd@@QAE@XZ ; CWnd::CWnd(void)
...............

@Kastaneda · 10.03.2013, 10:33

Сообщение от ValeryS

согласно дизасемблированию сам конструктор этим занимается

Да, но до начала выполнения тела конструктора. Под "телом" я подразумеваю то, что находится между {}.

ValeryS · 10.03.2013, 10:36

Сообщение от Kastaneda

Под "телом" я подразумеваю то, что находится между {}.

хорошо
вот в таком примере

C++
1
2
3
4
5
6
7
8
9
10
class A
{
public:
 virtual void fnc();
};
class B: public A
{
public:
 virtual void fnc();
};

вообще не описан конструктор
следовательно будет использоваться конструктор по умолчанию
где у него тело?

@Kastaneda · 10.03.2013, 10:45

Ну тут тела нет.
Я понимаю что ты имеешь ввиду, тут вопрос терминологии. С точки зрения языка С++ тело конструктора - это то, что находиться между скобками {}. А с точки зрения ассемблера - есть процедура, которая находится по адресу A::A (или B::B), которая будет вызвана при создании объекта. Эта процедура содержит некий код, который будет выполнен (там же инициализация VPTR). В коде этой процедуры так же может быть код тела конструктора, а может и не быть, если тела нет.

ValeryS · 10.03.2013, 11:05

Сообщение от Kastaneda

Я понимаю что ты имеешь ввиду,

ну да

теперь вопрос кто записывает таблицу?
по моей методе конструктор

Сообщение от Kastaneda

есть процедура, которая находится по адресу A::A

по твоей какой то левый код

Сообщение от Kastaneda

то сначала инициализируется VPTR указателем на таблицу для базового класса, потом, до входа в тело конструктора наследника,

я бы так сказал ( поправь и получится нормальное определение )
конструктор делится на две части
неявную, где происходит вызов родителя, инициализация переменных, инициализация таблицы,..... генерится автоматически
и явную описанную между скобками {}

@Kastaneda · 10.03.2013, 11:42

Сообщение от ValeryS

конструктор делится на две части
неявную, где происходит вызов родителя, инициализация переменных, инициализация таблицы,..... генерится автоматически
и явную описанную между скобками {}

Ну вообще в стандарте не про какую неявную часть ничего не сказано.

Пример - initialization list

C++
1
2
3
4
5
6
class A
{
public:
    A() : a(0) {}
    int a;
};

везде пишут, что инициализация из списка инициализации будет выполнена до начала выполнения конструктора. Но мы то знаем, что она будет выполнена в коде процедуры, реализующей конструктор, до начала выполнения тела конструктора.

Чтоб как-то разобраться в терминологии посмотрим стандарт, например вот про порядок инициализации

In a non-delegating constructor, initialization proceeds in the following order:
— First, and only for the constructor of the most derived class (1.8), virtual base classes are initialized in
the order they appear on a depth-first left-to-right traversal of the directed acyclic graph of base classes,
where “left-to-right” is the order of appearance of the base classes in the derived class base-specifier-list .
— Then, direct base classes are initialized in declaration order as they appear in the base-specifier-list
(regardless of the order of the mem-initializers).
— Then, non-static data members are initialized in the order they were declared in the class definition
(again regardless of the order of the mem-initializers).
— Finally, the compound-statement of the constructor body is executed.

в двух словах что все это значит - сначала будет инициализирвано то-то, потом то-то и в последний момент будет выполнено тело конструктора.
Что мы из этого можем вынести - то, что в стандарте все таки разделяются "конструктор" и "тело конструктора".
Но вернемся к предмету разговора

Сообщение от ValeryS

неявную ... и явную описанную между скобками {}

Ну думаю можно сказать и так. Но, например, если б я увидел такое определение в какой-нибудь книге по С++ и при этом автор не объяснил бы, что эти термины условны и подразумевают то-то то-то, то я бы усомнился в знаниях автора

Другое дело если употреблять термины "явный" и "неявный", при этом объяснить что это несуществующие термины, которые введены в книгу для разделения тела конструктора и кода, который на самом деле содержится в конструкторе, то тогда норм

ValeryS · 10.03.2013, 11:51

Сообщение от Kastaneda

Но, например, если б я увидел такое определение в какой-нибудь книге по С++ и при этом автор не объяснил бы, что эти термины условны и подразумевают то-то то-то, то я бы усомнился в знаниях автора

согласен
но ведь как то нужно объяснить начинающим что

Сообщение от Kastaneda

все таки разделяются "конструктор" и "тело конструктора".

может попробовать сказать так
вся инициализация ( вызов родителей) происходит в конструкторе до исполнения тела конструктора
а то

Сообщение от Kastaneda

то сначала инициализируется VPTR указателем на таблицу для базового класса, потом, до входа в тело конструктора наследника, VPTR переписывается указателем на таблицу дочернего класса.

тоже несколько непонятно звучит

Новые блоги и статьи Все статьи Все блоги /
Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .	Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .
Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .

@mzarb 8 / 8 / 2 Регистрация: 14.01.2013 Сообщений: 141

	Что такое порядок инициализации таблицы виртуальных методов? 09.03.2013, 23:56. Показов 1778. Ответов 8 Метки нет (Все метки) Что-то я не переварил это. 0

@Kastaneda 5232 / 3205 / 362 Регистрация: 12.12.2009 Сообщений: 8,143 Записей в блоге: 2
	10.03.2013, 10:18
	Если я правильно понял вопрос, то сначала инициализируется VPTR указателем на таблицу для базового класса, потом, до входа в тело конструктора наследника, VPTR переписывается указателем на таблицу дочернего класса. 1

@Kastaneda 5232 / 3205 / 362 Регистрация: 12.12.2009 Сообщений: 8,143 Записей в блоге: 2
	10.03.2013, 10:45
	Ну тут тела нет. Я понимаю что ты имеешь ввиду, тут вопрос терминологии. С точки зрения языка С++ тело конструктора - это то, что находиться между скобками {}. А с точки зрения ассемблера - есть процедура, которая находится по адресу A::A (или B::B), которая будет вызвана при создании объекта. Эта процедура содержит некий код, который будет выполнен (там же инициализация VPTR). В коде этой процедуры так же может быть код тела конструктора, а может и не быть, если тела нет. 1