标点符号

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

功能测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

C++ 语言

一般主题
预处理器 注释	关键字 转义序列
流程控制
条件执行语句
if	switch
迭代语句（循环）
for range-for (C++11)	while do-while
跳转语句
continue - break	goto - return
函数
函数声明
lambda 函数表达式
inline 指定符
动态异常说明 (until C++17*)
noexcept 指定符 (C++11)
异常
throw-表达式 try 块	处理程序
命名空间
命名空间声明	命名空间别名
类型
基本类型 枚举类型 函数类型	类/结构类型 联合类型
指定符
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) static
特殊成员函数
默认构造函数 复制构造函数 移动构造函数 (C++11)	复制赋值 移动赋值 (C++11) 析构函数
模板
类模板 函数模板	模板特化 参数包 (C++11)
其他
内联汇编	C++ 的历史

 

基本概念

注释

ASCII

标点符号

名称和标识符

类型

基本类型

对象

作用域

对象生命周期

存储持续时间和链接

定义和 ODR

名称查找

限定名称查找

非限定名称查找

as-if 规则

未定义的行为

内存模型

多线程执行和数据竞争 (C++11)

字符集和编码

翻译阶段

main 函数

模块 (C++20)

 

这些是 C++ 中的标点符号。每个符号的含义在链接的页面中详细说明。

预处理运算符

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

# (包括 %:)

• 引入 预处理指令.
• 用于 字符串化的预处理运算符.

##(包括 %:%:)

• 用于 令牌粘贴的预处理运算符.

单字符运算符和标点符号

{ 和 } （包括 <% 和 %>)

• 在 类 定义中，限定 成员说明。
• 在 枚举 定义中，限定枚举器列表。
• 限定一个 复合语句。复合语句可能是以下的一部分

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

一个 lambda 表达式

(自 C++11 起)

• 构成 聚合初始化(直到 C++11)列表初始化(自 C++11 起) 语法中的 初始化器。
• 在 命名空间定义 中，限定命名空间体。
• 在 语言链接说明 中，限定声明。

在 requires 表达式 中，限定需求。 在 复合需求 中，限定表达式。 在 导出声明 中，限定声明。

(自 C++20 起)

[ 和 ] （包括 <: 和 :>)

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

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

( 和 )

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

• typeid
• sizeof

sizeof... alignof noexcept

(自 C++11 起)

• 在 放置 new 表达式 中，限定放置参数。
• 在 new 表达式 中，可选地限定类型标识符。
• 在 new 表达式 中，限定初始化器。
• 在 C 风格类型转换 中，限定类型标识符。
• 在 声明 或 类型标识符 中，表示分组。
• 限定以下的形参列表

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

一个 lambda 表达式	(自 C++11 起)
一个 用户定义的推导指南	(自 C++17 起)
一个 requires 表达式	(自 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 起)

?

• 构成 条件运算符 的一部分。

.

• 成员访问运算符.

在 聚合初始化 中，引入指定符。 构成 模块名称或模块分区名称 的一部分。

(自 C++20 起)

~ (包括 compl)

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

! （包括 not）

• 逻辑非运算符；是 运算符重载 中 operator! 的一部分。

是 consteval if 语句的一部分。

(自 C++23 起)

+

• 一元加号运算符；是 运算符重载 中 operator+ 的一部分。
• 二元加号运算符；是 运算符重载 中 operator+ 的一部分。

-

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

*

• 间接运算符；是 运算符重载 中 operator* 的一部分。
• 乘法运算符；是 运算符重载 中 operator* 的一部分。
• 指针运算符或 声明符 或 类型标识符 中指向成员的指针运算符的一部分。

是 Lambda 捕获 列表中 *this 的一部分，用于按值捕获当前对象。

(自 C++17 起)

/

• 除法运算符；是 运算符重载 中 operator/ 的一部分。

%

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

^ （包括 xor）

• 按位异或运算符；是 运算符重载 中 operator^ 的一部分。

& （包括 bitand）

• 取地址运算符；是 运算符重载 中 operator& 的一部分。
• 按位与运算符；是 运算符重载 中 operator& 的一部分。
• 声明符 或 类型标识符 中的左值引用运算符。

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

(自 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 预处理表达式	(自 C++17 起)
import 声明	(自 C++20 起)

>

• 大于运算符；是 运算符重载 中 operator> 的一部分。
• 在 static_cast、const_cast、reinterpret_cast 或 dynamic_cast 中，表示类型标识符的结束。
• 表示 模板参数列表 的结束。
• 在模板参数列表中，指示列表的结束。

• 模板声明
• 偏特化

一个 lambda 表达式

(自 C++20 起)

• 是 模板特化声明 中 template<> 的一部分。
• 指示头文件名称的结束。

• #include 指令

__has_include 预处理表达式	(自 C++17 起)
import 声明	(自 C++20 起)

,

• 逗号运算符；是operator,的一部分，在运算符重载中。
• 列表分隔符，用于：

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

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

• 类似函数的宏定义中的宏参数列表
• 类似函数的宏调用中的宏参数列表，除非位于参数的括号之间

在static_assert声明中，分隔参数。

(自 C++11 起)

多字符运算符和分隔符

...

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

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

::

• 作用域解析运算符，用于：

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

在属性中，指示属性的作用域。	(自 C++11 起)
是嵌套命名空间定义的一部分。	(自 C++17 起)

.*

• 指向成员的访问运算符.

->

• 成员访问运算符；是operator->的一部分，在运算符重载中。

在函数声明符或lambda表达式中，引入尾随返回类型。	(自 C++11 起)
在用户定义的推导指南中，引入结果类型。	(自 C++17 起)
在复合需求中，引入返回类型需求。	(自 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&& 的一部分，位于 运算符重载 中。

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

(自 C++11 起)

|| （包括 or）

• 逻辑或运算符；operator|| 的一部分，位于 运算符重载 中。

<<

• 按位移位运算符；operator<< 的一部分，位于运算符重载中（按位运算符 或 流插入运算符）。

>>

• 按位移位运算符；operator>> 的一部分，位于运算符重载中（按位运算符 或 流提取运算符）。

<<=

• 复合赋值运算符；operator<<= 的一部分，位于 运算符重载 中。

>>=

• 复合赋值运算符；operator>>= 的一部分，位于 运算符重载 中。

++

• 递增运算符；operator++ 的一部分，位于 运算符重载 中。

--

• 递减运算符；operator-- 的一部分，位于 运算符重载 中。

参考

• C++23 标准 (ISO/IEC 14882:2024)

• 5.12 运算符和标点符号 [lex.operators]

• C++20 标准 (ISO/IEC 14882:2020)

• 5.12 运算符和标点符号 [lex.operators]

• C++17 标准 (ISO/IEC 14882:2017)

• 5.12 运算符和标点符号 [lex.operators]

• C++14 标准 (ISO/IEC 14882:2014)

• 2.13 运算符和标点符号 [lex.operators]

• C++11 标准 (ISO/IEC 14882:2011)

• 2.13 运算符和标点符号 [lex.operators]

• C++03 标准 (ISO/IEC 14882:2003)

• 2.12 运算符和标点符号 [lex.operators]

• C++98 标准 (ISO/IEC 14882:1998)

• 2.12 运算符和标点符号 [lex.operators]

另请参见

替代表示	某些运算符的备用拼写方式
C 文档 中的 标点符号