Type support
%28也见type对于类型系统概述%29。
基本类型
语言定义的基本类型
附加基本类型和宏
在标头中定义<cstddef>
*。
大小[医]t无符号整数类型，由大号运算符%28tydurif%29返回
ptrdiff[医]当减去两个指针%28ty胡枝子%29时返回的有符号整数类型
nullptr[医]t%28C++11%29空指针的类型
空实现-定义的空指针常数%28宏常数%29
马克斯[医]对齐[医]T%28C++11%29 POD类型，其对齐要求与任何其他标量类型%28-胡枝子(%29)一样大
从标准布局类型开始到指定成员%28函数宏%29的字节偏移量
字节%28C++17%29字节类型%28 enum%29
在标头中定义<cstdbool>
[医][医]布尔[医]千真万确[医]假的[医]是[医]定义%28C++11%29 C兼容宏常数，扩展为整数常数1%28宏常数%29
在标头中定义<cstdalign>
[医][医]对齐[医]是[医]定义%28C++11%29 C兼容宏常数，扩展为整数常数1%28宏常数%29
固定宽度整数类型%28自C++11%29
数值极限
在标头中定义<limits>
*。
数字[医]极限提供了一个接口，用于查询所有基本数字类型的属性。%28类模板%29
C数字限制接口
运行时类型识别
在标头中定义<typeinfo>
*。
类型[医]INFO包含由实现生成的某些类型%27 s信息。这是由Typeid操作符返回的类。28级%29
坏[医]如果Typeid表达式中的参数为NULL%28class%29，则引发Typeid异常
坏[医]由无效的动态引发的强制转换异常。[医]转换表达式，即引用类型的强制转换失败%28class%29
在标头中定义<typeindex>
类型[医]索引%28C++11%29类型的包装器[医]对象，可用作关联和无序关联容器%28class%29中的索引。
类型性状%28自C++11%29
类型特性定义了一个基于编译时模板的接口，用于查询或修改类型的属性。
控件中定义的模板。<type_traits>标头导致未定义的行为，但std::common_type可能是专门的如其描述所述...
中定义的模板。<type_traits>除非另有规定，否则可以用不完整类型实例化标头，尽管一般禁止用不完整类型实例化标准库模板。
类型属性
在标头<type中定义[医]性状>
*。
主要类型类别
是[医]空%28C++11%29检查一个类型是否为空%28类模板%29
是[医]零[医]指针%28C++14%29检查类型是否为std：：nullptr[医]T%28类模板%29
是[医]整数%28C++11%29检查类型是否为整型%28类模板%29
是[医]浮[医]点%28C++11%29检查类型是否为浮点数类型%28类模板%29
是[医]数组%28C++11%29检查类型是否为数组类型%28类模板%29
是[医]枚举%28C++11%29检查类型是否为枚举类型%28类模板%29
是[医]UNION%28C++11%29检查类型是否为联合类型%28类模板%29
是[医]类%28C++11%29检查某个类型是否为不合并类类型%28类模板%29。
是[医]函数%28C++11%29检查类型是否为函数类型%28类模板%29
是[医]指针%28C++11%29检查类型是否为指针类型%28类模板%29
是[医]洛值[医]引用%28C++11%29检查类型是否为lvalue引用%28class模板%29
是[医]r值[医]引用%28C++11%29检查类型是否为rvalue引用%28class模板%29
是[医]成员[医]对象[医]指针%28C++11%29检查类型是否是指向非静态成员对象%28类模板%29的指针。
是[医]成员[医]功能[医]指针%28C++11%29检查类型是否是指向非静态成员函数%28类模板%29的指针。
复合类型范畴
是[医]基本%28C++11%29检查一个类型是否是基本类型%28类模板%29
是[医]算术%28C++11%29检查一个类型是否是算术类型%28class模板%29
是[医]标量%28C++11%29检查类型是否为标量类型%28类模板%29
是[医]对象%28C++11%29检查类型是否为对象类型%28类模板%29
是[医]化合物%28C++11%29检查一个类型是否为复合类型%28类模板%29
是[医]引用%28C++11%29检查类型是否为lvalue引用或rvalue引用%28class模板%29
是[医]成员[医]指针%28C++11%29检查类型是否是指向非静态成员函数或对象%28类模板%29的指针。
类型属性
是[医]Const%28C++11%29检查类型是否为Const-合格%28类模板%29
是[医]挥发性%28C++11%29检查一个类型是否易失性-合格%28类模板%29
是[医]普通%28C++11%29检查类型是否为平凡%28类模板%29
是[医]琐碎[医]可复制%28C++11%29检查某类型是否可以复制%28类模板%29
是[医]标准[医]布局%28C++11%29检查某一类型是否为标准类型-布局类型%28类模板%29
是[医]POP%28C++11%29检查一个类型是否为旧数据%28POD%29类型%28class模板%29
是[医]文字[医]类型%28C++11%29%28在C++17%29中不建议使用，检查类型是否为文字类型%28class模板%29
有[医]独树一帜[医]对象[医]表示%28C++17%29检查类型%27s对象表示中的每一位是否有助于其值%28类模板%29
是[医]空的%28C++11%29检查类型是否为类%28，但不检查联合%29类型，并且没有数据%28类模板%29
是[医]多态%28C++11%29检查某一类型是否为多态类类型%28类模板%29
是[医]摘要%28C++11%29检查某个类型是否为抽象类类型%28类模板%29
是[医]最后%28C++14%29检查类型是否为最终类类型%28类模板%29
是[医]聚合%28C++17%29检查类型是否为聚合类型%28类模板%29
是[医]签名%28C++11%29检查类型是否有符号算术类型%28类模板%29
是[医]无符号%28C++11%29检查类型是否为无符号算术类型%28class模板%29
支助的业务
*。
是[医]构造性[医]琐碎[医]构造性[医]无抛[医]可构造的%28C++11%29%28C+11%29%28C+11%29检查类型是否具有特定参数的构造函数%28类模板%29
是[医]违约[医]构造性[医]琐碎[医]违约[医]构造性[医]无抛[医]违约[医]可构造的%28C++11%29%28C+11%29%28C+11%29检查类型是否具有默认构造函数%28类模板%29
是[医]复制[医]构造性[医]琐碎[医]复制[医]构造性[医]无抛[医]复制[医]可构造%28C++11%29%28C+11%29%28C+11%29检查类型是否具有复制构造函数%28class模板%29
是[医]移动[医]构造性[医]琐碎[医]移动[医]构造性[医]无抛[医]移动[医]可构造%28C++11%29%28C+11%29%28C+11%29检查是否可以从rvalue引用%28class模板%29构造类型
是[医]可分配[医]琐碎[医]可分配[医]无抛[医]可分配%28C++11%29%28C+11%29%28C+11%29检查类型是否有特定参数%28类模板%29的赋值运算符
是[医]复制[医]可分配[医]琐碎[医]复制[医]可分配[医]无抛[医]复制[医]可分配%28C++11%29%28C+11%29%28C+11%29检查类型是否有副本赋值操作符%28类模板%29
是[医]移动[医]可分配[医]琐碎[医]移动[医]可分配[医]无抛[医]移动[医]可分配%28C++11%29%28C+11%29%28C+11%29检查类型是否有移动赋值操作符%28class模板%29
是[医]破坏性[医]琐碎[医]破坏性[医]无抛[医]可销毁%28C+11%29%28C+11%29%28C+11%29检查类型是否具有非删除的析构函数%28类模板%29
有[医]虚拟[医]析构函数%28C++11%29检查类型是否具有虚拟析构函数%28类模板%29
是[医]可互换[医]威斯[医]可换[医]无抛[医]可互换[医]威斯[医]无抛[医]可交换%28C+17%29%28C+17%29%28C++17%29%28C+17%29检查类型的对象是否可以与相同或不同类型的对象交换%28class模板%29
属性查询
*。
对齐[医]%28C++11%29获得类型%27s对齐要求%28类模板%29
秩%28C++11%29获得数组类型的维数%28类模板%29
范围%28C++11%29沿指定维度%28类模板获得数组类型的大小
类型关系
*。
是[医]相同的%28C++11%29检查两种类型是否为相同的%28类模板%29
是[医]底座[医]在%28C++11%29中，检查类型是否派生自其他类型%28类模板%29
是[医]可转换%28C++11%29检查一个类型是否可以转换为其他类型%28class模板%29
是[医]可调用[医]可调用[医]RIS[医]无抛[医]可调用[医]无抛[医]可调用[医]r%28C++17%29检查一个类型是否可以通过std：：调用%29与给定的参数类型%28类模板%29
类型修改
类型修改模板通过对模板参数应用修改来创建新的类型定义。然后，可以通过type成员类型
在标头<type中定义[医]性状>
*。
Const-挥发性说明符
移除[医]移除[医]移除[医]挥发性%28C++11%29%28C+11%29%28C+11%29从给定类型%28类模板%29中删除Const或/和挥发性说明符
加[医]cvadd[医]星座[医]挥发性%28C++11%29%28C+11%29%28C+11%29在给定类型%28类模板%29中添加Const或/和挥发性说明符
参考文献
移除[医]引用%28C++11%29从给定类型%28类模板%29中删除引用
加[医]洛值[医]参考添加[医]r值[医]引用%28C++11%29%28C++11%29向给定类型%28类模板%29添加lvalue或rvalue引用
指针
移除[医]指针%28C++11%29从给定类型%28类模板%29中删除指针
加[医]指针%28C++11%29将指针添加到给定类型%28类模板%29
符号修饰符
制造[医]有符号%28C++11%29使给定的整数类型有符号%28类模板%29
制造[医]无符号%28C++11%29使给定的整型无符号%28类模板%29
阵列
移除[医]范围%28C++11%29从给定数组类型%28类模板%29中删除一个区段
移除[医]全[医]区段%28C++11%29从给定数组类型%28类模板%29中删除所有区段
杂项变换
在标头<type中定义[医]性状>
*。
对齐[医]存储%28C++11%29将适合使用的类型定义为给定大小的类型的未初始化存储%28类模板%29
对齐[医]UNION%28C++11%29定义适合用于所有给定类型的未初始化存储类型%28类模板%29
衰变%28C++11%29在通过值%28类模板%29传递函数参数时应用类型转换
使能[医]如果%28C++11%29隐藏基于编译时布尔值%28类模板%29的函数重载或模板专门化
条件%28C++11%29基于编译类型boole%28 class模板%29选择一种类型或另一种类型。
共同[医]类型%28C++11%29确定类型组%28类模板%29的公共类型
底层[医]类型%28C++11%29获得给定枚举类型%28类模板%29的基础整数类型
结果[医]奥芬沃克[医]结果%28C++11%29%28在C++17%29%28C+17%29中不推荐使用一组参数%28类模板%29演绎调用可调用对象的结果类型
空隙[医]t%28C++17%29空可变别名模板%28别名模板%29
性状运算
在标头<type中定义[医]性状>
*。
连接%28C++17%29可变逻辑和元功能%28类模板%29
分离%28C++17%29可变逻辑或元功能%28类模板%29
否定%28C++17%29逻辑非元功能%28类模板%29
帮助者类
在标头<type中定义[医]性状>
*。
积分[医]恒博[医]常数%28C++11%29%28C++17%29指定类型的编译时常数，指定值%28类模板%29
两个专门化std::integral_constant类型bool提供：
在标头<type中定义[医]性状>
*。
类型定义
千真万确[医]STD类型：：整型[医]常数<bool，true>
假的[医]STD类型：：整型[医]常数<bool，false>
另见
类型支持库的C文档
*。
? cppreference.com在CreativeCommonsAttribution下授权-ShareAlike未移植许可v3.0。
本文档系腾讯云开发者社区成员共同维护，如有问题请联系 cloudcommunity@tencent.com
