其他分享
首页 > 其他分享> > c – 使用static_cast(或reinterpret_cast)进行无效向下转换的安全性,无需添加成员即可继承

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