std:: has_unique_object_representations

std::has_unique_object_representations 是一个 UnaryTypeTrait 。

如果 T 是 可平凡复制 类型，且任意两个相同值的 T 类型对象都具有相同的 对象表示 ，则提供等于 true 的成员常量 value 。对于其他类型， value 为 false 。

就本特性而言，若两个数组的元素具有相同值，则它们具有相同值；若两个非联合类的直接子对象具有相同值，则它们具有相同值；若两个联合具有相同活跃成员且该成员的值相同，则它们具有相同值。

这是实现定义哪些标量类型满足此特性的，但 无符号 (until C++20) 整数类型保证不使用填充位，从而确保具有唯一的对象表示形式。

如果 std:: remove_all_extents_t < T > 是不完整类型（除了可能带有 cv 限定符的 void 之外），则行为未定义。

如果程序为 std::has_unique_object_representations 或 std::has_unique_object_representations_v 添加特化，则行为未定义。

模板参数

辅助变量模板

注释

此特性的引入是为了能够判断一个类型是否可以通过将其对象表示作为字节数组进行哈希来正确计算哈希值。

示例

#include <cstdint>
#include <type_traits>
struct unpadded
{
    std::uint32_t a, b;
};
struct likely_padded
{
    std::uint8_t c;
    std::uint16_t st;
    std::uint32_t i;
};
int main()
{
    // 每个 char 值都恰好对应一个对象表示形式
    static_assert(std::has_unique_object_representations_v<char>);
    // 对于 IEC 559 浮点数，断言通过是因为 NaN 值具有
    // 多个对象表示形式
    static_assert(!std::has_unique_object_representations_v<float>);
    // 在任何合理的实现中都应该成功，因为 unpadded 结构体
    // 通常不会填充，且 std::uint32_t 不包含填充位
    static_assert(std::has_unique_object_representations_v<unpadded>);
    // 在大多数实现中会失败，因为会在数据成员 c 和 st 之间
    // 插入填充位以将 st 对齐到 16 位边界
    static_assert(!std::has_unique_object_representations_v<likely_padded>);
    // 显著的架构差异：
    static_assert(std::has_unique_object_representations_v<bool>);  // x86
 // static_assert(!std::has_unique_object_representations_v<bool>); // ARM
}

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的C++标准。

参见