Т8
нет, компилятор не даст вылезти из иерархии
Size: a a a
2021 April 27
Т8
какое нарушение?
TK
В общем случае. Ты не учитываешь пользователей твоих классов, значит, или чужих при проектировании своего.
Т8
в смысле? Компилятор всегда знает всю иерархию
TK
Код упадёт, если baseClass не MyClass, и сделает неожиданное в противном случае
Т8
ну так ясен пень, что без проверки ты рискуешь, если не знаешь точно, какой там тип
TK
Получил ты void*. Вопрос: куда его легально даункастнуть, если это вся доступная о нём информация?
TK
Даункасты иногда неизбежны, но их желательно избегать
B
статик каст к типу, потом динамик касть хоть сколько хочешь
TK
К какому типу?
Т8
если вся, то никуда. Но обычно таки есть намёки, чем это может являться
TK
И намёки часто не являются полной информацией, а только кажутся
B
к базовому, но если он не известен, то кастить его во что-либо — UB
Т8
ну вот в иерархии наследования у тебя полная информация
TK
Она дополняется с написанием кода
Т8
это не помешает определить, правильный ли тип ты пытаешься подобрать
TK
Представь полиморфизм на даункастах (псевдокодом)
if base is A ...
else if base is B ...
...
else if base is H ...
else throw Exception
if base is A ...
else if base is B ...
...
else if base is H ...
else throw Exception
TK
И везде даункасты
TK
Противно? Да. Сломается ли код при добавлении I? Сломается.
Т8
ну да. И что?