标点

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

C++ 语言

通用主题
预处理器 注释	关键词 转义序列
流程控制
条件执行语句
if	switch
迭代语句（循环）
for range-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) static
特殊成员函数
默认构造函数 复制构造函数 移动构造函数 (C++11)	复制赋值 移动赋值 (C++11) 析构函数
模板
类模板 函数模板	模板特化 参数包 (C++11)
杂项
内联汇编	C++ 历史

 

基本概念

注释

ASCII

标点

名称和标识符

类型

基本类型

对象

作用域

对象生命周期

存储期和链接

定义和 ODR

名称查找

限定名查找

非限定名查找

as-if 规则

未定义行为

内存模型

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

字符集和编码

翻译阶段

main 函数

模块 (C++20)

契约 (C++26)

 

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

预处理运算符

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

# (包括 %:)

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

##(包括 %:%:)

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

单字符运算符和标点符号

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

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

• 函数定义
• try 块

lambda 表达式

(C++11 起)

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

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

(C++20 起)

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

• 下标运算符；运算符重载中 operator[] 的一部分。
• 在声明或类型 ID (例如在new 表达式中) 中，作为数组声明符的一部分。
• 在运算符重载（分配函数）中，作为 new[] 运算符的一部分。
• 在delete 表达式和运算符重载（解除分配函数）中，作为 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 表达式中，可选地分隔类型 ID。
• 在new 表达式中，分隔初始化器。
• 在C 风格转换中，分隔类型 ID。
• 在声明或类型 ID中，表示分组。
• 分隔以下内容中的参数列表

• 函数声明符（在声明或类型 ID中）

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* 的一部分。
• 在声明符或类型 ID中，作为指针运算符或指向成员的指针运算符的一部分。

在lambda 捕获列表中，作为 *this 的一部分，用于按值捕获当前对象。

(C++17 起)

/

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

%

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

^ (包括 xor)

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

& (包括 bitand)

• 取地址运算符；运算符重载中 operator& 的一部分。
• 按位与运算符；运算符重载中 operator& 的一部分。
• 在声明符或类型 ID中，作为左值引用运算符。

在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 中，引入类型 ID。
• 引入模板参数列表。
• 在以下内容中引入模板形参列表

• 模板声明
• 偏特化

lambda 表达式

(C++20 起)

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

• #include 指令

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

>

• 大于运算符；运算符重载中 operator> 的一部分。
• static_cast、const_cast、reinterpret_cast 或 dynamic_cast，表示类型 ID 的结束。
• 表示模板实参列表的结束。
• 表示模板形参列表的结束

• 模板声明
• 偏特化

lambda 表达式

(C++20 起)

• 在模板特化声明中，作为 template<> 的一部分。
• 表示头文件名的结束

• #include 指令

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

,

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

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

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

• 函数式宏定义中的宏参数列表
• 函数式宏调用中的宏参数列表，除非在参数的括号之间找到

在static_assert 声明中，分隔参数。

(C++11 起)

多字符运算符和标点符号

...

• 在函数声明符或 lambda 表达式(C++11 起)或用户定义推导指南(C++17 起)的参数列表中，表示变参函数。
• 在处理程序中，表示 catch-all 处理程序。

在宏定义中，表示变参宏。 表示包声明和展开。	(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&& 的一部分。

在声明符或类型 ID中，作为右值引用运算符。 成员函数声明中的引用限定符。

(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 文档中的 标点符号