std::has_unique_object_representations 是C++17引入的类型特征，用于判断类型是否每个对象表示都唯一对应一个值，即无填充位、陷阱位或多重表示；它决定能否安全使用 memcmp 进行位比较。
std::has_unique_object_representations 是什么
它是个类型特征（type trait），用来判断某个类型的所有可能对象表示（object representation）是否都对应唯一值——换句话说，有没有“填充位”（padding bits）、“陷阱位”（trap bits）或多个二进制模式能表示同一个逻辑值。比如 bool 就不满足：0x00 和 0x01 是合法值，但 0xFF 在某些平台可能是未定义行为；而 int 通常满足，因为它的每个比特组合都映射到一个确定的整数值（无填充、无陷阱）。
它和“能否安全做 memcmp”强相关：只有 std::has_unique_object_representations_v<t></t> 为 true，你才敢用 std::memcmp 或逐字节比较来判断两个 T 对象是否相等。
怎么查一个类型是否满足这个条件
直接用 std::has_unique_object_representations_v 静态断言或 if constexpr：
static_assert(std::has_unique_object_representations_v<int>, "int must be bitwise comparable"); static_assert(!std::has_unique_object_representations_v<bool>, "bool has padding/trap bits");
常见情况：
立即学习“C++免费学习笔记（深入）”；
-
int、char、float（IEEE 754 单精度且平台不支持 NaN 传播时可能不满足，但标准库通常视为满足） -
struct { int x; char y; }—— 很可能 不满足，因为编译器会在y后加填充字节，这些填充位的值不确定 -
std::array<int></int>满足；std::vector<int></int>不满足（指针+size+capacity 的布局含填充，且指针值本身不可比）
为什么不能直接 memcmp 所有类型
位比较失败的典型现象：
- 结构体比较返回 false，即使所有字段逻辑相等（填充位随机）
- 程序触发未定义行为（UB），比如对
bool或enum class的未初始化填充位调用memcmp - 跨平台结果不一致（不同 ABI 填充位置/大小不同）
根本原因：C++ 标准只保证“活跃子对象”的值，不保证整个对象表示中每个字节都可预测。即使你用 std::memset(&x, 0, sizeof(x)) 初始化，也不能消除所有陷阱位风险（如某些 float 位模式是 NaN 的变体）。
所以，别写这种代码：
// ❌ 危险！未检查类型约束
bool equal(const T& a, const T& b) {
return std::memcmp(&a, &b, sizeof(T)) == 0;
}
想安全做位比较，该怎么做
分三步走：
- 先确认类型满足：
static_assert(std::has_unique_object_representations_v<t>)</t>或运行时 fallback 到逐字段比较 - 确保对象已正确初始化（避免未定义填充位值）；对 POD 类型可用
std::memset归零，但对非 POD（如含虚函数的类）无效 - 用
std::memcmp或std::equal配合reinterpret_cast<const unsigned char></const>
示例（仅限 trivial + unique object representations 类型）：
template<typename T>
bool bitwise_equal(const T& a, const T& b) {
if constexpr (std::has_unique_object_representations_v<T> &&
std::is_trivial_v<T>) {
return std::memcmp(&a, &b, sizeof(T)) == 0;
} else {
return a == b; // fallback to operator==
}
}
注意：std::is_trivial_v 要一起检查，否则 memcpy 可能跳过构造/析构逻辑，导致资源泄漏或崩溃。
最常被忽略的一点：这个 trait 在 C++17 引入，但 MSVC 2017 默认不启用完整 C++17 模式，需加 /std:c++17；Clang/GCC 一般没问题。如果编译不过，先查编译器标准模式。
