使用static_cast(或reinterpret_cast)进行无效向下转换的安全性,无需添加成员即可继承

Question

我想知道标准对以下代码的安全性的说法:

class A { int v; };
class B: public A { }; // no added data member

A a;
B& b = static_cast<B&>(a);

显然的运行时类型a是A,不是B,所以剧组是不是真的类型安全的.但是,由于没有添加任何成员而且没有任何内容是虚拟的,IMO的类的内存布局应该是相同的,这应该可行(可能写入更好reinterpret_cast以表明这种行为？).我的猜测是这是UB,但适用于任何编译器.或者这实际上定义得很好？还是比较危险？

此外,如果B有一些额外的非虚拟成员方法会有什么变化吗？再一次,直觉上我会说不,但我想知道标准对此有何看法.

Answer 1

它是未定义的行为,无论是否有虚函数.标准清楚地说明了

如果"指向cv1 B的指针"类型的prvalue指向实际上是D类型对象的子对象的B,则结果指针指向类型D的封闭对象.否则,转换的结果是未定义的.