类型支持(基本类型、RTTI、类型特性)

来自cppreference.com
< cpp
 
 
工具库
类型支持(基本类型、RTTI、类型特性)
动态内存管理
错误处理
程序工具
变参数函数
日期与时间
函数对象
initializer_list(C++11)
bitset
hash(C++11)
关系运算符
rel_ops::operator!=
rel_ops::operator>
rel_ops::operator<=
rel_ops::operator>=
optionalanyvariant (C++17)
optional
any
variant
in_place
in_place_type
in_place_index
in_place_t
in_place_type_t
in_place_index_t
pair与tuple
pair
tuple(C++11)
apply(C++17)
make_from_tuple(C++17)
piecewise_construct_t(C++11)
piecewise_construct(C++11)
integer_sequence(C++14)
swap、forward与move
swap
exchange(C++14)
forward(C++11)
move(C++11)
move_if_noexcept(C++11)
初等字符串转换
to_chars(C++17)
from_chars(C++17)
chars_format(C++17)
类型运算
declval(C++11)
as_const(C++17)
 
类型的支持
基本类型
基础类型
定宽整数类型 (C++11)
数值极限
numeric_limits
C 数值极限接口
运行时类型信息
类型特性
类型类别
is_void(C++11)
is_null_pointer(C++14)
is_array(C++11)
is_pointer(C++11)
is_enum(C++11)
is_union(C++11)
is_class(C++11)
is_function(C++11)
is_object(C++11)
is_scalar(C++11)
is_compound(C++11)
is_integral(C++11)
is_floating_point(C++11)
is_fundamental(C++11)
is_arithmetic(C++11)
is_reference(C++11)
is_lvalue_reference(C++11)
is_rvalue_reference(C++11)
is_member_pointer(C++11)
is_member_object_pointer(C++11)
is_member_function_pointer(C++11)
类型属性
is_const(C++11)
is_volatile(C++11)
is_pod(C++11)
is_empty(C++11)
is_polymorphic(C++11)
is_final(C++14)
is_abstract(C++11)
has_unique_object_representations(C++17)
类型特性常量
integral_constant
bool_constant
true_type
false_type
(C++11)
(C++17)
(C++11)
(C++11)
元函数
conjunction(C++17)
disjunction(C++17)
negation(C++17)
受支持操作
is_constructible
is_trivially_constructible
is_nothrow_constructible
(C++11)
(C++11)
(C++11)
is_default_constructible
is_trivially_default_constructible
is_nothrow_default_constructible
(C++11)
(C++11)
(C++11)
is_copy_constructible
is_trivially_copy_constructible
is_nothrow_copy_constructible
(C++11)
(C++11)
(C++11)
is_move_constructible
is_trivially_move_constructible
is_nothrow_move_constructible
(C++11)
(C++11)
(C++11)
is_assignable
is_trivially_assignable
is_nothrow_assignable
(C++11)
(C++11)
(C++11)
is_copy_assignable
is_trivially_copy_assignable
is_nothrow_copy_assignable
(C++11)
(C++11)
(C++11)
is_move_assignable
is_trivially_move_assignable
is_nothrow_move_assignable
(C++11)
(C++11)
(C++11)
is_destructible
is_trivially_destructible
is_nothrow_destructible
(C++11)
(C++11)
(C++11)
has_virtual_destructor(C++11)
is_swappable_with
is_swappable
is_nothrow_swappable_with
is_nothrow_swappable
(C++17)
(C++17)
(C++17)
(C++17)
关系与属性查询
is_same(C++11)
is_base_of(C++11)
is_convertible(C++11)
alignment_of(C++11)
rank(C++11)
extent(C++11)
is_callable
is_nothrow_callable
(C++17)
(C++17)
类型修改
remove_cv
remove_const
remove_volatile
(C++11)
(C++11)
(C++11)
add_cv
add_const
add_volatile
(C++11)
(C++11)
(C++11)
make_signed(C++11)
make_unsigned(C++11)
类型变换
aligned_storage(C++11)
aligned_union(C++11)
decay(C++11)
enable_if(C++11)
void_t(C++17)
conditional(C++11)
common_type(C++11)
underlying_type(C++11)
result_of(C++11)
 

(类型系统综述可参阅类型

目录

[编辑] 基本类型

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

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

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

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

[编辑] 数值极限

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

[编辑] C数值极限接口

[编辑] 运行时类型识别

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

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

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

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

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

[编辑] 类型属性

定义于头文件 <type_traits>
基础类型类别
(C++11)
检查是否是void
(类模板) [edit]
检查类型是否为 std::nullptr_t
(类模板) [edit]
检查类型是否为整型
(类模板) [edit]
检查类型是否是浮点类型
(类模板) [edit]
(C++11)
检查类型是否是数组类型
(类模板) [edit]
(C++11)
检查类型是否是枚举类型
(类模板) [edit]
(C++11)
检查是否是union类型
(类模板) [edit]
(C++11)
检查是否是除union以外的对象类型
(类模板) [edit]
检查是否为函数类型
(类模板) [edit]
检查是否是指针类型
(类模板) [edit]
检查是不是一个“左值引用”类型。
(类模板) [edit]
检查是否是“右值引用”类型。
(类模板) [edit]
检查是否是一个指向非静态成员变量的指针类型
(类模板) [edit]
检查是否是指向非静态成员函数的指针类型
(类模板) [edit]
复合类型类别
检查是否是基础类型
(类模板) [edit]
检查是不是数字类型
(类模板) [edit]
(C++11)
检查是否是标量类型
(类模板) [edit]
(C++11)
检查是否是对象类型
(类模板) [edit]
检查是否是一个复合类型
(类模板) [edit]
检查是否是“左值引用”或“右值引用”
(类模板) [edit]
检查是否是指向非静态函数或成员的指针类型
(类模板) [edit]
类型属性
(C++11)
检查类型是否包含const修饰符
(类模板) [edit]
检查类型是否包含volatile修饰符
(类模板) [edit]
检查是否是标量类型
(类模板) [edit]
检查类型是否可以通过简单拷贝内存完成拷贝
(类模板) [edit]
检查是否是一个标准布局类型
(类模板) [edit]
(C++11)
检查是否是传统C数据结构(POD)类型
(类模板) [edit]
(C++11)(C++17中过时)
检查类型是否为字面类型
(类模板) [edit]
检查是否该类型对象的每一位都对其值有贡献
(类模板) [edit]
(C++11)
检查是否是除union外的对象类型,且没有包含任何成员
(类模板) [edit]
检查是否是一个多态对象
(类模板) [edit]
(C++14)
检查一个类型是否为 final 类类型
(类模板) [edit]
检查是否是一个抽象对象类型
(类模板) [edit]
(C++11)
检查是否是有符号数字类型
(类模板) [edit]
检查是否是无符号数字类型
(类模板) [edit]
受支持操作
检查对象是否实现了特定参数的构造函数
(类模板) [edit]
检查类型是否使用默认构造函数
(类模板) [edit]
检查对象是否声明了拷贝构造函数
(类模板) [edit]
检查对象是否声明了移动构造函数
(类模板) [edit]
检查对象是否重载了特定参数的赋值运算符
(类模板) [edit]
检查对象是否重载了拷贝赋值运算符
(类模板) [edit]
检查对象是否重载了移动赋值运算符
(类模板) [edit]
检查对象是否声明了析构函数
(类模板) [edit]
检查对象是否声明了虚析构函数
(类模板) [edit]
检查一个类型的对象是否能与同类型或不同类型的对象交换
(类模板) [edit]
属性查询
获取类型的最小对齐字节数
(类模板) [edit]
(C++11)
获取数组类型的维度
(类模板) [edit]
(C++11)
获取指定维度的数据类型大小
(类模板) [edit]
类型关系
(C++11)
检查两个类型是否相同
(类模板) [edit]
检查一个类型是否派生自另一个类型
(类模板) [edit]
检查一个类型是否可以被转换成另一个类型
(类模板) [edit]
检查一个类型是否能被以给定参数类型调用(如同用std::invoke
(类模板) [edit]

[编辑] 类型修改

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

定义于头文件 <type_traits>
常-易变性指定器
去除类型的const或/和volatile修饰符
(类模板) [edit]
(C++11)
(C++11)
(C++11)
为类型添加const或/和volatile修饰符
(类模板) [edit]
引用
移除类型的引用修饰符
(类模板) [edit]
为类型增加“左值”或“右值”引用修饰符
(类模板) [edit]
指针
移除类型的指针修饰符
(类模板) [edit]
为类型添加指针修饰符
(类模板) [edit]
符号修改器
将整数类型转换成对应的有符号整数类型
(类模板) [edit]
将整数类型转换成对应的无符号整数类型
(类模板) [edit]
数组
删除数组类型的一个给定维度
(类模板) [edit]
移除数组类型所有维度
(类模板) [edit]

[编辑] 杂项变换

定义于头文件 <type_traits>
定义类型在未初始化时需要的内存空间大小
(类模板) [edit]
定义所有给定类型在未初始化时需要的最大内存空间大小
(类模板) [edit]
(C++11)
将类型变换成以值形式传递给函数时使用的类型
(类模板) [edit]
(C++11)
根据编译期布尔常量隐藏一种函数重载或模板特化
(类模板) [edit]
根据编译期布尔常量返回两种类型的其中一个
(类模板) [edit]
推导出混合模式数学表达式计算结果的类型
(类模板) [edit]
获取枚举常量对应的整数类型
(类模板) [edit]
(C++11)
推导函数调用表达式的返回类型
(类模板) [edit]
(C++17)
void 变参数别名模板
(别名模板) [edit]

[编辑] 特性上的运算

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

[编辑] 帮助类

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

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

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

[编辑] 参阅

类型支持库C 文档