C++ 具名要求：一元类型特征 (UnaryTypeTrait)

< cpp‎ | named req
 
C++
 
C++ 具名要求
基础
类型属性
库所属
容器
容器元素
迭代器
流 I/O
随机数
并发
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++17)
(C++14)
其他
UnaryTypeTrait
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
 

一元类型特征 (UnaryTypeTrait) 是类模板，以一个 integral_constant （常为 bool_constant ）特化描述其模板类型形参的属性。

要求

标准库

下列类型特征全都满足一元类型特征 (UnaryTypeTrait) ：

  • 基础类型类别
  • 合成类型类别
  • 类型属性
  • 受支持操作
  • 属性查询


下列标准库类模板亦满足一元类型特征 (UnaryTypeTrait) ：

(C++17)
 逻辑非元函数
(类模板)
在编译时获得 tuple 的大小
(类模板特化)
获得 array 的大小
(类模板特化)
(C++11)
 获得 pair 的大小
(类模板特化)
(C++17)
 在编译时获得 variant 可选项列表的大小
(类模板) (变量模板)
(C++11)
 指示对象为 std::bind 表达式，或能被用作这种表达式
(类模板)
(C++11)
 表明一个对象是标准占位符，或者可以用作标准占位符
(类模板)
(C++17)
 测试一个类是否表示某种执行策略
(类模板)