为什么在这里使用 static_cast 而不是 reinterpret_cast 很重要？

回复 Raymond Chen 博文,

有提问者指出

Raymond，我相信 C++ 示例是不正确的，因为这个位置 派生类中的基类子对象的属性未指定 根据 ISO C++ 2003 标准（10-3，第 168 页），并且您假设 基类子对象始终位于开头。 C example 在 C++ 中也很好，所以我会坚持使用它。

雷蒙德回复了

[代码没有做出这个假设。这就是为什么重要的是 使用 static_cast 而不是 reinterpret_cast。尝试一下：添加虚拟 方法重叠（因此 vtable 位于前面）并观察 编译器确实如此。 -雷蒙德]

看了他的评论我就猜到了。在示例中使用 static_cast 没问题，但reinterpret_cast 则不行。因为reinterpret_cast不是转换vtable。我的理解正确吗？
不过，如果我在那里使用 C 风格的强制转换（而不是reinterpret_cast），它也会出错吗？

我重新阅读了 More effective C++ 的强制转换解释来理解这一点。但对此没有任何答复。

在示例中使用 static_cast 没问题，但reinterpret_cast 则不行。因为reinterpret_cast不是转换vtable。

No, the problem is that the reinterpret_cast is completely oblivious about the inheritance. It will simply return the same address unchanged¹. But static_cast knows that you're performing a downcast: i.e. casting from a base class to a derived class. Since it knows both types involved it adjusts the address accordingly, i.e., does the right thing.

Let's pretend我们的实施提出了假设OVERLAPPEDEX具有如下虚函数的类：

+------+------------+------------------+-------------+
| vptr | OVERLAPPED | AssociatedClient | ClientState |
+------+------------+------------------+-------------+
       ^
       |
      ptr

我们得到的指针指向OVERLAPPED子对象。reinterpret_cast不会改变这一点。它只会改变类型。显然，访问OVERLAPPEDEX通过这个地址调用类很容易造成严重破坏，因为它的子对象的位置现在都错了！

       what we believe we have when we access OVERLAPPEDEX through the pointer
       +------+------------+------------------+-------------+
       | vptr | OVERLAPPED | AssociatedClient | ClientState |
+------+------+-----+------+-----------+------+------+------+
| vptr | OVERLAPPED | AssociatedClient | ClientState | <- what we actually have
+------+------------+------------------+-------------+
       ^
       |
      ptr

static_cast knows来转换一个OVERLAPPED* to OVERLAPPEDEX*它必须调整地址，并做正确的事情：

 +------+------------+------------------+-------------+
 | vptr | OVERLAPPED | AssociatedClient | ClientState |
 +------+------------+------------------+-------------+
 ^
 |
ptr after static_cast

不过，如果我在那里使用 C 风格的强制转换（而不是reinterpret_cast），它也会出错吗？

C 风格强制转换被定义为以下第一个成功的转换：

1. const_cast
2. static_cast
3. static_cast, then const_cast
4. reinterpret_cast
5. reinterpret_cast, then const_cast

如您所见，一个static_cast之前尝试过reinterpret_cast，所以在这种情况下，C 风格的强制转换也会做正确的事情。

更多信息

¹_{Not guaranteed. There are very little guarantees about what happens on a reinterpret_cast. All implementations I know of will simply give out the same address unchanged.}