c – 通过空隙*铸造到基地

发布时间：2020-12-16 10:25:57 所属栏目：百科来源：网络整理

导读：这是未定义的行为吗？ class Derived: public Base //No other bases!!!{//...};Derived d;void *pv = d;Base *b = static_castBase*(pv);b-SomeMethod(); 在一个明智的实现中,只要有单继承,Base和Derived指针的位就会匹配.但语言能保证吗？编辑：Real Purp

这是未定义的行为吗？

class Derived: public Base //No other bases!!!
{
//...
};

Derived d;
void *pv = &d;
Base *b = static_cast<Base*>(pv);
b->SomeMethod();

在一个明智的实现中,只要有单继承,Base和Derived指针的位就会匹配.但语言能保证吗？

编辑：Real Purpose?是通过C层将指向多态C对象的指针传递回C回调.该对象创建为Derived,但在所述回调中作为Base使用.完整的故事是here.

解决方法

关于

“In a sensible implementation,as long as there’s single inheritance,the bits of a Base and Derived pointer would match.”

对于简单类型是,但是当base是非多态的并且派生引入了一些虚拟成员时没有.

因此,转换Derived * to void *然后直接转换为Base *是Undefined Behavior,不仅仅是迂腐地正式,而且在实践中.

传递中,如果静态已知类型的p是指向多态对象的指针,则特殊强制转换dynamic_cast< void *>(p)会为您提供指向最派生对象的指针.

例如,这对于使用std :: unordered_map等散列表非常有用.

同样在传递中,可能与您的Real Purpose?相关,该标准保证指向POD类型的第一个成员的指针可以转换为指向该类型的指针,反之亦然.这是为了支持模拟继承的C方式.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!