一个C语言运算符优先级导致的问题

检测某个数的某个二进制位是否为0，是常见的控制逻辑，如下代码所示：

if (x & (1<<2) == 0) {
    printf("x的第2个二进制位为0\n");
}
   
   
1
2
3
   
   

    
    
   
   
   
   
1
2
3

然而实际上，上述代码永远不会执行printf，也就是说 x & (1<<2) == 0这个表达式始终为0。

原因在于在C语言里，==运算符的优先级高于&，导致上面的表达式相当于：

if ( x & ((1<<2) == 0) )
   
   
1
   
   

    
    
   
   
   
   
1

因为1<<2不为0，所以进一步上面的表达式等价于：

if ( x & 0 ）
   
   
1
   
   

    
    
   
   
   
   
1

任何数和0位与都是0，进一步相当于：

if (0)
   
   
1
   
   

    
    
   
   
   
   
1

当初c语言标准不知道为什么会规定如此奇葩的优先级次序，作为苦逼的程序员，我们还是老老实实地多加几个小括号吧。正确代码如下：

if ( (x & (1<<2)) == 0) {
    printf("x的第2个二进制位为0\n");
}
   
   
1
2
3
   
   

    
    
   
   
   
   
1
2
3