C++中如何在编译期上下文将值重新解释为字节？

在constexpr函数中，确实不能通过reinterpret_cast进行指针类型双关，这会违反严格别名规则且不符合constexpr求值的限制。以下是几种标准合规的解决方案：

方案1：使用std::bit_cast（C++20及以上） #

std::bit_cast是C++20引入的标准工具，专门用于在平凡可复制类型之间进行按位转换，完美适配constexpr上下文，完全规避严格别名问题。

示例代码：

#include <bit>
#include <array>

template <typename T>
constexpr size_t hash(const T& value) {
    static_assert(std::is_trivially_copyable_v<T>, "Type must be trivially copyable");
    const auto bytes = std::bit_cast<std::array<unsigned char, sizeof(T)>>(value);
    
    size_t hash = 0;
    for (unsigned char b : bytes) {
        hash ^= b;
    }
    return hash;
}

添加static_assert是为了确保传入的类型满足std::bit_cast的要求（平凡可复制），避免运行期错误。

方案2：使用constexpr std::memcpy（C++20及以上） #

C++20将std::memcpy纳入constexpr支持范围，我们可以将目标值的字节复制到一个字节数组中，再进行哈希计算：

示例代码：

#include <cstring>
#include <array>

template <typename T>
constexpr size_t hash(const T& value) {
    static_assert(std::is_trivially_copyable_v<T>, "Type must be trivially copyable");
    std::array<unsigned char, sizeof(T)> bytes{};
    std::memcpy(bytes.data(), &value, sizeof(T));
    
    size_t hash = 0;
    for (unsigned char b : bytes) {
        hash ^= b;
    }
    return hash;
}

这种方法的本质和std::bit_cast类似，都是基于字节复制实现按位转换，同样符合标准。

方案3：C++17及更早版本的兼容方案 #

对于C++17及更早版本，由于std::bit_cast和constexprmemcpy都不可用，需要分类型处理：

整数类型 #

可以通过位移和掩码操作手动提取每个字节，这种方法完全在constexpr中合法：

#include <type_traits>

template <typename T>
constexpr std::enable_if_t<std::is_integral_v<T>, size_t> hash(const T& value) {
    size_t hash = 0;
    for (size_t i = 0; i < sizeof(T); ++i) {
        unsigned char b = static_cast<unsigned char>((value >> (i * 8)) & 0xFF);
        hash ^= b;
    }
    return hash;
}

浮点类型 #

C++17及更早版本中，没有标准合规的constexpr方法将浮点类型按位转换为字节。此时若必须实现，只能依赖编译器扩展（如GCC的__builtin_memcpy），但这会丧失跨平台兼容性，不推荐使用。

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