问题 正确定义的union和reinterpret_cast之间有什么区别？

与其他答案所说的相反，来自a 实际的 观点存在巨大差异，虽然标准可能没有这样的差异。

从标准的角度来看， reinterpret_cast 只保证中间指针类型的对齐要求不高于源类型的对齐要求，才能保证只能用于往返转换。你没有权限 ^（*） 读取一个指针并从另一个指针类型读取。

同时，该标准需要来自联合的类似行为，从活动成员（最后写入的成员）之外读取联合成员是未定义的行为。^（+）。

然而编译器经常为union案例提供额外的保证，我所知道的所有编译器（VS，g ++，clang ++，xlC_r，intel，Solaris CC）保证你可以通过一个非活动成员读出一个联合，并且它会产生一个设置与通过活动成员写入的位完全相同的值。

在从网络读取时进行高度优化时，这一点尤为重要：

double ntohdouble(const char *buffer) {          // [1]
   union {
      int64_t   i;
      double    f;
   } data;
   memcpy(&data.i, buffer, sizeof(int64_t));
   data.i = ntohll(data.i);
   return data.f;
}
double ntohdouble(const char *buffer) {          // [2]
   int64_t data;
   double  dbl;
   memcpy(&data, buffer, sizeof(int64_t));
   data = ntohll(data);
   dbl = *reinterpret_cast<double*>(&data);
   return dbl;
}

[1]中的实现是由我所知的所有编译器（gcc，clang，VS，sun，ibm，hp）批准的，而[2]中的实现不是并且将会 失败 当使用积极的优化时，其中一些可怕。特别是，我已经看到gcc重新排序指令和 读 进入 dbl 评估前的变量 再用ntohl从而产生错误的结果。

^（*） 除了你总是被允许 读 从一个 [signed|unsigned] char* 无论真实对象（原始指针类型）是什么。

^（+） 除了一些例外，如果活动成员与另一个成员共享一个公共前缀，您可以通读 兼容 成员的前缀。