类

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

C++ 语言

通用主题
预处理器 注释	关键字 转义序列
流程控制
条件执行语句
if	switch
迭代语句（循环）
for 范围 for (C++11)	while do-while
跳转语句
continue - break	goto - return
函数
函数声明
Lambda 函数表达式
inline 说明符
动态异常规范 (在 C++17 中弃用*)
noexcept 说明符 (C++11)
异常
throw 表达式 try 块	catch 处理程序
命名空间
命名空间声明	命名空间别名
类型
基本类型 枚举类型 函数类型	类/结构体类型 联合体类型
说明符
const/volatile decltype (C++11) auto (C++11)	constexpr (C++11) consteval (C++20) constinit (C++20)
存储期说明符
初始化
默认初始化 值初始化 零初始化 复制初始化 直接初始化	聚合初始化 列表初始化 (C++11)   常量初始化 引用初始化

表达式
值类别 求值顺序	运算符 运算符优先级
替代表示
字面量
布尔 - 整型 - 浮点型
字符 - 字符串 - nullptr (C++11)
用户定义 (C++11)
实用工具
特性 (C++11)
类型
typedef 声明
类型别名声明 (C++11)
转型
隐式转换 static_cast const_cast	显式转换 dynamic_cast reinterpret_cast
内存分配
new 表达式	delete 表达式
类
类声明 构造函数 this 指针	访问说明符 friend 说明符
类特定的函数属性
虚函数 override 说明符 (C++11)   final 说明符 (C++11)	explicit (C++11) 静态
特殊成员函数
默认构造函数 复制构造函数 移动构造函数 (C++11)	复制赋值 移动赋值 (C++11) 析构函数
模板
类模板 函数模板	模板特化 参数包 (C++11)
杂项
内联汇编	C++ 历史

 

类

通用

概述

class/struct 类型

union 类型

注入类名

类属性说明符 (C++26)

成员

数据成员

静态成员

this 指针

嵌套类

成员模板

位域

using 声明

成员函数

成员访问说明符

构造函数和成员初始化列表

默认成员初始化器 (C++11)

friend 说明符

explicit 说明符

转换构造函数

特殊成员函数

默认构造函数

复制构造函数

移动构造函数 (C++11)

复制赋值运算符

移动赋值运算符 (C++11)

析构函数

继承

基类和派生类

空基类优化 (EBO)

虚成员函数

纯虚函数和抽象类

override 说明符 (C++11)

final 说明符 (C++11)

 

类是用户定义的类型。

类类型由类说明符定义，该说明符出现在 decl-specifier-seq 的 声明 语法中。有关类说明符的语法，请参见 类声明。

一个类可以具有以下类型的成员

1) 数据成员

a) 非静态数据成员，包括 位域。

b) 静态数据成员

2) 成员函数

a) 非静态成员函数

b) 静态成员函数

3) 嵌套类型

a) 嵌套类 和在类定义中定义的 枚举

b) 现有类型的别名，使用 typedef 或 类型别名 (自 C++11 起)声明定义

c) 类自身定义中的名称充当其自身的公共成员类型别名，用于 查找（除非用于命名 构造函数）：这被称为注入类名

4) 来自类中定义的所有无作用域枚举的 枚举器，或由 using 声明 或 using-enum 声明 引入(自 C++20 起)

5) 成员模板（变量模板、(自 C++14 起)类模板或函数模板）可以出现在任何非局部类/结构体/联合体的正文中。

所有成员都在类定义中一次性定义，它们不能添加到已定义的类中（与命名空间的成员不同）

如果类 T 的成员是以下类型，则不能使用 T 作为其名称

• 静态数据成员，
• 成员函数，
• 成员类型，
• 成员模板，
• 枚举的枚举器 （除非枚举是作用域枚举）(自 C++11 起)，或
• 成员匿名联合体的成员。

但是，只要没有用户声明的构造函数，非静态数据成员可以使用名称 T。

具有至少一个声明或继承的 虚 成员函数的类是多态的。这种类型的对象是 多态对象，并且具有作为对象表示一部分存储的运行时类型信息，可以使用 dynamic_cast 和 typeid 查询。虚成员函数参与动态绑定。

具有至少一个声明或继承的纯虚成员函数的类是抽象类。无法创建此类型的对象。

具有 constexpr 构造函数的类是 字面类型：此类型的对象可以在编译时由 constexpr 函数操作。

(自 C++11 起)

类的属性

可平凡复制类 可平凡复制类是一个类，它 至少有一个合格的 复制构造函数、移动构造函数、复制赋值运算符或 移动赋值运算符， 每个合格的复制构造函数都是 平凡的 每个合格的移动构造函数都是 平凡的 每个合格的复制赋值运算符都是 平凡的 每个合格的移动赋值运算符都是 平凡的，并且 具有非删除的 平凡析构函数。 平凡类 平凡类是一个类，它 是可平凡复制的，并且 具有一个或多个 合格的默认构造函数，使得每个都是 平凡的。 (在 C++26 中已弃用) 标准布局类 标准布局类是一个类，它 没有类型为非标准布局类（或此类类型的数组）或引用的 非静态数据成员， 没有 虚函数 并且没有 虚基类， 对所有非静态数据成员具有相同的 访问控制， 没有非标准布局基类， 层次结构中只有一个类具有非静态数据成员，并且 非正式地，没有基类的类型与第一个非静态数据成员的类型相同。或者，正式地：给定类 S，没有类型集合 M(S) 的元素作为基类，其中类型 X 的 M(X) 定义为 如果 X 是没有（可能继承的）非静态数据成员的非联合类类型，则集合 M(X) 为空。 如果 X 是非联合类类型，其第一个非静态数据成员的类型为 X0（其中所述成员可能是匿名联合体），则集合 M(X) 由 X0 和 M(X0) 的元素组成。 如果 X 是联合体类型，则集合 M(X) 是所有 M(Ui) 的并集和包含所有 Ui 的集合，其中每个 Ui 是 X 的第 i 个非静态数据成员的类型。 如果 X 是元素类型为 Xe 的数组类型，则集合 M(X) 由 Xe 和 M(Xe) 的元素组成。 如果 X 是非类、非数组类型，则集合 M(X) 为空。 标准布局结构体是用类关键字 struct 或类关键字 class 定义的标准布局类。标准布局联合体是用类关键字 union 定义的标准布局类。

(自 C++11 起)

隐式生命周期类

隐式生命周期类是一个类，它

• 是一个 聚合体，其析构函数不是用户声明的(直到 C++11)用户提供的(自 C++11 起)，或者
• 至少有一个平凡的合格构造函数和一个平凡的、非删除的析构函数。

注意：隐式生命周期属性由缺陷报告 P0593R6 澄清。

POD 类 POD 类是一个类，它 是一个 聚合体， 没有用户声明的复制赋值运算符， 没有用户声明的析构函数，并且 没有类型为非 POD 类（或此类类型的数组）或引用的非静态数据成员。 (直到 C++11) 是平凡类， 是标准布局类，并且 没有类型为非 POD 类（或此类类型的数组）的非静态数据成员。 (自 C++11 起) POD 结构体是非联合 POD 类。POD 联合体是 POD 类的联合体。

(在 C++20 中已弃用)

缺陷报告

以下行为变更的缺陷报告被追溯应用于先前发布的 C++ 标准。

DR	应用于	已发布行为	正确行为
CWG 148	C++98	POD 类不能包含指向成员的指针， 它们本身是 POD（标量）类型	限制已移除
CWG 383	C++98	复制赋值运算符或析构函数可能是 如果未定义，则在 POD 类中用户声明	不允许
CWG 1363	C++11	一个同时具有平凡默认构造函数和非平凡 默认构造函数的类可能是平凡的	它是非平凡的
CWG 1496	C++11	一个只有构造函数的类 全部定义为已删除的可能是平凡的	它是非平凡的
CWG 1672	C++11	一个类可能是标准布局类 如果它有多个空基类	它不是标准布局类
CWG 1734	C++11	一个可平凡复制的类可能没有非平凡的 已删除的复制/移动构造函数/赋值运算符	如果已删除，则可以是平凡的
CWG 1813	C++11	如果一个类具有 继承非静态数据成员的基类	它可以是标准布局类
CWG 1881	C++11	对于标准布局类及其基类， 未命名的位域可能在 声明数据成员的不同类中声明	所有非静态数据成员 和位域需要首先 在同一个类中声明
CWG 1909	C++98	成员模板可能与其类同名	禁止
CWG 2120	C++11	用于确定标准布局类的 M(X) 定义 没有考虑以下情况 第一个成员是数组的类	在以下方面解决了这种情况 M(X) 的定义
CWG 2605	C++98	隐式生命周期类可能具有用户提供的析构函数	禁止