C++ 运算符优先级

来自cppreference.com
< cpp‎ | language
 
 
 
表达式
概述
值类别(左值 lvalue、右值 rvalue、亡值 xvalue)
求值顺序(序列点)
常量表达式
不求值表达式
初等表达式
lambda 表达式(C++11)
字面量
整数字面量
浮点字面量
布尔字面量
字符字面量,包含转义序列
字符串字面量
空指针字面量(C++11)
用户定义字面量(C++11)
运算符
赋值运算符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
逻辑运算符a||ba&&b!a
比较运算符a==ba!=ba<ba>ba<=ba>=b
成员访问运算符a[b]*a&aa->ba.ba->*ba.*b
其他运算符a(...)a,ba?b:c
运算符的替代表示形式
优先级和结合性
折叠表达式(C++17)
new 表达式
delete 表达式
throw 表达式
alignof
sizeof
sizeof...(C++11)
typeid
noexcept(C++11)
运算符重载
类型转换
隐式转换
const_cast
static_cast
reinterpret_cast
dynamic_cast
显式转换 (T)aT(a)
用户定义转换
 

下表列出 C++ 运算符的优先级和结合性。运算符从顶到底以降序列出。

优先级 运算符 描述 结合性
1 :: 作用域解析 从左到右
2 a++   a-- 前缀/后缀自增与自减
type()   type{} 函数风格转型
a() 函数调用
a[] 下标
.   -> 成员访问
3 ++a   --a 前缀自增与自减 从右到左
+a   -a 一元加与减
!   ~ 逻辑非逐位非
(type) C 风格转型
*a 间接(解引用)
&a 取址
sizeof 取大小[note 1]
new   new[] 动态内存分配
delete   delete[] 动态内存分配
4 .*   ->* 指向成员指针 从左到右
5 a*b   a/b   a%b 乘法、除法与余数
6 a+b   a-b 加法与减法
7 <<   >> 逐位左移与右移
8 <   <= 分别为 < 与 ≤ 的关系运算符
>   >= 分别为 > 与 ≥ 的关系运算符
9 ==   != 分别为 = 与 ≠ 的关系运算符
10 a&b 逐位与
11 ^ 逐位异或(排除或)
12 | 逐位或(包含或)
13 && 逻辑与
14 || 逻辑或
15 a?b:c 三元条件[note 2] 从右到左
throw throw 运算符
= 直接赋值( C++ 类默认提供)
+=   -= 以和及差复合赋值
*=   /=   %= 以积、商及余数复合赋值
<<=   >>= 以逐位左移及右移复合赋值
&=   ^=   |= 以逐位与、异或及或复合赋值
16 , 逗号 从左到右
  1. sizeof 的运算数不能是 C 风格转型:表达式 sizeof (int) * p 无歧义地转译成 (sizeof(int)) * p ,而非 sizeof((int)*p)
  2. 条件运算符中部( ?: 之间)的表达式分析为如同加括号:忽略其相对于 ?: 的优先级。

分析表达式时,列于上面表中某行的运算符,将比列于低于它的行中拥有较低优先级的任何运算符,更紧密地绑定到其参数(如同用括号)。例如,表达式 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 ++*pdelete(++(*p)) )而一元后缀运算符始终从左到右结合( a[1][2]++((a[1])[2])++ )。注意结合性对成员访问运算符有意义,即使在它们与一元后缀运算符组合时: a.b++ 分析为 (a.b)++ 而非 {{c|a.(b++)} 。

运算符优先级不受运算符重载影响。例如, std::cout << a ? b : c; 分析为 (std::cout << a) ? b : c; ,因为算术左移的优先级高于条件运算符。

[编辑] 注意

优先级和结合性是编译时概念,与求值顺序独立,后者是运行时概念。

标准自身不指定优先级。它们从文法导出。

const_caststatic_castdynamic_castreinterpret_casttypeidsizeof...noexceptalignof 不包含于此,因为它们决不会有歧义。

一些运算符拥有替用拼写(例如 &&and||or!not 等)。

三元条件和赋值运算符的相对优先级在 C 与 C++ 之间有别: C 中,赋值不允许在三元条件运算符的右侧,故 e = a < d ? a++ : a = d 不能通过分析。许多 C 编译器使用修改的文法,其中 ?: 拥有高于 = 的优先级,这分析成 e = ( ((a < d) ? (a++) : a) = d ) (之后编译失败,因为 C 中 ?: 决不是左值而 = 要求左值在左侧)。 C++ 中, ?:= 拥有相等的优先级并从右到左成组,故而 e = a < d ? a++ : a = d 分析为 e = ((a < d) ? (a++) : (a = d))

[编辑] 参阅

常见运算符
赋值 自增
自减
算术 逻辑 比较 成员访问 其他

a = b
a += b
a -= b
a *= b
a /= b
a %= b
a &= b
a |= b
a ^= b
a <<= b
a >>= b

++a
--a
a++
a--

+a
-a
a + b
a - b
a * b
a / b
a % b
~a
a & b
a | b
a ^ b
a << b
a >> b

!a
a && b
a || b

a == b
a != b
a < b
a > b
a <= b
a >= b

a[b]
*a
&a
a->b
a.b
a->*b
a.*b

a(...)
a, b
? :

特殊运算符

static_cast 转换一个类型为另一相关类型
dynamic_cast 在继承层级中转换
const_cast 添加或移除 cv 限定符
reinterpret_cast 转换类型到无关类型
C 风格转型static_castconst_castreinterpret_cast 的混合转换一个类型到另一类型
new 创建有动态存储期的对象
delete 销毁先前由 new 表达式创建的对象,并释放其所拥有的内存区域
sizeof 查询类型的大小
sizeof... 查询形参包的大小(C++11 起)
typeid 查询类型的类型信息
noexcept 查询表达式是否能抛出异常(C++11 起)
alignof 查询类型的对齐要求(C++11 起)

C 运算符优先级C 文档