C++ 参考手册
- C++11
- C++14
- C++17
- C++20
- C++ 编译器支持情况表
- 独立与宿主实现
- C++ 语言
- C++ 关键词
- 预处理器
- C++ 标准库头文件
- 标准库头文件 <ctime>
- 标准库头文件 <cstring>
- 标准库头文件 <set>
- 标准库头文件 <cctype>
- 标准库头文件 <cwctype>
- 标准库头文件 <utility>
- 标准库头文件 <queue>
- 标准库头文件 <complex>
- 标准库头文件 <iterator>
- 标准库头文件 <algorithm>
- 标准库头文件 <valarray>
- 标准库头文件 <numeric>
- 标准库头文件 <cmath>
- 标准库头文件 <iosfwd>
- 标准库头文件 <ios>
- 标准库头文件 <iomanip>
- 标准库头文件 <streambuf>
- 标准库头文件 <istream>
- 标准库头文件 <ostream>
- 标准库头文件 <iostream>
- 标准库头文件 <sstream>
- 标准库头文件 <clocale>
- 标准库头文件 <vector>
- 标准库头文件 <deque>
- 标准库头文件 <list>
- 标准库头文件 <map>
- 标准库头文件 <cwchar>
- 标准库头文件 <locale>
- 标准库头文件 <codecvt>
- 标准库头文件 <bitset>
- 标准库头文件 <functional>
- 标准库头文件 <stdexcept>
- 标准库头文件 <csignal>
- 标准库头文件 <csetjmp>
- 标准库头文件 <stack>
- 标准库头文件 <cassert>
- 标准库头文件 <cerrno>
- 标准库头文件 <memory>
- 标准库头文件 <typeindex>
- 标准库头文件 <type_traits>
- 标准库头文件 <chrono>
- 标准库头文件 <initializer_list>
- 标准库头文件 <tuple>
- 标准库头文件 <scoped_allocator>
- 标准库头文件 <cstdint>
- 标准库头文件 <cinttypes>
- 标准库头文件 <system_error>
- 标准库头文件 <cuchar>
- 标准库头文件 <array>
- 标准库头文件 <forward_list>
- 标准库头文件 <unordered_set>
- 标准库头文件 <unordered_map>
- 标准库头文件 <random>
- 标准库头文件 <ratio>
- 标准库头文件 <cfenv>
- 标准库头文件 <regex>
- 标准库头文件 <atomic>
- 标准库头文件 <thread>
- 标准库头文件 <mutex>
- 标准库头文件 <future>
- 标准库头文件 <condition_variable>
- 标准库头文件 <any>
- 标准库头文件 <optional>
- 标准库头文件 <variant>
- 标准库头文件 <memory_resource>
- 标准库头文件 <string_view>
- 标准库头文件 <charconv>
- 标准库头文件 <execution>
- 标准库头文件 <filesystem>
- 标准库头文件 <concepts>
- 标准库头文件 <coroutine>
- 标准库头文件 <compare>
- 标准库头文件 <version>
- 标准库头文件 <source_location>
- 标准库头文件 <format>
- 标准库头文件 <span>
- 标准库头文件 <ranges>
- 标准库头文件 <bit>
- 标准库头文件 <numbers>
- 标准库头文件 <syncstream>
- 标准库头文件 <stop_token>
- 标准库头文件 <semaphore>
- 标准库头文件 <latch>
- 标准库头文件 <barrier>
- 标准库头文件 <string>
- 标准库头文件 <cstddef>
- 标准库头文件 <limits>
- 标准库头文件 <cfloat>
- 标准库头文件 <climits>
- 标准库头文件 <cstdlib>
- 标准库头文件 <new>
- 标准库头文件 <typeinfo>
- 标准库头文件 <exception>
- 标准库头文件 <cstdarg>
- 标准库头文件 <ciso646>
- 标准库头文件 <cstdalign>
- 标准库头文件 <cstdbool>
- 标准库头文件 <fstream>
- 标准库头文件 <cstdio>
- 标准库头文件 <strstream>
- 标准库头文件 <shared_mutex>
- 标准库头文件 <ccomplex>
- 标准库头文件 <ctgmath>
- 注释
- 具名要求
- 功能特性测试 (C++20)
- 工具库
- 类型支持（基本类型、RTTI、类型特性）
- 概念库 (C++20)
- 错误处理
- 动态内存管理
- 日期和时间工具
- 字符串库
- 容器库
- 迭代器库
- 范围库 (C++20)
- 算法库
- 数值库
- 输入/输出库
- 文件系统库
- 本地化库
- 正则表达式库
- 原子操作库
- 线程支持库
- 实验性 C++ 特性
- 有用的资源
- 索引
- std 符号索引
- 协程支持 (C++20)
- C++ 关键词
位置：首页 > C++ 参考手册 >C++ 标准库头文件 > 标准库头文件 <type_traits>
标准库头文件 <type_traits>
此头文件是类型支持库的一部分。
类 | |
辅助类 | |
| (C++11)(C++17) |
具有指定值的指定类型的编译期常量 (类模板) |
true_type
|
std::integral_constant<bool, true> |
false_type
|
std::integral_constant<bool, false> |
基础类型分类 | |
| (C++11) |
检查类型是否为 void (类模板) |
| (C++14) |
检查类型是否为 std::nullptr_t (类模板) |
| (C++11) |
检查类型是否为整型 (类模板) |
| (C++11) |
检查类型是否是浮点类型 (类模板) |
| (C++11) |
检查类型是否是数组类型 (类模板) |
| (C++11) |
检查类型是否是枚举类型 (类模板) |
| (C++11) |
检查类型是否为联合体类型 (类模板) |
| (C++11) |
检查类型是否非联合类类型 (类模板) |
| (C++11) |
检查是否为函数类型 (类模板) |
| (C++11) |
检查类型是否为指针类型 (类模板) |
| (C++11) |
检查类型是否为左值引用 (类模板) |
| (C++11) |
检查类型是否为右值引用 (类模板) |
| (C++11) |
检查类型是否为指向非静态成员对象的指针 (类模板) |
| (C++11) |
检查类型是否为指向非静态成员函数的指针 (类模板) |
复合类型分类 | |
| (C++11) |
检查是否是基础类型 (类模板) |
| (C++11) |
检查类型是否为算术类型 (类模板) |
| (C++11) |
检查类型是否为标量类型 (类模板) |
| (C++11) |
检查是否是对象类型 (类模板) |
| (C++11) |
检查是否为复合类型 (类模板) |
| (C++11) |
检查类型是否为左值引用或右值引用 (类模板) |
| (C++11) |
检查类型是否为指向非静态成员函数或对象的指针类型 (类模板) |
类型的性质 | |
| (C++11) |
检查类型是否为 const 限定 (类模板) |
| (C++11) |
检查类型是否为 volatile 限定 (类模板) |
| (C++11) |
检查类型是否平凡 (类模板) |
| (C++11) |
检查类型是否可平凡复制 (类模板) |
| (C++11) |
检查是否是一个标准布局类型 (类模板) |
| (C++11)(C++20 中弃用) |
检查类型是否为简旧数据（POD）类型 (类模板) |
| (C++11)(C++17 中弃用)(C++20 中移除) |
检查类型是否为字面类型 (类模板) |
| 检查是否该类型对象的每一位都对其值有贡献 (类模板) | |
| (C++11) |
检查类型是否为类（但非联合体）类型且无非静态数据成员 (类模板) |
| (C++11) |
检查类型是否为多态类类型 (类模板) |
| (C++11) |
检查类型是否为抽象类类型 (类模板) |
| (C++14) |
检查类型是否为 final 类类型 (类模板) |
| (C++17) |
检查类型是否聚合类型 (类模板) |
| (C++11) |
检查类型是否为有符号算术类型 (类模板) |
| (C++11) |
检查类型是否为无符号算术类型 (类模板) |
| (C++20) |
检查类型是否为有已知边界的数组类型 (类模板) |
| (C++20) |
检查类型是否为有未知边界的数组类型 (类模板) |
受支持操作 | |
| (C++11)(C++11)(C++11) |
检查类型是否带有针对特定实参的构造函数 (类模板) |
| 检查类型是否有默认构造函数 (类模板) | |
| (C++11)(C++11)(C++11) |
检查类型是否拥有复制构造函数 (类模板) |
| (C++11)(C++11)(C++11) |
检查类型是否能从右值引用构造 (类模板) |
| (C++11)(C++11)(C++11) |
检查类型是否拥有针对特定实参的赋值运算符 (类模板) |
| (C++11)(C++11)(C++11) |
检查类型是否拥有复制赋值运算符 (类模板) |
| (C++11)(C++11)(C++11) |
检查类型是否有拥有移动赋值运算符 (类模板) |
| (C++11)(C++11)(C++11) |
检查类型是否拥有未被弃置的析构函数 (类模板) |
| (C++11) |
检查类型是否拥有虚析构函数 (类模板) |
| (C++17)(C++17)(C++17)(C++17) |
检查一个类型的对象是否能与同类型或不同类型的对象交换 (类模板) |
性质查询 | |
| (C++11) |
获取类型的对齐要求 (类模板) |
| (C++11) |
获取数组类型的维数 (类模板) |
| (C++11) |
获取数组类型在指定维度的大小 (类模板) |
类型关系 | |
| (C++11) |
检查两个类型是否相同 (类模板) |
| (C++11) |
检查一个类型是否派生自另一个类型 (类模板) |
| (C++11)(C++20) |
检查是否能转换一个类型为另一类型 (类模板) |
| (C++20) |
检查二个类型是否布局兼容 (类模板) |
| 检查一个类型是否为另一类型的指针可互转换（起始）基类 (类模板) | |
| 检查类型能否以给定的实参类型调用（如同以 std::invoke） (类模板) | |
常-易变性说明符 | |
| (C++11)(C++11)(C++11) |
从给定类型移除 const 或/与 volatile 限定符 (类模板) |
| (C++11)(C++11)(C++11) |
添加 const 或/与 volatile 限定符到给定类型 (类模板) |
引用 | |
| (C++11) |
从给定类型移除引用 (类模板) |
| (C++11)(C++11) |
向给定类型添加左值或右值引用 (类模板) |
指针 | |
| (C++11) |
移除给定类型的一层指针 (类模板) |
| (C++11) |
对给定类型添加一层指针 (类模板) |
符号修饰符 | |
| (C++11) |
使给定的整型类型有符号 (类模板) |
| (C++11) |
使给定的整型类型无符号 (类模板) |
数组 | |
| (C++11) |
从给定数组类型移除一个维度 (类模板) |
| (C++11) |
移除给定数组类型的所有维度 (类模板) |
杂项变换 | |
| (C++11) |
定义适于用作给定大小的类型的未初始化存储的类型 (类模板) |
| (C++11) |
定义适于用作所有给定类型的未初始化存储的类型 (类模板) |