操作符的替代表示

 

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) static
特殊成员函数
默认构造函数 复制构造函数 移动构造函数 (C++11)	复制赋值 移动赋值 (C++11) 析构函数
模板
类模板 函数模板	模板特化 形参包 (C++11)
杂项
内联汇编	C++ 的历史

 

表达式

通用
值类别 求值顺序 常量表达式 主表达式	Lambda 表达式 (C++11) Requires 表达式 (C++20) 形参包索引表达式 (C++26) 潜在求值表达式
字面量
整型字面量 浮点字面量 布尔字面量 字符字面量	转义序列 字符串字面量 空指针字面量 (C++11) 用户定义字面量 (C++11)
运算符
赋值运算符 递增和递减 算术运算符 逻辑运算符 比较运算符 成员访问运算符 其他运算符 new-表达式 delete-表达式 throw-表达式	alignof sizeof sizeof... (C++11) typeid noexcept (C++11) 折叠表达式 (C++17) 运算符的替代表示 优先级和结合性 运算符重载 默认比较 (C++20)
转换
隐式转换 显式转换 常用算术转换     用户定义的转换	const_cast static_cast dynamic_cast reinterpret_cast

 

C++（和 C）源代码可以使用任何包含 ISO 646:1983 不变字符集的非 ASCII 7 位字符集编写。但是，几个 C++ 运算符和标点符号需要 ISO 646 代码集之外的字符：{, }, [, ], #, \, ^, |, ~。为了能够使用其中一些或所有这些符号不存在的字符编码（例如德语 DIN 66003），C++ 定义了以下由 ISO 646 兼容字符组成的替代方案。

替代记号

对于几个运算符和其他使用非 ISO646 字符的记号，存在替代拼写。在语言的所有方面，除了拼写之外，每个替代记号的行为都与其主要记号完全相同（字符串化运算符 可以使拼写可见）。双字母替代记号有时称为“二合字母”。尽管有四个字母长，%:%: 也被认为是二合字母。

主要	替代
&&	and
&=	and_eq
&	bitand
|	bitor
~	compl
!	not
!=	not_eq
||	or
|=	or_eq
^	xor
^=	xor_eq
{	<%
}	%>
[	<:
]	:>
#	%:
##	%:%:

三字符组 （C++17 中移除）

以下三字符组（三字符组）在 解析注释和字符串字面量之前被解析，并且每次出现三字符组都会被替换为相应的基本字符

主要	三字符组
{	??<
}	??>
[	??(
]	??)
#	??=
\	??/
^	??'
|	??!
~	??-

由于三字符组处理得很早，因此像 // Will the next line be executed?????/ 这样的注释将有效地注释掉下一行，而像 "Enter date ??/??/??" 这样的字符串字面量被解析为 "Enter date \\??"。

注意

字符 & 和 ! 在 ISO-646 下是不变的，但是无论如何，都为使用这些字符的记号提供了替代方案，以适应更严格的历史字符集。

对于相等运算符 == 没有替代拼写（例如 eq），因为字符 = 存在于所有受支持的字符集中。

与 C 的兼容性

相同的单词在 C 编程语言的头文件 <iso646.h> 中定义为宏。因为在 C++ 中，这些是内置于语言中的，所以 C++ 版本的 <iso646.h> 以及 <ciso646> 没有定义任何内容。但是，非单词二合字母（例如 <%）是核心语言的一部分，可以在不包含任何头文件的情况下使用（否则，在任何缺少 # 的字符集上都将无法使用它们）。

关键字

and, and_eq, bitand, bitor, compl, not, not_eq, or, or_eq, xor, xor_eq

示例

以下示例演示了几个替代记号的用法。

运行此代码

%:include <iostream>
 
struct X
<%
    compl X() <%%> // destructor
    X() <%%>
    X(const X bitand) = delete; // copy constructor
    // X(X and) = delete; // move constructor
 
    bool operator not_eq(const X bitand other)
    <%
       return this not_eq bitand other;
    %>
%>;
 
int main(int argc, char* argv<::>) 
<%
    // lambda with reference-capture:
    auto greet = <:bitand:>(const char* name)
    <%
        std::cout << "Hello " << name
                  << " from " << argv<:0:> << '\n';
    %>;
 
    if (argc > 1 and argv<:1:> not_eq nullptr)
        greet(argv<:1:>);
    else
        greet("Anon");
%>

可能输出

Hello Anon from ./a.out

参考文献

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

• 5.5 替代记号 [lex.digraph]

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

• 5.5 替代记号 [lex.digraph]

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

• 5.5 替代记号 [lex.digraph]

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

• 2.4 三字符序列 [lex.trigraph]

• 2.6 替代记号 [lex.digraph]

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

• 2.4 三字符序列 [lex.trigraph]

• 2.6 替代记号 [lex.digraph]

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

• 2.3 三字符序列 [lex.trigraph]

• 2.5 替代记号 [lex.digraph]

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

• 2.3 三字符序列 [lex.trigraph]

• 2.5 替代记号 [lex.digraph]

另请参阅

C 文档 关于 替代操作符和记号