Python if语句中使用&位运算符出现异常行为的原因解析

这个bug是运算符优先级差异+Python链式比较特性共同导致的，和你用&代替逻辑与and直接相关：

1. 优先级规则：Python中位运算符&的优先级高于>、<这类比较运算符，而逻辑运算符and的优先级低于比较运算符。
2. 你写的if条件nums[pointer] > abs(nums[0]) & nums[pointer-1] < abs(nums[0])，预期逻辑是两个比较结果做逻辑与，但实际运算顺序完全偏离预期：
   • 第一步会先计算高优先级的位运算：abs(nums[0]) & nums[pointer-1]
   • 第二步再把位运算的结果代入链式比较，实际等价于判断nums[pointer] > (位运算结果) and (位运算结果) < abs(nums[0])

失败用例的执行过程 #

拿你跑不通的测试用例sortedSquares([-3,0,2])第一次迭代代入计算：

• 初始pointer = 2，对应值nums[2] = 2；nums[0] = -3，绝对值是3；nums[pointer-1] = nums[1] =0
• 先算位运算：3 & 0 = 0
• 再做链式比较：2 > 0 < 3，Python中链式比较会自动拆为相邻判断的逻辑与，也就是(2>0) and (0<3)，结果直接是True
• 因此程序会直接进入if分支，完全跳过你写的elif判断，后续数组操作逻辑全错。

全负数用例巧合通过的原因 #

测试用例[-5,-3,-2,-1]能返回正确结果纯属偶然：

• 第一次迭代时pointer=3，nums[3]=-1，abs(nums[0])=5，nums[2]=-2
• 先算位运算5 & (-2) = 4（整数补码按位与的计算结果）
• 代入链式比较得-1 >4 <5，其中-1>4为假，整个if条件不成立，程序才会走到后续分支，刚好没触发错误逻辑。

把&换成and后，因为and优先级低于比较运算符，解释器会先计算两边的比较表达式，再对两个布尔结果做逻辑与，完全符合你写判断的预期逻辑，代码就能正常运行。

额外注意：不要随意用&/|代替and/or，二者除了优先级差异，还有本质区别：

• &/|是纯位运算，会先把两边的表达式全部计算完成，再对整数结果做按位操作
• and/or是逻辑运算符，有短路特性，左边表达式结果能确定最终值时，不会计算右边的表达式

如果不确定运算符优先级，给需要优先计算的子表达式加括号是最稳妥的写法，能避免很多隐蔽bug。

内容的提问来源于stack exchange，提问作者Ivan