下表列出 C++ 运算符的优先级和结合性。各个运算符以优先级的降序从上至下列出。
优先级 | 运算符 | 描述 | 结合性 |
---|---|---|---|
1 | :: | 作用域解析 | 从左到右 |
2 | a++ a— | 后缀自增与自减 | |
type() type{} | 函数风格转型 | ||
a() | 函数调用 | ||
a[] | 下标 | ||
. -> | 成员访问 | ||
3 | ++a —a | 前缀自增与自减 | 从右到左 |
+a -a | 一元加与减 | ||
! ~ | 逻辑非和逐位非 | ||
(type) | C 风格转型 | ||
a | 间接(解引用) | ||
&a | 取址 | ||
sizeof | 取大小[注 1] | ||
co_await | await 表达式 (C++20) | ||
new new[] | 动态内存分配 | ||
delete delete[] | 动态内存分配 | ||
4 | . -> | 成员指针 | 从左到右 |
5 | ab a/b a%b | 乘法、除法与余数 | |
6 | a+b a-b | 加法与减法 | |
7 | << >> | 逐位左移与右移 | |
8 | <=> | 三路比较运算符(C++20 起) | |
9 | < <= | 分别为 < 与 ≤ 的关系运算符 | |
> >= | 分别为 > 与 ≥ 的关系运算符 | ||
10 | == != | 分别为 = 与 ≠ 的关系运算符 | |
11 | a&b | 逐位与 | |
12 | ^ | 逐位异或(互斥或) | |
13 | | | 逐位或(可兼或) | |
14 | && | 逻辑与 | |
15 | || | 逻辑或 | |
16 | a?b:c | 三元条件[注 2] | 从右到左 |
throw | throw 运算符 | ||
co_yield | yield 表达式 (C++20) | ||
= | 直接赋值(C++ 类默认提供) | ||
+= -= | 以和及差复合赋值 | ||
*= /= %= | 以积、商及余数复合赋值 | ||
<<= >>= | 以逐位左移及右移复合赋值 | ||
&= ^= |= | 以逐位与、异或及或复合赋值 | ||
17 | , | 逗号 | 从左到右 |
- ↑
sizeof
的操作数不能是 C 风格转型:表达式sizeof (int) p
无歧义地解释成(sizeof(int))
p
,而非sizeof((int)*p)
。 - ↑ 条件运算符中部(
?
与:
之间)的表达式分析为如同其带有括号:忽略其相对于?:
的优先级。
分析表达式时,列于上面表中某行的运算符,将比列于低于它的行中拥有较低优先级的任何运算符,更紧密地与其实参相绑定(如同用了括号)。例如,表达式 std::cout << a & b 和 p++ 被分析为 (std::cout << a) & b 和 (p++),而非 std::cout << (a & b) 或 (*p)++。
拥有相同优先级的运算符以其结合性的方向与各参数绑定。例如表达式 a = b = c 被分析为 a = (b = c) 而非 (a = b) = c,因为赋值具有从右到左结合性,但 a + b - c 被分析为 (a + b) - c 而非 a + (b - c),因为加法和减法具有从左到右结合性。
结合性规定对于一元运算符是冗余的,只为完备而给出:一元前缀运算符始终从右到左结合(delete ++p 为 delete(++(p)))而一元后缀运算符始终从左到右结合(a[1][2]++ 为 ((a[1])[2])++)。要注意,结合性对成员访问运算符是有意义的,即使在它们与一元后缀运算符组合时也是如此:a.b++ 分析为 (a.b)++ 而非 a.(b++)。
运算符优先级不受运算符重载影响。例如,std::cout << a ? b : c; 分析为 (std::cout << a) ? b : c;,因为算术左移的优先级高于条件运算符。
注解
优先级和结合性是编译时概念,与求值顺序无关,后者是运行时概念。
标准自身不指定优先级。它们是从文法导出的。
表中并未包括 const_cast
、static_cast
、dynamic_cast
、reinterpret_cast
、typeid
、sizeof…
、noexcept
及 alignof
,因为它们决不会有歧义。
一些运算符拥有代用写法(例如,&&
可为 and、||
可为 or、!
可为 not 等)。
C 中,三元条件运算符拥有高于赋值运算符的优先级。因此,表达式 e = a < d ? a++ : a = d 在 C++ 中剖析成 e = ((a < d) ? (a++) : (a = d)),但在 C 中会由于 C 的语法或语义制约而编译失败。细节见对应的 C 页面。
常见运算符 | ||||||
---|---|---|---|---|---|---|
赋值 | 自增自减 | 算术 | 逻辑 | 比较 | 成员访问 | 其他 |
a = ba += ba -= ba = ba /= ba %= ba &= ba |= ba ^= ba <<= ba >>= b | ++a—aa++a— | +a-aa + ba - ba ba / ba % b~aa & ba | ba ^ ba << ba >> b | !aa && ba || b | a == ba != ba < ba > ba <= ba >= ba <=> b | a[b]a&aa->ba.ba->ba.*b | a(…)a, b? : |
特殊运算符 | ||||||
static_cast 转换一个类型为另一相关类型dynamic_cast 在继承层级中转换const_cast 添加或移除 cv 限定符reinterpret_cast 转换类型到无关类型C 风格转型 以 static_cast 、 const_cast 及 reinterpret_cast 的混合转换一个类型到另一类型new 创建有动态存储期的对象delete 销毁先前由 new 表达式创建的对象,并释放其所拥有的内存区域sizeof 查询类型的大小sizeof… 查询形参包的大小(C++11 起)typeid 查询类型的类型信息noexcept 查询表达式是否能抛出异常(C++11 起)alignof 查询类型的对齐要求(C++11 起) |