标准库标头 <type_traits>

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

标准库标头

注：修订记号中的反斜杠 '/' 意味着此标头被弃用和/或被移除。

语言支持
<cstddef> <cstdlib> <version> (C++20) <limits> <climits>	<cfloat> <cstdint> (C++11) <stdfloat> (C++23) <new> <typeinfo>	<source_location> (C++20) <exception> <initializer_list> (C++11) <compare> (C++20)	<coroutine> (C++20) <csignal> <csetjmp> <cstdarg>
概念
<concepts> (C++20)
诊断
<stdexcept> <stacktrace> (C++23)	<cassert>	<cerrno>	<system_error> (C++11)
内存管理
<memory>	<memory_resource> (C++17)	<scoped_allocator> (C++11)
元编程
<type_traits> (C++11)	<ratio> (C++11)
通用工具
<utility> <tuple> (C++11) <optional> (C++17) <variant> (C++17)	<any> (C++17) <expected> (C++23) <bitset>	<functional> <typeindex> (C++11) <execution> (C++17)	<charconv> (C++17) <format> (C++20) <bit> (C++20)
字符串
<string_view> (C++17) <string>	<cctype> <cwctype>	<cstring> <cwchar>	<cuchar> (C++11)
容器
<array> (C++11) <deque> <forward_list> (C++11) <list>	<vector> <map> <set> <unordered_map> (C++11)	<unordered_set> (C++11) <queue> <stack> <flat_map> (C++23)	<flat_set> (C++23) <span> (C++20) <mdspan> (C++23)
迭代器
<iterator>
范围
<ranges> (C++20)	<generator> (C++23)
算法
<algorithm>	<execution>
数值
<cfenv> (C++11) <complex>	<random> (C++11) <valarray>	<cmath>	<numbers> (C++20)
日期时间
<chrono> (C++11)	<ctime>
本地化
<locale>	<clocale>	<codecvt> (C++11/17)
输入/输出
<iosfwd> <iostream> <ios> <streambuf>	<istream> <ostream> <iomanip> <print> (C++23)	<sstream> <spanstream> (C++23) <fstream> <syncstream> (C++20)	<filesystem> (C++17) <cstdio> <cinttypes> (C++11) <strstream> (C++98/)
正则表达式
<regex>
并发支持
<stop_token> (C++20) <thread> (C++11) <atomic> (C++11)	<stdatomic.h> (C++23) <mutex> (C++11) <shared_mutex> (C++14)	<condition_variable> (C++11)   <semaphore> (C++20) <latch> (C++20)	<barrier> (C++20) <future> (C++11)
C 兼容
<cstdbool> (C++11/17/20)   <ccomplex> (C++11/17/20)	<ctgmath> (C++11/17/20)	<cstdalign> (C++11/17/20)	<ciso646> (C++20 前)

 

此标头是元编程库的一部分。

类
辅助类
integral_constantbool_constant (C++11)(C++17)	具有指定值的指定类型的编译期常量 (类模板)
true_type	std::integral_constant<bool, true>
false_type	std::integral_constant<bool, false>
基础类型分类
is_void (C++11)	检查类型是否为 void (类模板)
is_null_pointer (C++14)	检查类型是否为 std::nullptr_t (类模板)
is_integral (C++11)	检查类型是否为整数类型 (类模板)
is_floating_point (C++11)	检查类型是否是浮点类型 (类模板)
is_array (C++11)	检查类型是否是数组类型 (类模板)
is_enum (C++11)	检查类型是否是枚举类型 (类模板)
is_union (C++11)	检查类型是否为联合体类型 (类模板)
is_class (C++11)	检查类型是否非联合类类型 (类模板)
is_function (C++11)	检查是否为函数类型 (类模板)
is_pointer (C++11)	检查类型是否为指针类型 (类模板)
is_lvalue_reference (C++11)	检查类型是否为左值引用 (类模板)
is_rvalue_reference (C++11)	检查类型是否为右值引用 (类模板)
is_member_object_pointer (C++11)	检查类型是否为指向非静态成员对象的指针 (类模板)
is_member_function_pointer (C++11)	检查类型是否为指向非静态成员函数的指针 (类模板)
复合类型分类
is_fundamental (C++11)	检查是否是基础类型 (类模板)
is_arithmetic (C++11)	检查类型是否为算术类型 (类模板)
is_scalar (C++11)	检查类型是否为标量类型 (类模板)
is_object (C++11)	检查是否是对象类型 (类模板)
is_compound (C++11)	检查是否为复合类型 (类模板)
is_reference (C++11)	检查类型是否为左值引用或右值引用 (类模板)
is_member_pointer (C++11)	检查类型是否为指向非静态成员函数或对象的指针类型 (类模板)
类型的性质
is_const (C++11)	检查类型是否为 const 限定 (类模板)
is_volatile (C++11)	检查类型是否为 volatile 限定 (类模板)
is_trivial (C++11)	检查类型是否平凡 (类模板)
is_trivially_copyable (C++11)	检查类型是否可平凡复制 (类模板)
is_standard_layout (C++11)	检查是否是一个标准布局类型 (类模板)
is_pod (C++11)(C++20 中弃用)	检查类型是否为简旧数据（POD）类型 (类模板)
is_literal_type (C++11)(C++17 中弃用)(C++20 中移除)	检查类型是否为字面类型 (类模板)
has_unique_object_representations (C++17)	检查是否该类型对象的每一位都对其值有贡献 (类模板)
is_empty (C++11)	检查类型是否为类（但非联合体）类型且无非静态数据成员 (类模板)
is_polymorphic (C++11)	检查类型是否为多态类类型 (类模板)
is_abstract (C++11)	检查类型是否为抽象类类型 (类模板)
is_final (C++14)	检查类型是否为 final 类类型 (类模板)
is_aggregate (C++17)	检查类型是否聚合类型 (类模板)
is_implicit_lifetime (C++23)	检查类型是否为隐式生存期类型 (类模板)
is_signed (C++11)	检查类型是否为有符号算术类型 (类模板)
is_unsigned (C++11)	检查类型是否为无符号算术类型 (类模板)
is_bounded_array (C++20)	检查类型是否为有已知边界的数组类型 (类模板)
is_unbounded_array (C++20)	检查类型是否为有未知边界的数组类型 (类模板)
is_scoped_enum (C++23)	检查类型是否为有作用域枚举类型 (类模板)

受支持操作
is_constructibleis_trivially_constructibleis_nothrow_constructible (C++11)(C++11)(C++11)	检查类型是否带有针对特定实参的构造函数 (类模板)
is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible (C++11)(C++11)(C++11)	检查类型是否有默认构造函数 (类模板)
is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11)	检查类型是否拥有复制构造函数 (类模板)
is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible (C++11)(C++11)(C++11)	检查类型是否能从右值引用构造 (类模板)
is_assignableis_trivially_assignableis_nothrow_assignable (C++11)(C++11)(C++11)	检查类型是否拥有针对特定实参的赋值运算符 (类模板)
is_copy_assignableis_trivially_copy_assignableis_nothrow_copy_assignable (C++11)(C++11)(C++11)	检查类型是否拥有复制赋值运算符 (类模板)
is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable (C++11)(C++11)(C++11)	检查类型是否有拥有移动赋值运算符 (类模板)
is_destructibleis_trivially_destructibleis_nothrow_destructible (C++11)(C++11)(C++11)	检查类型是否拥有未被弃置的析构函数 (类模板)
has_virtual_destructor (C++11)	检查类型是否拥有虚析构函数 (类模板)
is_swappable_withis_swappableis_nothrow_swappable_withis_nothrow_swappable (C++17)(C++17)(C++17)(C++17)	检查一个类型的对象是否能与同类型或不同类型的对象交换 (类模板)

性质查询
alignment_of (C++11)	获取类型的对齐要求 (类模板)
rank (C++11)	获取数组类型的维数 (类模板)
extent (C++11)	获取数组类型在指定维度的大小 (类模板)

类型关系
is_same (C++11)	检查两个类型是否相同 (类模板)
is_base_of (C++11)	检查一个类型是否派生自另一个类型 (类模板)
is_convertibleis_nothrow_convertible (C++11)(C++20)	检查是否能转换一个类型为另一类型 (类模板)
is_layout_compatible (C++20)	检查二个类型是否布局兼容 (类模板)
is_pointer_interconvertible_base_of (C++20)	检查一个类型是否为另一类型的指针可互转换（起始）基类 (类模板)
is_invocableis_invocable_ris_nothrow_invocableis_nothrow_invocable_r (C++17)	检查类型能否以给定的实参类型调用（如同以 std::invoke） (类模板)
常-易变性说明符
remove_cvremove_constremove_volatile (C++11)(C++11)(C++11)	从给定类型移除 const 和/或 volatile 限定符 (类模板)
add_cvadd_constadd_volatile (C++11)(C++11)(C++11)	添加 const 和/或 volatile 限定符到给定类型 (类模板)
引用
remove_reference (C++11)	从给定类型移除引用 (类模板)
add_lvalue_referenceadd_rvalue_reference (C++11)(C++11)	向给定类型添加左值或右值引用 (类模板)
指针
remove_pointer (C++11)	移除给定类型的一层指针 (类模板)
add_pointer (C++11)	对给定类型添加一层指针 (类模板)
符号修饰符
make_signed (C++11)	使给定的整数类型有符号 (类模板)
make_unsigned (C++11)	使给定的整数类型无符号 (类模板)
数组
remove_extent (C++11)	从给定数组类型移除一个维度 (类模板)
remove_all_extents (C++11)	移除给定数组类型的所有维度 (类模板)
杂项变换
aligned_storage (C++11)(C++23 中弃用)	定义适于用作给定大小的类型的未初始化存储的类型 (类模板)
aligned_union (C++11)(C++23 中弃用)	定义适于用作所有给定类型的未初始化存储的类型 (类模板)
decay (C++11)	实施当按值传递实参给函数时所进行的类型变换 (类模板)
remove_cvref (C++20)	将 std::remove_cv 与 std::remove_reference 结合 (类模板)
enable_if (C++11)	条件性地从重载决议移除函数重载或模板特化 (类模板)
conditional (C++11)	基于编译时布尔值选择一个类型或另一个 (类模板)
common_type (C++11)	确定一组类型的公共类型 (类模板)
common_referencebasic_common_reference (C++20)	确定类型组的共用引用类型 (类模板)
underlying_type (C++11)	获取给定枚举类型的底层整数类型 (类模板)
result_ofinvoke_result (C++11)(C++20 中移除)(C++17)	推导以一组实参调用一个可调用对象的结果类型 (类模板)
void_t (C++17)	void 变参别名模板 (别名模板)
type_identity (C++20)	返回不更改的类型实参 (类模板)
类型特征的运算
conjunction (C++17)	变参的逻辑与元函数 (类模板)
disjunction (C++17)	变参的逻辑或元函数 (类模板)
negation (C++17)	逻辑非元函数 (类模板)
函数
成员关系
is_pointer_interconvertible_with_class (C++20)	检查一个类型的对象是否与该类型的指定子对象指针可互转换 (函数模板)
is_corresponding_member (C++20)	检查二个指定成员是否在二个指定类型中的公共起始序列中彼此对应 (函数模板)
常量求值语境
is_constant_evaluated (C++20)	检测调用是否在常量求值的语境内发生 (函数)
is_within_lifetime (C++26)	在编译时检查指定对象是否在它的生存期内 (函数)

概要

namespace std {
  // 辅助类：
  template <class T, T v> struct integral_constant;
  template <bool B>
  using bool_constant = integral_constant<bool, B>;
  using true_type = bool_constant<true>;
  using false_type = bool_constant<false>;
 
  // 基础类型分类：
  template <class T> struct is_void;
  template <class T> struct is_null_pointer;
  template <class T> struct is_integral;
  template <class T> struct is_floating_point;
  template <class T> struct is_array;
  template <class T> struct is_pointer;
  template <class T> struct is_lvalue_reference;
  template <class T> struct is_rvalue_reference;
  template <class T> struct is_member_object_pointer;
  template <class T> struct is_member_function_pointer;
  template <class T> struct is_enum;
  template <class T> struct is_union;
  template <class T> struct is_class;
  template <class T> struct is_function;
 
  // 复合类型分类：
  template <class T> struct is_reference;
  template <class T> struct is_arithmetic;
  template <class T> struct is_fundamental;
  template <class T> struct is_object;
  template <class T> struct is_scalar;
  template <class T> struct is_compound;
  template <class T> struct is_member_pointer;
 
  // 类型的性质：
  template <class T> struct is_const;
  template <class T> struct is_volatile;
  template <class T> struct is_trivial;
  template <class T> struct is_trivially_copyable;
  template <class T> struct is_standard_layout;
  template <class T> struct is_pod;
  template <class T> struct is_empty;
  template <class T> struct is_polymorphic;
  template <class T> struct is_abstract;
  template <class T> struct is_final;
  template <class T> struct is_aggregate;
  template <class T> struct is_signed;
  template <class T> struct is_unsigned;
  template <class T> struct is_bounded_array;
  template <class T> struct is_unbounded_array;
  template <class T> struct is_scoped_enum;
 
  template <class T, class... Args> struct is_constructible;
  template <class T> struct is_default_constructible;
  template <class T> struct is_copy_constructible;
  template <class T> struct is_move_constructible;
  template <class T, class U> struct is_assignable;
  template <class T> struct is_copy_assignable;
  template <class T> struct is_move_assignable;
  template <class T, class U> struct is_swappable_with;
  template <class T> struct is_swappable;
  template <class T> struct is_destructible;
  template <class T, class... Args> struct is_trivially_constructible;
  template <class T> struct is_trivially_default_constructible;
  template <class T> struct is_trivially_copy_constructible;
  template <class T> struct is_trivially_move_constructible;
  template <class T, class U> struct is_trivially_assignable;
  template <class T> struct is_trivially_copy_assignable;
  template <class T> struct is_trivially_move_assignable;
  template <class T> struct is_trivially_destructible;
  template <class T, class... Args> struct is_nothrow_constructible;
  template <class T> struct is_nothrow_default_constructible;
  template <class T> struct is_nothrow_copy_constructible;
  template <class T> struct is_nothrow_move_constructible;
  template <class T, class U> struct is_nothrow_assignable;
  template <class T> struct is_nothrow_copy_assignable;
  template <class T> struct is_nothrow_move_assignable;
  template <class T, class U> struct is_nothrow_swappable_with;
  template <class T> struct is_nothrow_swappable;
  template <class T> struct is_nothrow_destructible;
  template <class T> struct has_virtual_destructor;
  template <class T> struct has_unique_object_representations;
 
  // 类型性质查询：
  template <class T> struct alignment_of;
  template <class T> struct rank;
  template <class T, unsigned I = 0> struct extent;
 
  // 类型关系：
  template <class T, class U> struct is_same;
  template <class Base, class Derived> struct is_base_of;
  template <class From, class To> struct is_convertible;
  template <class From, class To> struct is_nothrow_convertible;
  template <class T, class U> struct is_layout_compatible;
  template <class Base, class Derived> struct is_pointer_interconvertible_base_of;
  template <class Fn, class... ArgTypes> struct is_invocable;
  template <class R, class Fn, class... ArgTypes> struct is_invocable_r;
  template <class Fn, class... ArgTypes> struct is_nothrow_invocable;
  template <class R, class Fn, class... ArgTypes> struct is_nothrow_invocable_r;
 
  // const-volatile 修改：
  template <class T> struct remove_const;
  template <class T> struct remove_volatile;
  template <class T> struct remove_cv;
  template <class T> struct add_const;
  template <class T> struct add_volatile;
  template <class T> struct add_cv;
  template <class T>
  using remove_const_t = typename remove_const<T>::type;
  template <class T>
  using remove_volatile_t = typename remove_volatile<T>::type;
  template <class T>
  using remove_cv_t = typename remove_cv<T>::type;
  template <class T>
  using add_const_t = typename add_const<T>::type;
  template <class T>
  using add_volatile_t = typename add_volatile<T>::type;
  template <class T>
  using add_cv_t = typename add_cv<T>::type;
 
  // 引用修改：
  template <class T> struct remove_reference;
  template <class T> struct add_lvalue_reference;
  template <class T> struct add_rvalue_reference;
  template <class T>
  using remove_reference_t = typename remove_reference<T>::type;
  template <class T>
  using add_lvalue_reference_t = typename add_lvalue_reference<T>::type;
  template <class T>
  using add_rvalue_reference_t = typename add_rvalue_reference<T>::type;
 
  // 正负号修改：
  template <class T> struct make_signed;
  template <class T> struct make_unsigned;
  template <class T>
  using make_signed_t = typename make_signed<T>::type;
  template <class T>
  using make_unsigned_t = typename make_unsigned<T>::type;
 
  // 数组修改：
  template <class T> struct remove_extent;
  template <class T> struct remove_all_extents;
  template <class T>
  using remove_extent_t = typename remove_extent<T>::type;
  template <class T>
  using remove_all_extents_t = typename remove_all_extents<T>::type;
 
  // 指针修改：
  template <class T> struct remove_pointer;
  template <class T> struct add_pointer;
  template <class T>
  using remove_pointer_t = typename remove_pointer<T>::type;
  template <class T>
  using add_pointer_t = typename add_pointer<T>::type;
 
  // 其他变换：
  template <size_t Len,
  size_t Align = /* 默认对齐 */ > 
  struct aligned_storage;
  template <size_t Len, class... Types> struct aligned_union;
  template <class T> struct decay;
  template <class T> struct remove_cvref;
  template <bool, class T = void> struct enable_if;
  template <bool, class T, class F> struct conditional;
  template <class... T> struct common_type;
  template <class T> struct underlying_type;
  template <class> class result_of; // 不定义
  template <class F, class... ArgTypes> class result_of<F(ArgTypes...)>;
  template <class F, class... ArgTypes> class invoke_result;
  template <size_t Len,
  size_t Align = /* 默认对齐 */ > 
  using aligned_storage_t = typename aligned_storage<Len, Align>::type;
  template <size_t Len, class... Types>
  using aligned_union_t = typename aligned_union<Len, Types...>::type;
  template <class T>
  using decay_t = typename decay<T>::type;
  template <class T>
  using remove_cvref_t = typename remove_cvref<T>::type;
  template <bool b, class T = void>
  using enable_if_t = typename enable_if<b, T>::type;
  template <bool b, class T, class F>
  using conditional_t = typename conditional<b, T, F>::type;
  template <class... T>
  using common_type_t = typename common_type<T...>::type;
  template <class T>
  using underlying_type_t = typename underlying_type<T>::type;
  template <class T>
  using result_of_t = typename result_of<T>::type;
  template <class F, class... ArgTypes> 
  using invoke_result_t = typename invoke_result<F, ArgTypes...>::type;
  template <class...>
  using void_t = void;
 
  // 逻辑运算符特征：
  template<class... B> struct conjunction;
  template<class... B> struct disjunction;
  template<class B> struct negation;
 
  // 基础类型分类
  template <class T> inline constexpr bool is_void_v
  = is_void<T>::value;
  template <class T> inline constexpr bool is_null_pointer_v
  = is_null_pointer<T>::value;
  template <class T> inline constexpr bool is_integral_v
  = is_integral<T>::value;
  template <class T> inline constexpr bool is_floating_point_v
  = is_floating_point<T>::value;
  template <class T> inline constexpr bool is_array_v
  = is_array<T>::value;
  template <class T> inline constexpr bool is_pointer_v
  = is_pointer<T>::value;
  template <class T> inline constexpr bool is_lvalue_reference_v
  = is_lvalue_reference<T>::value;
  template <class T> inline constexpr bool is_rvalue_reference_v
  = is_rvalue_reference<T>::value;
  template <class T> inline constexpr bool is_member_object_pointer_v
  = is_member_object_pointer<T>::value;
  template <class T> inline constexpr bool is_member_function_pointer_v
  = is_member_function_pointer<T>::value;
  template <class T> inline constexpr bool is_enum_v
  = is_enum<T>::value;
  template <class T> inline constexpr bool is_union_v
  = is_union<T>::value;
  template <class T> inline constexpr bool is_class_v
  = is_class<T>::value;
  template <class T> inline constexpr bool is_function_v
  = is_function<T>::value;
 
  // 复合类型分类
  template <class T> inline constexpr bool is_reference_v
  = is_reference<T>::value;
  template <class T> inline constexpr bool is_arithmetic_v
  = is_arithmetic<T>::value;
  template <class T> inline constexpr bool is_fundamental_v
  = is_fundamental<T>::value;
  template <class T> inline constexpr bool is_object_v
  = is_object<T>::value;
  template <class T> inline constexpr bool is_scalar_v
  = is_scalar<T>::value;
  template <class T> inline constexpr bool is_compound_v
  = is_compound<T>::value;
  template <class T> inline constexpr bool is_member_pointer_v
  = is_member_pointer<T>::value;
 
  // 类型的性质
  template <class T> inline constexpr bool is_const_v
  = is_const<T>::value;
  template <class T> inline constexpr bool is_volatile_v
  = is_volatile<T>::value;
  template <class T> inline constexpr bool is_trivial_v
  = is_trivial<T>::value;
  template <class T> inline constexpr bool is_trivially_copyable_v
  = is_trivially_copyable<T>::value;
  template <class T> inline constexpr bool is_standard_layout_v
  = is_standard_layout<T>::value;
  template <class T> inline constexpr bool is_pod_v
  = is_pod<T>::value;
  template <class T> inline constexpr bool is_empty_v
  = is_empty<T>::value;
  template <class T> inline constexpr bool is_polymorphic_v
  = is_polymorphic<T>::value;
  template <class T> inline constexpr bool is_abstract_v
  = is_abstract<T>::value;
  template <class T> inline constexpr bool is_final_v
  = is_final<T>::value;
  template <class T> inline constexpr bool is_aggregate_v
  = is_aggregate<T>::value;
  template <class T> inline constexpr bool is_signed_v
  = is_signed<T>::value;
  template <class T> inline constexpr bool is_unsigned_v
  = is_unsigned<T>::value;
  template <class T> inline constexpr bool is_bounded_array_v
  = is_bounded_array<T>::value;
  template <class T> inline constexpr bool is_unbounded_array_v
  = is_unbounded_array<T>::value;
  template <class T> inline constexpr bool is_scoped_enum_v
  = is_scoped_enum<T>::value;
  template <class T, class... Args> inline constexpr bool is_constructible_v
  = is_constructible<T, Args...>::value;
  template <class T> inline constexpr bool is_default_constructible_v
  = is_default_constructible<T>::value;
  template <class T> inline constexpr bool is_copy_constructible_v
  = is_copy_constructible<T>::value;
  template <class T> inline constexpr bool is_move_constructible_v
  = is_move_constructible<T>::value;
  template <class T, class U> inline constexpr bool is_assignable_v
  = is_assignable<T, U>::value;
  template <class T> inline constexpr bool is_copy_assignable_v
  = is_copy_assignable<T>::value;
  template <class T> inline constexpr bool is_move_assignable_v
  = is_move_assignable<T>::value;
  template <class T, class U> inline constexpr bool is_swappable_with_v
  = is_swappable_with<T, U>::value;
  template <class T> inline constexpr bool is_swappable_v
  = is_swappable<T>::value;
  template <class T> inline constexpr bool is_destructible_v
  = is_destructible<T>::value;
  template <class T, class... Args> inline constexpr bool is_trivially_constructible_v
  = is_trivially_constructible<T, Args...>::value;
  template <class T> inline constexpr bool is_trivially_default_constructible_v
  = is_trivially_default_constructible<T>::value;
  template <class T> inline constexpr bool is_trivially_copy_constructible_v
  = is_trivially_copy_constructible<T>::value;
  template <class T> inline constexpr bool is_trivially_move_constructible_v
  = is_trivially_move_constructible<T>::value;
  template <class T, class U> inline constexpr bool is_trivially_assignable_v
  = is_trivially_assignable<T, U>::value;
  template <class T> inline constexpr bool is_trivially_copy_assignable_v
  = is_trivially_copy_assignable<T>::value;
  template <class T> inline constexpr bool is_trivially_move_assignable_v
  = is_trivially_move_assignable<T>::value;
  template <class T> inline constexpr bool is_trivially_destructible_v
  = is_trivially_destructible<T>::value;
  template <class T, class... Args> inline constexpr bool is_nothrow_constructible_v
  = is_nothrow_constructible<T, Args...>::value;
  template <class T> inline constexpr bool is_nothrow_default_constructible_v
  = is_nothrow_default_constructible<T>::value;
  template <class T> inline constexpr bool is_nothrow_copy_constructible_v
  = is_nothrow_copy_constructible<T>::value;
  template <class T> inline constexpr bool is_nothrow_move_constructible_v
  = is_nothrow_move_constructible<T>::value;
  template <class T, class U> inline constexpr bool is_nothrow_assignable_v
  = is_nothrow_assignable<T, U>::value;
  template <class T> inline constexpr bool is_nothrow_copy_assignable_v
  = is_nothrow_copy_assignable<T>::value;
  template <class T> inline constexpr bool is_nothrow_move_assignable_v
  = is_nothrow_move_assignable<T>::value;
  template <class T, class U> inline constexpr bool is_nothrow_swappable_with_v
  = is_nothrow_swappable_with<T, U>::value;
  template <class T> inline constexpr bool is_nothrow_swappable_v
  = is_nothrow_swappable<T>::value;
  template <class T> inline constexpr bool is_nothrow_destructible_v
  = is_nothrow_destructible<T>::value;
  template <class T> inline constexpr bool has_virtual_destructor_v
  = has_virtual_destructor<T>::value;
  template <class T> inline constexpr bool has_unique_object_representations_v
  = has_unique_object_representations<T>::value;
 
  // 类型性质查询
  template <class T> inline constexpr size_t alignment_of_v
  = alignment_of<T>::value;
  template <class T> inline constexpr size_t rank_v
  = rank<T>::value;
  template <class T, unsigned I = 0> inline constexpr size_t extent_v
  = extent<T, I>::value;
 
  // 类型关系
  template <class T, class U> inline constexpr bool is_same_v
  = is_same<T, U>::value;
  template <class Base, class Derived> inline constexpr bool is_base_of_v
  = is_base_of<Base, Derived>::value;
  template <class From, class To> inline constexpr bool is_convertible_v
  = is_convertible<From, To>::value;
  template<class From, class To>
    inline constexpr bool is_nothrow_convertible_v
      = is_nothrow_convertible<From, To>::value;
  template<class T, class U>
    inline constexpr bool is_layout_compatible_v = is_layout_compatible<T, U>::value;
  template<class Base, class Derived>
    inline constexpr bool is_pointer_interconvertible_base_of_v
      = is_pointer_interconvertible_base_of<Base, Derived>::value;
 
  template <class Fn, class... ArgTypes> 
  inline constexpr bool is_invocable_v
    = is_invocable<Fn, ArgTypes...>::value;
  template <class R, class Fn, class... ArgTypes>
  inline constexpr bool is_invocable_r_v
    = is_invocable_r<R, Fn, ArgTypes...>::value;
  template <class Fn, class... ArgTypes>
  inline constexpr bool is_nothrow_invocable_v
    = is_nothrow_invocable<Fn, ArgTypes...>::value;
  template <class R, class Fn, class... ArgTypes>
  inline constexpr bool is_nothrow_invocable_r_v
    = is_nothrow_invocable_r<R, Fn, ArgTypes...>::value;
 
  // 逻辑运算符特征：
  template<class... B> inline constexpr bool conjunction_v = conjunction<B...>::value;
  template<class... B> inline constexpr bool disjunction_v = disjunction<B...>::value;
  template<class B> inline constexpr bool negation_v = negation<B>::value;
 
  // 成员关系
  template <class S, class M>
    constexpr bool is_pointer_interconvertible_with_class(M S::*m) noexcept;
  template <class S1, class S2, class M1, class M2>
    constexpr bool is_corresponding_member(M1 S1::*m1, M2 S2::*m2) noexcept;
 
  // 常量求值语境
  constexpr bool is_constant_evaluated() noexcept;
  consteval bool is_within_lifetime(const auto*) noexcept;
} // 命名空间 std

类模板 std::integral_constant

namespace std {
  template <class T, T v>
  struct integral_constant {
    static constexpr T value = v;
    using value_type = T;
    using type = integral_constant<T, v>;
    constexpr operator value_type() const noexcept { return value; }
    constexpr value_type operator()() const noexcept { return value; }
  };
}