标点符号

 

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++11 中弃用*)
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++ 历史

 

基本概念

注释

ASCII

标点符号

名称与标识符

类型

基本类型

对象

作用域

对象生存期

存储期与链接

定义与 ODR

名字查找

限定名查找

非限定名查找

如同规则

未定义行为

内存模型

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

字符集与编码

翻译阶段

main 函数

模块 (C++20)

契约 (C++26)

 

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

预处理运算符

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

#（包括 %:）

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

##（包括 %:%:）

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

单字符运算符和标点符号

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

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

• 函数定义
• try 块

lambda 表达式

（自 C++11）

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

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

（自 C++20）

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

• 下标运算符；在运算符重载中，作为 operator[] 的一部分。
• 作为数组声明符的一部分，用于声明或类型标识（例如在 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 表达式中，可选地分隔类型标识。
• 在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 语句的 condition 和 statement。

:

• 作为 条件运算符的一部分。
• 作为 标签声明的一部分。
• 在类定义的 base-clause 中，引入基类。
• 作为成员规范中访问说明符的一部分。
• 在位域成员声明中，引入宽度。
• 在构造函数定义中，引入成员初始化列表。

在范围基于 for 语句中，分隔 item-declaration 和 range-initializer。 在枚举声明的 enum-base 中，引入底层类型。	（自 C++11）
在属性说明符中，分隔 attribute-namespace 和 attribute-list。	（自 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 文档关于 标点符号