C++20标准引入的bit_cast是一种类型安全的位转换工具，能够将源类型的二进制位表示完整复制到目标类型，且不会产生未定义行为，解决了传统位转换方式的安全隐患。
bit_cast的基本特性
bit_cast定义在<bit>头文件中，它的核心作用是实现两个类型之间的位模式拷贝，要求源类型和目标类型满足以下条件：
- 目标类型必须是可平凡复制类型（TriviallyCopyable）
- 源类型和目标类型的 size 必须相等
- 转换过程不会触发任何构造函数或转换函数调用
基础使用示例
最典型的场景是将浮点数的位表示转换为整数，或者反之，以下是完整的示例代码：
#include <bit>
#include <iostream>
#include <cstdint>
int main() {
// 将float的位模式转换为uint32_t
float f = 3.14f;
uint32_t int_val = std::bit_cast<uint32_t>(f);
std::cout << "float值: " << f << " 对应的位表示整数: " << int_val << std::endl;
// 将uint32_t的位模式转换回float
uint32_t original_int = int_val;
float recovered_f = std::bit_cast<float>(original_int);
std::cout << "整数位表示转换回的float值: " << recovered_f << std::endl;
return 0;
}
上述代码中，std::bit_cast<uint32_t>(f)直接将float类型的f的32位二进制内容复制到uint32_t类型的变量中，没有做任何数值转换，仅拷贝位模式。
自定义可平凡复制类型的转换
对于自定义的满足可平凡复制要求的类型，也可以使用bit_cast进行转换，示例如下：
#include <bit>
#include <iostream>
#include <cstdint>
// 自定义可平凡复制结构体
struct Point {
int x;
int y;
};
// 与Point大小相同的自定义类型
struct PointData {
int32_t data[2];
};
int main() {
Point p = {10, 20};
// 将Point的位模式转换为PointData
PointData pd = std::bit_cast<PointData>(p);
std::cout << "转换后的数据: " << pd.data[0] << ", " << pd.data[1] << std::endl;
// 转回Point类型
Point recovered_p = std::bit_cast<Point>(pd);
std::cout << "转回的Point: (" << recovered_p.x << ", " << recovered_p.y << ")" << std::endl;
return 0;
}
与传统转换方式的对比
在C++20之前，开发者常使用memcpy或者 reinterpret_cast 配合引用/指针来实现位转换，这些方式存在风险：
| 转换方式 | 安全性 | 限制 |
|---|---|---|
| reinterpret_cast | 低，可能产生未定义行为 | 违反严格别名规则时行为未定义 |
| memcpy | 中，需要手动保证类型大小匹配 | 代码冗余，容易写错大小参数 |
| bit_cast | 高，编译期检查类型和大小 | 仅支持C++20及以上标准 |
注意事项
使用bit_cast时需要注意以下几点：
- 必须包含<bit>头文件才能使用
bit_cast - 如果源类型和目标类型大小不同，编译会直接报错，无需运行时检查
- 不要用于非可平凡复制类型，否则会导致未定义行为
- 转换后的位模式是否符合目标类型的有效表示，需要开发者自行保证，比如将随机整数转换为float可能得到NaN值
bit_cast是编译期常量表达式友好的，如果传入的参数是编译期常量，转换结果也可以在编译期计算，适合用于常量定义的场景。