else语句是否消耗CPU周期？两种if-else写法的CPU周期等价性分析

1. else语句是否会产生CPU周期开销？ #

从CPU周期角度看，else本身不会直接带来额外开销。CPU的分支开销核心来自条件判断后的分支预测逻辑，而非else关键字本身。当if条件不成立时，CPU只是顺次执行else块内的指令，和执行一段无分支的顺序代码没有本质区别。唯一可能的额外开销来自分支预测失败，但这是整个if/else分支结构的特性，并非else单独导致。

2. 两段代码的CPU周期消耗是否等价？ #

先看两段代码：
第一段代码：

if (i mod [number] == 0)
      do thing;
else 
      do other thing

第二段代码：

if (i mod [number] != 0)
       do other thing;
else
       do thing

这两段代码的CPU周期消耗基本等价，具体分析：

• 核心计算部分：两者都执行了一次i mod [number]运算，这部分的周期消耗完全一致；
• 条件判断部分：将==0换成!=0只是对比较结果取反，CPU的比较指令（如cmp）执行周期相同，后续分支跳转的条件取反操作不会额外增加周期；
• 分支预测表现：无论两种分支情况的出现概率如何，两段代码的分支预测效率都对应一致——比如若i mod [number] ==0的概率很高，第一段代码的do thing会被高频预测命中；第二段代码中do thing作为else分支，同样会被高频预测命中，两者的预测失败率基本相同。

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