1. C语言运算符优先级概述
在C语言开发中，运算符优先级是每个程序员必须掌握的基础知识。特别是在阅读和编写复杂表达式时，正确的优先级理解能避免很多难以察觉的逻辑错误。我曾在调试一个嵌入式系统时，花了整整两天时间才定位到一个由运算符优先级导致的bug——一个简单的位运算表达式因为缺少括号而产生了完全不符合预期的结果。
运算符优先级决定了表达式中各个运算符的执行顺序。当表达式包含多个运算符时，优先级高的运算符会先于优先级低的运算符进行计算。如果运算符的优先级相同，则根据结合性来决定计算顺序（从左到右或从右到左）。
2. 运算符优先级全表解析
2.1 最高优先级运算符（1级）
第一优先级运算符都是后缀运算符和访问运算符，它们在表达式中最先被计算：
code复制优先级 | 名称 | 符号 | 结合性
1 | 数组取下标 | [ ] | 左结合
| 函数调用 | ( ) |
| 结构体/联合体成员访问 | . -> |
| 后缀自增 | ++ |
| 后缀自减 | -- |
这些运算符之所以优先级最高，是因为它们直接作用于变量本身，而不是参与运算。例如在表达式arr[i]++中，会先取数组元素，再对该元素进行自增操作。
注意：后缀自增/自减运算符虽然优先级最高，但它们的实际计算时机是在整个表达式求值完成后。这与前缀自增/自减有本质区别。
2.2 单目运算符（2级）
第二优先级是各种前缀运算符（单目运算符）：
code复制优先级 | 名称 | 符号 | 结合性
2 | 前缀自增 | ++ | 右结合
| 前缀自减 | -- |
| 取地址 | & |
| 解引用 | * |
| 正号 | + |
| 负号 | - |
| 按位取反 | ~ |
| 逻辑非 | ! |
| sizeof运算符 | sizeof |
这些运算符都是右结合的，意味着在连续多个单目运算符时，会从右向左计算。例如*&x等同于x，因为先取地址再解引用。
实用技巧：在指针操作中，
*ptr++会被解析为*(ptr++)而不是(*ptr)++，这是因为后缀++优先级高于解引用*。
2.3 类型转换运算符（3级）
强制类型转换运算符的优先级也很高：
code复制优先级 | 名称 | 符号 | 结合性
3 | 强制类型转换 | (类型) | 右结合
类型转换在复杂表达式中经常被忽视。例如(int)3.14 + 2.7会先将3.14转换为int，再与2.7相加，结果为5.7（因为+运算符会进行类型提升）。
2.4 乘除类运算符（4级）
算术运算符中，乘除取模优先级高于加减：
code复制优先级 | 名称 | 符号 | 结合性
4 | 乘法类运算符 | * / % | 左结合
在嵌入式开发中，取模运算%常用于环形缓冲区索引计算。例如index = (index + 1) % BUFFER_SIZE确保索引不会越界。
2.5 加减类运算符（5级）
加减运算符优先级低于乘除：
code复制优先级 | 名称 | 符号 | 结合性
5 | 加法类运算符 | + - | 左结合
一个常见误区是认为a + b * c等同于(a + b) * c。实际上乘法优先级更高，会先计算b * c。
2.6 移位运算符（6级）
移位运算符优先级低于算术运算：
code复制优先级 | 名称 | 符号 | 结合性
6 | 移位 | << >> | 左结合
在硬件寄存器操作中，移位运算很常见。例如设置第3位为1：reg |= 1 << 3。这里<<优先级高于|=，所以不需要括号。
2.7 关系运算符（7级）
比较运算符优先级低于移位运算：
code复制优先级 | 名称 | 符号 | 结合性
7 | 关系 | < > <= >= | 左结合
在条件判断中，关系运算通常与逻辑运算结合使用。例如if (x > 0 && x < 10)，关系运算先于逻辑与计算。
2.8 相等性运算符（8级）
相等性判断优先级低于关系运算：
code复制优先级 | 名称 | 符号 | 结合性
8 | 判等 | == != | 左结合
一个典型错误是写if (x & 0xFF == 0)，本意是判断低8位是否全0，但实际上会先计算0xFF == 0（总是false），再与x按位与。正确写法是if ((x & 0xFF) == 0)。
2.9 位运算符（9-11级）
位运算符优先级从高到低依次为：
code复制优先级 | 名称 | 符号 | 结合性
9 | 按位与 | & | 左结合
10 | 按位异或 | ^ | 左结合
11 | 按位或 | | | 左结合
在嵌入式开发中，位操作非常常见。例如设置某位：reg |= (1 << n)；清除某位：reg &= ~(1 << n)；切换某位：reg ^= (1 << n)。
2.10 逻辑运算符（12-13级）
逻辑运算符优先级低于位运算：
code复制优先级 | 名称 | 符号 | 结合性
12 | 逻辑与 | && | 左结合
13 | 逻辑或 | || | 左结合
逻辑运算符具有短路特性。例如ptr && ptr->data，如果ptr为NULL，不会访问ptr->data，避免了段错误。
2.11 条件运算符（14级）
三元条件运算符优先级较低：
code复制优先级 | 名称 | 符号 | 结合性
14 | 条件 | ? : | 右结合
条件运算符可以嵌套，但建议加上括号提高可读性。例如x > 0 ? 1 : (x < 0 ? -1 : 0)。
2.12 赋值运算符（15级）
赋值运算符优先级很低：
code复制优先级 | 名称 | 符号 | 结合性
15 | 赋值 | = += -= *= /= %= <<= >>= &= ^= |= | 右结合
赋值表达式本身也有值，可以连续赋值，如a = b = 0。由于是右结合，相当于a = (b = 0)。
2.13 逗号运算符（16级）
逗号运算符优先级最低：
code复制优先级 | 名称 | 符号 | 结合性
16 | 逗号 | , | 左结合
逗号运算符会依次计算左右表达式，最终取右边表达式的值。常用于for循环：for(i=0,j=10; i<j; i++,j--)。
3. 结合性详解
3.1 左结合性
左结合性意味着相同优先级的运算符从左向右计算。大多数运算符都是左结合的，例如：
c复制a + b + c // 等价于 (a + b) + c
a * b / c // 等价于 (a * b) / c
3.2 右结合性
右结合性运算符从右向左计算，主要包括：
- 单目运算符（前缀++、--、!、~等）
- 赋值运算符（=、+=等）
- 条件运算符（?:）
例如：
c复制a = b = c // 等价于 a = (b = c)
*&x // 等价于 *(&x)
4. 常见问题与避坑指南
4.1 优先级陷阱案例
-
位运算与比较运算：
c复制if (x & 0xFF == 0) // 错误！实际是 if (x & (0xFF == 0)) if ((x & 0xFF) == 0) // 正确写法 -
指针与自增运算：
c复制*ptr++ // 等价于 *(ptr++) (*ptr)++ // 对指针指向的值自增 *++ptr // 等价于 *(++ptr) ++*ptr // 等价于 ++(*ptr) -
逻辑运算与位运算：
c复制x & 1 && y & 2 // 等价于 (x & 1) && (y & 2)
4.2 最佳实践建议
-
合理使用括号：即使知道优先级规则，添加括号也能提高代码可读性，减少歧义。
-
拆分复杂表达式：过于复杂的表达式可以拆分成多个语句，既避免优先级问题，也便于调试。
-
运算符优先级速记法：
- 后缀 > 前缀 > 乘除 > 加减 > 移位 > 比较 > 位运算 > 逻辑运算 > 条件 > 赋值 > 逗号
-
测试验证：不确定时，写个小程序验证运算顺序，比查文档更直观。
5. 不同语言间的差异
虽然本文主要讨论C语言，但运算符优先级在其他语言中也有差异：
- Java：基本与C相同，但多了instanceof运算符（优先级与< >相同）
- JavaScript：新增=== !==运算符（优先级与== !=相同）
- Python：没有++ --运算符，**幂运算优先级高于单目运算符
在跨语言开发时，需要特别注意这些差异。例如从C转Java的开发者可能会惊讶于if (x instanceof MyClass && x.value > 0)中instanceof的优先级高于>。