У производного класса нет дополнительных данных; Безопасно ли статически опускать базовый объект на производный объект?

Question

struct Base { 
    int i, j; 
}; 

struct Derived : Base {}; 

С выше сценарию, если мы следующее:

Base b; 
auto& d = static_cast<Derived&>(b); 
d.i = 1; 

Будет ли это неопределенное поведение?

_{Примечание: По некоторым причинам я не могу редактировать код автоматически созданной библиотеки google protobuf. Следовательно, расширение этих классов на мой пользовательский класс, который предоставляет больше типов API &, но у него нет дополнительного члена данных.}

Answer 1

Да, это неопределенное поведение. Использование static_cast для преобразования из базового класса в производный тип, который не является экземпляром объекта, является неопределенным поведением.

Кроме того, вы нарушаете строгое правило сглаживания путем доступа к объекту через переменный недопустимый типа (не динамический типа, базовый класс динамического типа, char или unsigned char типа, а также несколько других случаев).