C ++ дочерний конструктор и VPTR

Question

C ++ дочерний конструктор и VPTR

0

Во многих источниках книги и т.д. Написаны "не вызывайте this-> virtualFunction в конструкторе дочернего класса", и в некоторых источниках объясните, почему вы не должны этого делать. Потому что на момент строительства класс вообще не создан. Таким образом, виртуальная функция, которая будет вызываться из дочернего конструктора, будет функцией базового класса. Это означает, что в блоке конструктора child VPTR этого класса указывается на базу VTABLE.

Поэтому мой вопрос:
каков момент в построении объекта, когда VPTR дочернего класса будет переопределен для обращения к нему виртуальной таблицы? Я предполагаю, что какой-то автоматически сгенерированный код сделает это в конце тела конструктора или после того, как будет обработан тело конструктора.

И второй вопрос:
почему VPTR переоценивается в конце строительства? Может быть, у него есть некоторые важные причины? Почему не удается переопределить VPTR в начале тела конструктора или после создания базового класса?

Child::Child() :
Base()
//<----- Why not here?
//members initialization
{
//<----- Why not here?
//code
}

Talkin 04 дек. 2014, в 15:24

Источник

1

Нет, в теле конструктора Child динамический тип - это Child , а не Base . Это Base в конструкторе Base . (Я не совсем уверен, изменится ли он до или после инициализации Child элементов, поэтому я не могу дать полный ответ).
Mike Seymour 04 дек. 2014, в 14:29
0

Возможный дубликат Могу ли я вызвать виртуальную функцию для инициализации подобъекта базового класса?
Deduplicator 04 дек. 2014, в 14:33
0

@ravi стандарт явно позволяет вызывать виртуальные функции из конструктора, это просто считается ужасной практикой.
IdeaHat 04 дек. 2014, в 14:38
1

@ravi: его можно использовать для обозначения «типа, который *this обрабатывается для целей вызовов виртуальных функций и RTTI», независимо от того, полностью ли построен объект, и четко ли он определен для большей части процесса инициализации, и конечно внутри конструкторских тел.
Mike Seymour 04 дек. 2014, в 14:50

Показать ещё 2 комментария

Теги:

c++

constructor

parent-child

vtable

vptr

2 ответа

1

Я не согласен с вашей чрезмерно упрощенной причиной того, почему вы не должны называть виртуальную функцию. Во-первых, VTABLE на самом деле не определен стандартом C++ и, по сути, специфичен для реализации:

Когда VTable в C++ создан?

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

Конструкторы C++: почему этот вызов виртуальной функции небезопасен? http://www.parashift.com/c%2B%2B-faq-lite/calling-virtuals-from-ctors.html

Тем не менее, есть много, много причин не делать этого.

Конструктор для производного класса еще не вызывается. Любой доступ любых членов производного класса приведет к неопределенному поведению.
Существует эмпирическое правило, что вы должны держать конструкторы максимально простыми и немыми. Это связано с тем, что обработка ошибок в конструкторах может быть гигантской болью из-за того, что деструктор не вызван, и единственный способ вернуть состояние сенсационной ошибки - это выбросить исключение.
Это часто нарушает принцип инверсии зависимостей и может пересекать линию деметатора и обычно вводит высокую связь с кодом.

IdeaHat 04 дек. 2014, в 12:23

Ещё вопросы

Нет, в теле конструктора Child динамический тип - это Child , а не Base . Это Base в конструкторе Base . (Я не совсем уверен, изменится ли он до или после инициализации Child элементов, поэтому я не могу дать полный ответ).
Возможный дубликат Могу ли я вызвать виртуальную функцию для инициализации подобъекта базового класса?
@ravi стандарт явно позволяет вызывать виртуальные функции из конструктора, это просто считается ужасной практикой.
@ravi: его можно использовать для обозначения «типа, который *this обрабатывается для целей вызовов виртуальных функций и RTTI», независимо от того, полностью ли построен объект, и четко ли он определен для большей части процесса инициализации, и конечно внутри конструкторских тел.

Mike Seymour · Accepted Answer · 2014-12-04T12-56-00.000Z

Во многих источниках книги и т.д. Написаны "не вызывайте this-> virtualFunction в конструкторе дочернего класса"

Сомневаюсь. Часто не рекомендуется вызывать виртуальные функции из конструктора базового класса, чтобы избежать путаницы, если вы ожидаете, что они вызовут окончательные переопределения, а не версии базового класса. И вы, безусловно, не должны называть их из базового класса, если они являются чистыми виртуальными, что дает неопределенное поведение.

Внутри конструктора производного класса они четко определены и делают то, что вы ожидаете.

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

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

каков момент в построении объекта, когда VPTR дочернего класса будет переопределен для обращения к нему виртуальной таблицы?

После того, как все конструкторы базового класса завершены, и до того, как инициализируются дочерние классы. Функции Child элементов, включая виртуальные функции, можно вызывать из инициализаторов-членов (но не для инициализаторов базового класса) или тела конструктора.

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

почему VPTR переоценивается в конце строительства?

Это не так. Это происходит в первом пункте, который вы указываете с помощью <----- Why not here? ,