Почему здесь segfault?

вы написали код так, что у вас вместо upcast ( conv.ptr#3) получается простое преобразование void* в указатель на объект (expr.static.cast#13). само по себе это ничем не чревато, но вместо адреса родительского подобъекта вы получите адрес исходного объекта, и это если выравнивание совпадет. а если не совпадет, то вы вообще неизвестно что получите дальше вы вызываете метод через получившийся указатель (и тут я удивительным образом не нахожу в стандарте, почему с полиморфными классами так делать нельзя), а дальше в какой-то момент нарушается strict aliasing rule (basic.lval#11), потому что this будет не того типа если выравнивание не совпало, то UB уже на самом факте вызова (class.mfct.non-static#2)

0

05.01.2021

Vlad

Alexander Karaev
да я сам не знаю, по какой конкретно формулировке ...

полтора часа пытался найти, почему upcast указателей на полиморфные объекты путем reinterpret_cast'а это плохо, ну или хотя бы почему плохо вызывать виртуальные методы через результат такого преобразования, но в итоге пришлось через strict aliasing идти (предыдущее сообщение)

0

05.01.2021

ㅤ Автор вопроса

Vlad
вы написали код так, что у вас вместо upcast ( con...

спасибо за труд

0

05.01.2021

Alexander Karaev

Vlad
вы написали код так, что у вас вместо upcast ( con...

Спасибо, интересно

0

05.01.2021