c – 使用static_cast(或reinterpret_cast)进行无效向下转换的安全性,无需添加成员即可继承
作者:互联网
我想知道标准对以下代码的安全性的说法:
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有一些额外的非虚拟成员方法,会有什么变化吗?再一次,直觉上我会说不,但我想知道标准对此有何看法.
解决方法:
它是未定义的行为,无论是否有虚函数.标准清楚地说明了
If the prvalue of type “pointer to cv1 B” points to a B that is
actually a subobject of an object of type D, the resulting pointer
points to the enclosing object of type D. Otherwise, the result of the
cast is undefined.
标签:reinterpret-cast,downcast,static-cast,c,casting 来源: https://codeday.me/bug/20190831/1773211.html