对int64_t执行reinterpret_cast是否违反严格别名规则？

我正尝试编写支持所有整数类型（含带符号类型）的通用版__builtin_clz。为确保带符号转无符号类型时不改变位表示，我选择使用reinterpret_cast。但处理int64_t时遇到问题，以下代码我认为正确，但GCC会生成警告，而Clang编译无任何报错：

#include <cstdint>

int countLeadingZeros(const std::int64_t value)
{
    static_assert(sizeof(std::int64_t) == sizeof(unsigned long long));
    return __builtin_clzll(reinterpret_cast<const unsigned long long&>(value));
}

GCC警告信息：

dereferencing type-punned pointer will break strict-aliasing rules

请问：

• 哪个编译器的处理正确？
• 若为GCC，违反严格别名规则的原因是什么？

编辑：后续发现该问题不仅存在于int64_t转unsigned long long，long转long long时也会出现，后者更凸显问题本质。

问题解答 #

1. 编译器正确性判断 #

GCC的处理符合C++标准，Clang只是未针对该场景发出警告，但不代表代码符合标准要求。

2. 违反严格别名规则的原因 #

C++严格别名规则核心要求：不同类型的指针/引用不能互相别名访问，仅特定例外情况允许。例外场景包括：

• 带符号类型与其对应的无符号类型（比如int和unsigned int）
• 字符类型（char/unsigned char/signed char）可以别名任何类型

你的代码中，std::int64_t和unsigned long long属于不同类型，即便二者内存大小相同，也不在上述例外范围内。比如：

• 若std::int64_t是long的typedef，那long和unsigned long long完全是不相关的类型；
• 即便std::int64_t是long long的typedef，用unsigned long long&去引用long long对象，本质是用非对应无符号类型的引用访问原对象，仍违反规则。

GCC的优化器依赖严格别名规则做代码优化，这种写法会触发未定义行为，所以编译器发出警告。

合规的替代写法 #

推荐两种符合标准的位转换方式：

• C++20及以上：使用std::bit_cast：标准提供的类型安全位转换，完全遵循规则：

  #include <cstdint>
  #include <bit>
  
  int countLeadingZeros(const std::int64_t value)
  {
      return __builtin_clzll(std::bit_cast<unsigned long long>(value));
  }
  

• 兼容C++11及更早：用std::memcpy中转：利用字符类型可别名任意类型的规则间接转换：

  #include <cstdint>
  #include <cstring>
  
  int countLeadingZeros(const std::int64_t value)
  {
      unsigned long long tmp;
      static_assert(sizeof(value) == sizeof(tmp));
      std::memcpy(&tmp, &value, sizeof(tmp));
      return __builtin_clzll(tmp);
  }
  

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