Punctuation

以下是 C++ 中的标点符号。每个符号的具体含义详见链接页面。

目录 1 预处理运算符 1.1 # （包括 % : ） 1.2 ## （包括 % : % : ） 2 单字符运算符与标点符 2.1 { 和 } （包括 < % 和 % > ） 2.2 [ 和 ] （包括 < : 和 : > ） 2.3 ( 和 ) 2.4 ; 2.5 : 2.6 ? 2.7 . 2.8 ~ （包括 compl ） 2.9 ! （包括 not ） 2.10 + 2.11 - 2.12 * 2.13 / 2.14 % 2.15 ^ （包括 xor ） 2.16 & （包括 bitand ） 2.17 | （包括 bitor ） 2.18 = 2.19 < 2.20 > 2.21 , 3 多字符运算符与标点符 3.1 ... 3.2 :: 3.3 . * 3.4 - > 3.5 - > * 3.6 + = 3.7 - = 3.8 * = 3.9 / = 3.10 % = 3.11 ^ = （包括 xor_eq ） 3.12 & = （包括 and_eq ） 3.13 | = （包括 or_eq ） 3.14 == 3.15 ! = （包括 not_eq ） 3.16 <= 3.17 >= 3.18 <=> 3.19 && （包括 and ） 3.20 || （包括 or ） 3.21 << 3.22 >> 3.23 <<= 3.24 >>= 3.25 ++ 3.26 -- <li class="toc

预处理运算符

预处理运算符由 预处理器 识别。

# (包括 % : )

• 引入一个 预处理指令 。
• 字符串化预处理运算符 。

## （包括 % : % : ）

• 预处理标记粘贴运算符 。

单字符运算符与标点符

{ 和 } （包括 < % 与 % > ）

• 在 类 定义中，界定 成员声明 的范围。
• 在 枚举 定义中，界定枚举列表的范围。
• 界定 复合语句 的范围。该复合语句可以是以下结构的一部分：

• 一个 函数定义
• 一个 try 块

一个 lambda 表达式

(自 C++11 起)

• 作为 聚合初始化 (C++11 前) 列表初始化 (C++11 起) 语法的一部分，用于 初始化器 。
• 在 命名空间定义 中，界定命名空间主体范围。
• 在 语言链接规范 中，界定声明范围。

在 requires 表达式 中，界定需求规范。 在 复合需求 中，界定表达式范围。 在 export 声明 中，界定声明范围。

(C++20 起)

[ 和 ] (包括 < : 与 : > )

• 下标运算符 ；属于 运算符重载 中 operator [ ] 的组成部分。
• 在 声明 或 类型标识 中（例如在 new 表达式 中），作为 数组声明符 的组成部分。
• 在 运算符重载（分配函数） 中，作为 new [ ] 运算符的组成部分。
• 在 delete 表达式 和 运算符重载（释放函数） 中，作为 delete [ ] 运算符的组成部分。

在 lambda表达式 中，分隔 捕获列表 。 在 属性说明符 中，分隔各个属性。	(since C++11)
在 结构化绑定声明 中，分隔标识符列表。	(since C++17)
在 包索引 中，分隔表示索引的 转换后常量表达式 。	(since C++26)

( 和 )

• 在表达式中， 表示分组 。
• 函数调用运算符 ；在 运算符重载 中构成 operator ( ) 的一部分。
• 在 函数式类型转换 中，界定表达式/初始化器。
• 在 static_cast 、 const_cast 、 reinterpret_cast 或 dynamic_cast 中，界定表达式。
• 界定以下运算符的操作数：

• typeid
• sizeof

sizeof... alignof noexcept

(自 C++11 起)

• 在 placement new 表达式 中，界定放置参数。
• 在 new 表达式 中，可选地界定类型标识符。
• 在 new 表达式 中，界定初始化器。
• 在 C风格强制转换 中，界定类型标识符。
• 在 声明 或 类型标识符 中，表示分组。
• 界定

• 一个 函数声明符 （位于 声明 或 类型标识 中）

一个 lambda 表达式	(since C++11)
一个 用户定义的推导指南	(since C++17)
一个 requires 表达式	(since C++20)

• 作为 直接初始化 语法中 初始化器 的组成部分。
• 在 asm声明 中界定字符串字面量。
• 在 成员初始化列表 中界定基类或成员的初始化器。
• 界定选择语句或迭代语句的控制子句，包括：

• if （除 consteval if 外） (自 C++23 起)
• switch
• while
• do-while
• for

基于范围的 for

(C++11 起)

• 在 异常处理程序 中，分隔参数声明。
• 在 函数式宏定义 中，分隔宏参数。
• 在 函数式宏调用 中，分隔宏实参或防止逗号被解释为参数分隔符。
• 作为 defined 、 __has_include (C++17 起) 、 __has_cpp_attribute (C++20 起) 预处理运算符的组成部分。

在 static_assert 声明中，分隔操作数。 分隔以下说明符的操作数： decltype noexcept alignas explicit (C++20 起) 在 属性 中，分隔属性参数。	(C++11 起)
decltype(auto) 说明符的组成部分。	(C++14 起)
分隔 折叠表达式 。	(C++17 起)
可变参数宏定义中 __VA_OPT__ 替换的组成部分。	(C++20 起)

;

• 表示结束

• 一条 语句
• 一个 声明 或 成员声明

模块声明 、导入声明、全局模块片段引导符或私有模块片段引导符 需求表达式

(自 C++20 起)

• 将 for 语句 的 条件 与 语句体 分开。

:

• 条件运算符 的组成部分。
• 标签声明 的组成部分。
• 在 类定义 的 基类子句 中，引入 基类 。
• 成员声明中 访问说明符 的组成部分。
• 在 位域成员声明 中，指定位域宽度。
• 在 构造函数 定义中，引入成员初始化列表。

在 基于范围的 for 语句中，分隔 项声明 与 范围初始化器 。 在 枚举声明 的 枚举基 中，引入底层类型。	(自 C++11 起)
在 属性说明符 中，分隔 属性命名空间 与 属性列表 。	(自 C++17 起)
在 模块声明 或模块分区的导入声明中，引入模块分区名称。 私有模块片段 引入符的组成部分 ( module : private ; )。	(自 C++20 起)

?

• 作为 条件运算符 的一部分。

.

• 成员访问运算符 。

在 聚合初始化 中，引入指示符。 作为 模块名称或模块分区名称 的组成部分。

(since C++20)

~ （包括 compl ）

• 一元补码运算符（又称按位取反运算符） ；属于 运算符重载 中 operator~ 的组成部分。
• 作为 标识符表达式 的组成部分，用于命名 析构函数 或伪析构函数。

! （包括 not ）

• 逻辑非运算符 ；属于 运算符重载 中 operator ! 的组成部分。

作为 consteval if 语句的组成部分。

(since C++23)

+

• 一元加运算符 ；属于 运算符重载 中 operator + 的组成部分。
• 二元加运算符 ；属于 运算符重载 中 operator + 的组成部分。

-

• 一元减号运算符 ；属于 运算符重载 中的 operator - 部分。
• 二元减号运算符 ；属于 运算符重载 中的 operator - 部分。

*

• 间接操作符 ；在 运算符重载 中属于 operator * 的组成部分。
• 乘法运算符 ；在 运算符重载 中属于 operator * 的组成部分。
• 在 声明符 或 类型标识 中作为指针运算符或成员指针运算符的组成部分。

lambda 捕获 列表中的 * this 部分，用于通过复制捕获当前对象。

(since C++17)

/

• 除法运算符 ；属于 运算符重载 中 operator / 的组成部分。

%

• 取模运算符 ；属于 运算符重载 中的 operator % 部分。

^ (包括 xor )

• 按位异或运算符 ；属于 运算符重载 中 operator ^ 的组成部分。

& （包含 bitand ）

• 取址运算符 ；属于 运算符重载 中的 operator & 。
• 按位与运算符 ；属于 运算符重载 中的 operator & 。
• 在 声明符 或 类型标识 中的左值引用运算符。

在 lambda 捕获 中，指示按引用捕获。 引用限定符 在 成员函数声明 中。

(since C++11)

| （包括 bitor ）

• 按位或运算符 ；属于 operator | 在 运算符重载 中的组成部分。

=

• 简单赋值运算符 ；属于 运算符重载 中的 operator = ，可能是特殊成员函数（ 复制赋值运算符 或 移动赋值运算符 (自 C++11 起) ）。
• 构成 复制初始化 与 聚合初始化 (C++11 前) 复制列表初始化 (自 C++11 起) 语法中 初始化器 的一部分。
• 在 函数声明 中引入 默认实参 。
• 在 模板形参列表 中引入 默认模板实参 。
• 在 命名空间别名定义 中分隔别名与被别名化的命名空间。
• 在 枚举定义 中引入枚举项的值。
• 构成 纯虚函数声明 中 纯说明符 的一部分。

在 lambda 捕获 中表示默认按值捕获。 作为 函数定义 中默认定义（ = default ; ）或删除定义（ = delete ; ）的组成部分。 在 类型别名声明 中分隔别名与别名所指类型。	(C++11 起)
在 概念定义 中分隔概念名称与约束表达式。	(C++20 起)

<

• 小于运算符 ；属于 运算符重载 中的 operator < 。
• 在 static_cast 、 const_cast 、 reinterpret_cast 或 dynamic_cast 中引入类型标识。
• 引入 模板实参列表 。
• 引入 模板形参列表 于

• 一个 模板声明
• 一个 部分特化

一个 lambda 表达式

(自 C++20 起)

• 作为 模板特化声明 中 template <> 的一部分。
• 引入头文件名称

• 一条 #include 指令

一个 __has_include 预处理表达式	(since C++17)
一条 import 声明	(since C++20)

>

• 大于运算符 ；属于 运算符重载 中 operator > 的组成部分。
• static_cast 、 const_cast 、 reinterpret_cast 或 dynamic_cast ，用于指示类型标识的结束。
• 指示 模板实参列表 的结束。
• 指示 模板形参列表 的结束。

• 一个 模板声明
• 一个 部分特化

一个 lambda 表达式

(自 C++20 起)

• 作为 模板特化声明 中 template <> 的一部分。
• 在头文件名结尾处标识结束

• 一条 #include 指令

一个 __has_include 预处理表达式	(since C++17)
一条 import 声明	(since C++20)

,

• 逗号运算符 ；属于 operator, 在 运算符重载 中。
• 列表分隔符

• 声明 中的声明符列表
• 初始化 中的初始化器列表
• placement new 中的布置参数列表
• 函数调用表达式 中的参数列表
• enum 声明中的枚举符列表
• 类 声明中的 基类 列表
• 构造函数 定义中的成员初始化器列表
• 函数形参列表
• 模板形参列表
• 模板实参列表

lambda 捕获 列表 属性 列表	(since C++11)
using 声明 中的声明符列表 结构化绑定 声明中的标识符列表	(since C++17)
多参数下标表达式 中的参数列表	(since C++23)

• 在 函数式宏定义 中的宏参数列表
• 在 函数式宏调用 中的宏实参列表，除非位于参数的括号内

在 static_assert 声明中，分隔参数。

(自 C++11 起)

多字符运算符与标点符

...

• 在函数声明符 或 lambda 表达式 (C++11 起) 或用户定义推导指引 (C++17 起) 的 参数列表 中，表示 可变参数函数 。
• 在 异常处理 中，表示全捕获处理器。

在 宏定义 中，表示可变参数宏。 表示 参数包 声明与展开。	(C++11 起)
在 包索引 表达式与说明符中。	(C++26 起)

::

• 作用域解析运算符在

• 一个 限定名称
• 一个 指向成员的指针声明
• 一个 new 或 delete 表达式，用于指示仅查找全局分配或释放函数

在 属性 中，指示属性作用域。	(since C++11)
作为 嵌套命名空间定义 的组成部分。	(since C++17)

. *

• 指向成员访问运算符 。

- >

• 成员访问运算符 ；属于 运算符重载 中 operator - > 的组成部分。

在 函数声明符 或 lambda表达式 中，引入尾置返回类型。	(since C++11)
在 用户定义推导指南 中，引入结果类型。	(since C++17)
在 复合要求 中，引入返回类型要求。	(since C++20)

- > *

• 指向成员访问运算符 ；属于 运算符重载 中 operator - > * 的组成部分。

+ =

• 复合赋值运算符 ；属于 运算符重载 中 operator + = 的组成部分。

- =

• 复合赋值运算符 ；属于 运算符重载 中 operator - = 的组成部分。

* =

• 复合赋值运算符 ；属于 运算符重载 中 operator * = 的组成部分。

/ =

• 复合赋值运算符 ；属于 运算符重载 中 operator / = 的组成部分。

% =

• 复合赋值运算符 ；属于 运算符重载 中 operator % = 的组成部分。

^ = (包括 xor_eq )

• 复合赋值运算符 ；属于 运算符重载 中 operator ^ = 的组成部分。

& = （包含 and_eq ）

• 复合赋值运算符 ；属于 运算符重载 中 operator & = 的组成部分。

| = （包含 or_eq ）

• 复合赋值运算符 ；属于 运算符重载 中 operator | = 的组成部分。

==

• 相等运算符 ；属于 运算符重载 中的 operator == 部分。

! = （包括 not_eq ）

• 不等运算符 ；属于 运算符重载 中的 operator ! = 部分。

<=

• 小于等于运算符 ；属于 运算符重载 中的 operator <= 。

>=

• 大于等于运算符 ；属于 运算符重载 中 operator >= 的组成部分。

<=> 三路比较运算符 ；属于 运算符重载 中 operator <=> 的组成部分。

(自 C++20 起)

&& (包括 and )

• 逻辑与运算符 ；属于 运算符重载 中 operator && 的组成部分。

声明符或类型标识中的右值引用运算符。 成员函数声明中的引用限定符。

(since C++11)

|| (包含 or )

• 逻辑或运算符 ；属于 运算符重载 中 operator || 的组成部分。

<<

• 位运算移位运算符 ；在运算符重载中属于 operator << 的组成部分（ 位运算符 或 流插入运算符 ）。

>>

• 位运算移位操作符 ；属于运算符重载中 operator >> 的组成部分（ 位运算符 或 流提取运算符 ）。

<<=

• 复合赋值运算符 ；属于 运算符重载 中 operator <<= 的组成部分。

>>=

• 复合赋值运算符 ；属于 运算符重载 中 operator >>= 的组成部分。

++

• 递增运算符 ；属于 运算符重载 中 operator ++ 的组成部分。

--

• 递减运算符 ；属于 运算符重载 中 operator -- 的组成部分。

参考文献

参见

替代表示法	特定运算符的替代拼写
C 文档 关于 标点符号