Требуется ли полиморфный класс для dynamic_cast?

Question

Требуется ли полиморфный класс для dynamic_cast?

0

Я пробовал это, но просто чтобы убедиться:

Использование dynamic_cast для dynamic_cast указателя базового класса на указатель производного класса требует, чтобы базовый класс был полиморфным? В противном случае мы даже не сможем скомпилировать?

Благодарю.

jensa 15 сен. 2014, в 00:33

Источник

1

Базовый класс должен иметь хотя бы одну виртуальную функцию для работы dynamic_cast
Rafal Mielniczuk 14 сен. 2014, в 21:40
0

Что бы сделать его полиморфным, вот что я думал. Спасибо.
jensa 14 сен. 2014, в 21:42
1

Строго говоря, он не обязательно должен быть полиморфным - у вас может быть один класс, например, с виртуальным деструктором, который будет удовлетворять критериям dyamic_cast, но не будет удовлетворять критериям класса полиморфов, поскольку существует только один класс. с определенным поведением (конечно, в данном случае использовать динамическое приведение бессмысленно, но это немного другой вопрос)
Mats Petersson 14 сен. 2014, в 21:49
0

Я вижу, поэтому, по крайней мере, к одному методу (функции-члену или деструктору) должен быть присоединен «виртуальный».
jensa 14 сен. 2014, в 22:00
0

Правильно, некоторая функция-член, включая деструктор или некоторый фиктивный член, должна быть виртуальной (и определенной!), Чтобы объект получил vtable, который затем используется для определения соответствия класса или нет.
Mats Petersson 14 сен. 2014, в 22:02

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

Теги:

c++

2 ответа

Ещё вопросы

Базовый класс должен иметь хотя бы одну виртуальную функцию для работы dynamic_cast
Что бы сделать его полиморфным, вот что я думал. Спасибо.
Строго говоря, он не обязательно должен быть полиморфным - у вас может быть один класс, например, с виртуальным деструктором, который будет удовлетворять критериям dyamic_cast, но не будет удовлетворять критериям класса полиморфов, поскольку существует только один класс. с определенным поведением (конечно, в данном случае использовать динамическое приведение бессмысленно, но это немного другой вопрос)
Я вижу, поэтому, по крайней мере, к одному методу (функции-члену или деструктору) должен быть присоединен «виртуальный».
Правильно, некоторая функция-член, включая деструктор или некоторый фиктивный член, должна быть виртуальной (и определенной!), Чтобы объект получил vtable, который затем используется для определения соответствия класса или нет.

Christophe · Answer 1 · 2014-09-14T20-07-00.000Z

Вы можете использовать dynamic_cast для приведения производного класса к не полиморфному базовому классу. Но вы не можете dynamic_cast не полиморфную базу для производного класса.

Стандарт объясняет (§5.2.7):

(1) Результат выражения dynamic_cast (v) (...)

(5) Если T является "указателем на cv1 B", а v имеет тип "указатель на cv2 D", так что B является базовым классом D, результат является указателем на единственный подобъект B объекта D, на который указывает v,

(6) В противном случае, v должен быть указателем или значением gl полиморфного типа

Полиморфный смысл здесь в очень скромном смысле: "Класс, объявляющий или наследующий виртуальную функцию, называется полиморфным классом". (§10.3/1).

Columbo · Answer 2 · 2014-09-14T19-56-00.000Z

Для Upcasts тип базового класса, который является типом литого выражения, должен быть полиморфным, иначе вы получите ошибку компилятора. Это связано с тем, что dynamic_cast использует RTTI для выполнения приведения и проверяет, успешна она или нет, и RTTI генерируется только для полиморфных типов.

static_cast с другой стороны, не проверяет, действителен ли актер; если это не так, то приведение вызывает неопределенное поведение. static_cast просто добавляет или вычитает смещение от указателя (или внутреннего указателя ссылки). dynamic_cast выполняет проверку типа времени выполнения.