std::has_unique_object_representations
来自cppreference.com
在标头 <type_traits> 定义 | ||
template<class T > struct has_unique_object_representations; | (C++17 起) | |
std::has_unique_object_representations 是一元类型特征(UnaryTypeTrait) 。
如果 T可平凡复制，并且如果任意两个拥有相同值的 T 类型对象都拥有相同的对象表示，那么提供的成员常量 value 等于 true。对于其它类型，value 等于 false。
使用此特征时，如果两个数组的各元素都拥有相同值，那么它们就拥有相同值，如果两个非联合体类的各直接子对象都拥有相同值，那么它们就拥有相同值，而如果两个联合体拥有相同的活跃成员，且该成员值相同，那么它们拥有相同值。
标量类型是否满足此特性是实现定义的，但保证不使用填充位的无符号(C++20 前)整数类型拥有唯一对象表示。
如果 std::remove_all_extents_t<T> 是除了（可有 cv 限定的）void 以外的不完整类型，那么行为未定义。
如果程序添加了 std::has_unique_object_representations 或 std::has_unique_object_representations_v 的特化，那么行为未定义。
目录 |
[编辑]模板形参
| T | - | 要检查的类型 |
[编辑]辅助变量模板
template<class T > constexprbool has_unique_object_representations_v = | (C++17 起) | |
继承自 std::integral_constant
成员常量
value [静态] | 如果 T 拥有唯一对象表示那么是 true，否则是 false(公开静态成员常量) |
成员函数
operator bool | 将对象转换到 bool，返回 value (公开成员函数) |
operator() (C++14) | 返回 value (公开成员函数) |
成员类型
| 类型 | 定义 |
value_type | bool |
type | std::integral_constant<bool, value> |
[编辑]注解
引入此特征是为了能够确定是否能通过把一个类型的对象表示作为字节数组进行散列，正确地散列该类型。
| 功能特性测试宏 | 值 | 标准 | 功能特性 |
|---|---|---|---|
__cpp_lib_has_unique_object_representations | 201606L | (C++17) | std::has_unique_object_representations |
[编辑]示例
运行此代码
#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 float 成立，因为值 NaN 由多个对象表示。 static_assert(!std::has_unique_object_representations_v<float>); // 任何正常实现中都应当成立，因为 unpadded 通常不会被填充，且 std::uint32_t 不包含填充位。 static_assert(std::has_unique_object_representations_v<unpadded>);// 大多数实现中都会失败，因为为了把 st 对齐到 16 位，会在数据成员 c 和 st 之间插入填充位。 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++ 标准。
| 缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
|---|---|---|---|
| LWG 4113 | C++17 | T 可以是元素类型不完整的未知边界数组类型 | 要求元素类型完整 |
[编辑]参阅
(C++11) | 检查类型是否为标准布局类型 (类模板) |
(C++11) | 散列函数对象 (类模板) |
