如何安全打破严格别名规则？改写无reinterpret_cast UB的示例

现有一段示例代码被证实会打破严格别名规则，开启和关闭编译器优化时输出结果不同，代码如下：

int foo( float *f, int *i ) { 
    *i = 1;               
    *f = 0.f;            
   
   return *i;
}

int main() {
    int x = 0;
    
    std::cout << x << "\n";   // 预期输出0
    x = foo(reinterpret_cast<float*>(&x), &x);
    std::cout << x << "\n";   // 预期输出0？
}

但这段代码中通过reinterpret_cast获取不同类型指针访问对象的操作属于未定义行为（UB）。特此请教：

1. 如何修改该示例，使其仍能打破严格别名规则，且不会因reinterpret_cast产生未定义行为？
2. 如何安全打破严格别名规则？

一、修改示例：用Union替代reinterpret_cast #

C++标准允许通过union的成员访问同一块内存（只要操作符合标准对union的使用要求），这种方式不属于未定义行为，同时能复现严格别名规则导致的优化差异。修改后的代码如下：

#include <iostream>

union IntFloat {
    int i;
    float f;
};

int foo(IntFloat *uf) { 
    uf->i = 1;               
    uf->f = 0.f;            
   
   return uf->i;
}

int main() {
    IntFloat x;
    x.i = 0;
    
    std::cout << x.i << "\n";   // 输出0
    x.i = foo(&x);
    std::cout << x.i << "\n";   // 开启优化（如-O2）时可能输出1，关闭优化时输出0
}

这段代码中，编译器开启优化时会基于严格别名规则，认为uf->i和uf->f指向不同对象，因此可能将return uf->i直接优化为返回1；关闭优化时则会读取内存实际值得到0，完美复现了原示例的优化差异，且无未定义行为。

二、安全打破严格别名规则的方法 #

严格别名规则是编译器优化的重要依据，但在底层内存操作、序列化等场景中常需打破它，以下是几种标准允许的安全方式：

• 使用char/unsigned char/std::byte指针：C++标准明确允许这类指针访问任何对象的内存，用于字节级操作不会触发未定义行为。比如std::memcpy就是基于此实现的，是跨类型内存操作的推荐方式：

  float src = 0.f;
  int dst;
  std::memcpy(&dst, &src, sizeof(dst)); // 安全合规
  

• 使用Union类型：如前面的示例，通过union的不同成员访问同一块内存是标准允许的（注意：C++11及以后要求读取的成员需是最后写入的，或类型为标准布局且有共同初始序列，实际使用中需遵循此规则）。
• 编译器扩展属性：部分编译器提供扩展标记允许指针别名，比如GCC/Clang的__attribute__((may_alias))，可以让编译器放弃对该指针的严格别名优化，但这是平台相关的扩展，不具备跨平台性：

  int foo(__attribute__((may_alias)) float *f, int *i) { 
      *i = 1;               
      *f = 0.f;            
      return *i;
  }
  

• 优先使用std::memcpy：如果只是需要在不同类型间转换内存内容，std::memcpy是最安全、最具可移植性的方式，完全符合标准，不会触发严格别名问题。

内容的提问来源于stack exchange，提问作者wimalopaan