C编译器无副作用时是否需强制短路&&/||？如何选择优化策略？

C语言中&&和||运算符会进行短路求值（short-circuit evaluation），标准中的描述如下：

与按位|运算符不同，||运算符保证从左到右求值；若求值第二个操作数，第一个与第二个操作数的求值之间存在序列点。若第一个操作数不等于0，则不求值第二个操作数。

我们常用这种特性写出安全的代码，比如：

bool xyz = ptr && *ptr == 42;

这样可以避免空指针解引用的风险。

但如果操作数都是无副作用的简单表达式，比如下面的例子：

int a[3] = {1, 2, 3};
[ ... 其他代码 ... ]

int myFunc() {
  int x = a[0] == 1 && a[1] == 2 && a[2] == 3;
}

如果严格遵循短路求值的规则，编译器似乎必须生成带分支的汇编代码，比如：

xor   eax, eax
  cmp   a+0x0, 0x1 ; a[0]!= 1
  jne   end
  cmp   a+0x4, 0x2 ; a[1]!= 2
  jne   end
  cmp   a+0x8, 0x3 ; a[2]!= 3
  jne   end
  mov   al, 0x1    ; 全部相等，设为1
  
.end:
  ret

这类分支可能引发分支预测失效的问题，反而影响性能。而直觉上可以生成无分支的等价代码：

xor   eax, eax
  xor   ecx, ecx
  cmp   a+0x0, 0x1 ; a[0] == 1
  sete  al
  cmp   a+0x4, 0x2 ; a[1] == 2
  sete  cl
  and   al, cl
  cmp   a+0x8, 0x3 ; a[2] == 3
  sete  cl
  and   al, cl
  ret

注：页面加载到缓存不属于C标准定义的“副作用”，副作用特指修改对象、访问volatile对象、调用有副作用的函数等行为。另外，把&&换成&似乎能促使编译器生成这类无分支代码，但通常我们应该相信编译器的优化能力。

问题1：当无副作用时，编译器是否必须生成“短路”机器码？ #

不需要。C语言标准只要求程序的行为等价，当操作数没有副作用时，短路求值和完整求值的最终结果完全一致，编译器可以自由选择生成哪种机器码——不管是带分支的短路实现，还是无分支的位运算实现，只要结果正确就行。标准的短路规则约束的是“有副作用时必须保证不执行后续操作数”，无副作用的场景下，编译器有充分的优化自由度。

问题2：是否有办法让编译器自主选择提前退出或无分支策略？ #

现代编译器在开启优化级别（比如-O2、-O3）后，会自动根据代码场景、目标CPU特性选择最优的实现方式。对于无副作用的连续&&表达式，编译器会自动判断是生成分支还是无分支代码，不需要开发者额外干预，只要开启合适的优化选项即可。

问题3：实际编码中，这是否会影响我对&和&&的使用选择？ #

不会。&&和&的语义有本质区别：

• &&是逻辑与，带短路求值语义，适合需要依赖短路来避免副作用（比如空指针解引用、函数调用副作用）的场景；
• &是按位与，会完整计算所有操作数，即使前面的结果已经能确定最终值。

在无副作用的场景下，编译器会自动优化&&的实现，不需要为了追求无分支而刻意换成&——这样反而会让代码语义模糊，其他开发者看到&会默认你是要做位运算，而非逻辑判断。保持代码语义清晰优先，编译器会处理好优化的问题。

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