通过void cast到基地*

Question

这是不确定的行为？

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。

Answer 1

关于

“在一个合理的实现，只要有单继承，一个基类和派生指针的位将匹配。”

是简单类型，但没有当碱非多态性和衍生引入了一些虚拟构件。

所以，一个转换Derived*到void*，然后直接到Base*是未定义的行为不只是在学术上形式上，而且在实践中。

---

顺带一提，在特殊铸铁dynamic_cast<void*>(p)给你一个指针最派生类对象如果p静态已知类型为指向多态对象。

这对于例如使用像std::unordered_map这样的散列表很有用。

---

而且在传球，可能与你的真正目的™，标准保证一个指向POD类型的第一个成员都可以转换为指针，类型，反之亦然。这是为了支持C模拟继承。

Answer 2

是的，你在做什么事实上调用未定义行为。

---

是从铸造到T*回void*到T*标准的任务是保证安全，后者T*将持有相同的值作为原始T*。

5.29 静态浇铸[expr.static.cast]

_...类型的指针的值，以对象转换为 “指向cv空隙” 和背部，可能具有不同的CV-资格，应具有其原始价值。 `。

上述行为保证T * p = static_cast<T*> (static_cast<void*> (some_T_ptr))将在p使得p == some_p得到的值。

---

在您的例子中，我们从不过铸造void*到与原始T一种类型，但它不是完全相同的T;这意味着操作的结果是未指定的。

编译器是安全的假设，在void*指针（pv）地址原本指向Base因此它不会做任何偏移修改适当调整的事实，我们从Derived*要Base*，而不是Base*至Base*。

编译器可以简单地将pv的值复制到b，因为编译器确实应该调整该值，因为它来自Derived的地址。

Derived * pd = &some_derived; 
void * pv = static_cast<void*> (pd); 
Base * pb = static_cast<Base*> (pv); // unsafe