C++ 運算元優先序
下表列出 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 | a*b 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 = b |
++a |
+a |
!a |
a == b |
a[b] |
a(...) |
| 特殊运算符 | ||||||
|
static_cast 转换一个类型为另一相关类型 | ||||||