类型支持（基本类型、RTTI、类型特性）

来自cppreference.com
< cpp
 
C++
 
工具库
类型支持（基本类型、 RTTI 、类型特性）
动态内存管理
错误处理
程序工具
变参数函数
日期和时间
函数对象
(C++11)
(C++11)
关系运算符
optional 、 any 与 variant (C++17)
pair 与 tuple
(C++11)
(C++17)
(C++17)
(C++11)
(C++11)
(C++14)
swap 、 forward 与 move
(C++14)
(C++11)
(C++11)
(C++11)
初等字符串转换
(C++17)
(C++17)
(C++17)
类型运算
(C++11)
(C++17)
 
类型支持
基本类型
基础类型
定宽整数类型 (C++11)
数值极限
C 数值极限接口
运行时类型信息
类型特性
类型类别
(C++11)
(C++14)
(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++11)
(C++11)
(C++14)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)(C++17 中弃用)
(C++17)
(C++11)
(C++11)
(C++17)
类型特性常量
(C++11)
(C++17)
(C++11)
(C++11)
元函数
(C++17)
(C++17)
(C++17)
端序
(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++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++17)
(C++17)
(C++17)
(C++17)
类型修改
(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++11)
(C++11)
(C++11)
(C++11)(C++17 中弃用)
(C++17)
 

（类型系统综述可参阅类型）

目录

[编辑] 基本类型

[编辑] 语言定义的基础类型

[编辑] 附加性基本类型及宏

定义于头文件 <cstddef>
sizeof 运算符返回的无符号整数类型
(typedef) [编辑]
在两个指针相减时返回的有符号整数类型
(typedef) [编辑]
(C++11)
 空指针字面量 nullptr 的类型
(typedef) [编辑]
实现定义的空指针常量
(宏常量) [编辑]
(C++11)
 内存对齐需求不小于任何基本类型的POD类型
(typedef) [编辑]
标准布局类型的成员相对类型起始地址的字符偏移量
(宏函数) [编辑]
(C++17)
 字节类型
(枚举) [编辑]
定义于头文件 <cstdbool>
__bool_true_false_are_defined
(C++11)
 C 兼容用宏常量，展开成整数常量1
(宏常量)
定义于头文件 <cstdalign>
__alignas_is_defined
(C++11)
 C 兼容用宏常量，展开成整数常量 1
(宏常量)

[编辑] 定宽整数(C++11 起)

[编辑] 数值极限

定义于头文件 <limits>
提供查询所有基础数字类型属性的接口。
(类模板) [编辑]

[编辑] C 数值极限接口

[编辑] 运行时类型识别

定义于头文件 <typeinfo>
含有编译器生成的某类型的信息。
这是 typeid 运算符所返回的类。
(类) [编辑]
调用typeid运算符如果有一个参数为空时抛出的异常。
(类) [编辑]
错误的dynamic_cast表达式抛出的异常，例如，引用类型转换失败会抛出此异常。
(类) [编辑]
定义于头文件 <typeindex>
(C++11)
 针对type_info对象的一个包装，可以用作关联容器和无序关联容器的索引。
(类) [编辑]

[编辑] 类型特性(C++11 起)

类型特性定义一个编译时基于模板的结构，以查询或修改类型的属性。

试图特化定义于 <type_traits> 头文件的模板导致未定义行为，除了 std::common_type 可依照其所描述特化。

定义于<type_traits>头文件的模板可以用不完整类型实例化，除非另外有指定，尽管通常禁止以不完整类型实例化标准库模板。

[编辑] 类型属性

定义于头文件 <type_traits>
基础类型类别
(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)
 检查类型是否简旧数据（ POD ）类型
(类模板) [编辑]
(C++11)(C++17 中弃用)
 检查类型是否为字面类型
(类模板) [编辑]
(C++17)
 检查是否该类型对象的每一位都对其值有贡献
(类模板) [编辑]
(C++11)
 检查类型是否类（但非联合体）类型且无数据
(类模板) [编辑]
(C++11)
 检查是否是一个多态对象
(类模板) [编辑]
(C++11)
 检查是否是一个抽象对象类型
(类模板) [编辑]
(C++14)
 检查一个类型是否为 final 类类型
(类模板) [编辑]
(C++17)
 检查类型是否聚合类型
(类模板) [编辑]
(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++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++17)
 检查类型能否被以指定参数类型调用（如同以 std::invoke ）
(类模板) [编辑]

[编辑] 类型修改

类型修改模板通过应用修改到模板参数，创建新类型定义。结果类型可以通过成员 typedef type 访问。

定义于头文件 <type_traits>
常-易变性指定器
(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)
 移除数组类型所有维度
(类模板) [编辑]

[编辑] 杂项变换

定义于头文件 <type_traits>
(C++11)
 定义适用作给定大小的类型的未初始化存储的类型
(类模板) [编辑]
(C++11)
 定义所有给定类型在未初始化时需要的最大内存空间大小
(类模板) [编辑]
(C++11)
 将类型变换成以值形式传递给函数时使用的类型
(类模板) [编辑]
(C++11)
 根据编译期布尔常量隐藏一种函数重载或模板特化
(类模板) [编辑]
(C++11)
 基于编译时布尔值选择一个类型或另一个
(类模板) [编辑]
(C++11)
 确定一组类型的共用类型
(类模板) [编辑]
(C++11)
 获取枚举常量对应的整数类型
(类模板) [编辑]
(C++11)
 推导函数调用表达式的返回类型
(类模板) [编辑]
(C++17)
 void 变参数别名模板
(别名模板) [编辑]

[编辑] 特性上的运算

定义于头文件 <type_traits>
(C++17)
 变参数的逻辑与元函数
(类模板) [编辑]
(C++17)
 变参数的逻辑或元函数
(类模板) [编辑]
(C++17)
 逻辑非元函数
(类模板) [编辑]

[编辑] 帮助类

定义于头文件 <type_traits>
(C++11)
 可指定类型的编译期常量
(类模板) [编辑]

标准提供 std::integral_constant 对类型 bool 的二个特化：

定义于头文件 <type_traits>
类型 定义
true_type std::integral_constant<bool, true>
false_type std::integral_constant<bool, false>

[编辑] 端序 (C++20 起)

定义于头文件 <type_traits>
类型 定义
(C++20)
 指示标量类型的端序
(枚举) [编辑]

[编辑] 参阅

类型支持库的 C 文档
来自“http://zh.cppreference.com/mwiki/index.php?title=cpp/types&oldid=44961”