std::bit_cast仅接受平凡可复制类型的左值引用，不支持指针或容器；必须确保大小相等、类型平凡可复制、内存对齐，否则编译失败或运行时崩溃。
std::bit_cast 只接受值，不接受指针或缓冲区
直接传 char*、std::vector<:byte></:byte> 或 buf.data() 会编译失败，因为 std::bit_cast 的签名是 template<class to class from> constexpr To bit_cast(const From& from)</class> —— 它只收一个平凡可复制（trivially copyable）类型的左值引用，不是地址，也不是运行时长度的容器。
常见错误现象：no matching function for call to 'bit_cast'，或推导出 From = std::vector<:byte></:byte>，但该类型含析构函数，不满足 std::is_trivially_copyable_v。
- ❌ 错误：
std::bit_cast<float>(buf.data())</float>（传指针） - ❌ 错误：
std::bit_cast<float>(buf)</float>（传 vector） - ✅ 正确：先用
std::memcpy把字节复制到栈上对齐的std::array<:byte></:byte>，再传这个数组对象
必须显式保证大小相等与平凡可复制
std::bit_cast 在编译期强制检查 sizeof(From) == sizeof(To) 和 std::is_trivially_copyable_v，缺一不可。这不是可选建议，而是硬性门槛；绕过它等于放弃安全前提。
典型安全组合只有 float ↔ uint32_t 和 double ↔ uint64_t —— 它们在所有主流平台都严格满足：4/8 字节、无 padding、无虚函数、无非 POD 成员。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 必须写：
static_assert(sizeof(float) == sizeof(uint32_t)); - 必须写：
static_assert(std::is_trivially_copyable_v<float> && std::is_trivially_copyable_v<uint32_t>);</uint32_t></float> - 禁用：
int、long、std::array<char></char>（char 有符号性歧义）、含std::string或虚函数的 struct
未对齐内存会导致 SIGBUS，尤其在 ARM64 上
std::bit_cast 不做对齐检查。如果源对象本身未按目标类型对齐（例如从 char buf[1024] 偏移 1 字节处读 uint32_t），即使 memcpy 过去了，调用 std::bit_cast 后解引用仍可能触发 SIGBUS。
正确做法是让临时存储区显式对齐：
- 用
alignas(4) std::array<:byte> temp;</:byte>而不是char temp[4]; - 复制时确保偏移对齐：
std::memcpy(temp.data(), &buf[offset], 4);前验证offset % 4 == 0，否则先 memcpy 到对齐缓冲区 - 结构体转换前加
static_assert(std::is_standard_layout_v<t>)</t>，并考虑[[gnu::packed]]消除填充
C++17 及以下可用 memcpy 手写等效实现
若项目暂不能升级到 C++20，可用带 static_assert 和内联提示的 memcpy 模板替代，语义等价且编译器通常优化为零开销 mov：
template<class To, class From>
constexpr To bit_cast(const From& src) noexcept {
static_assert(sizeof(To) == sizeof(From));
static_assert(std::is_trivially_copyable_v<From> && std::is_trivially_copyable_v<To>);
To dst;
std::memcpy(&dst, &src, sizeof(To));
return dst;
}
注意：GCC/Clang 加 [[gnu::always_inline]]，MSVC 加 __forceinline，否则 debug 模式可能保留 memcpy 调用。
真正容易被忽略的点是：这个手写版本仍不解决对齐问题——你仍得确保 src 对象本身已对齐，否则 memcpy 源地址非法，运行时崩在 ARM64 上。
