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 转换一个类型为另一相关类型  | ||||||