C++中不影响流程的else关键字对程序性能的影响探究

1. 逻辑等价时，else不影响最终编译结果 #

就像你举的简单函数例子，带不带else的代码逻辑完全一致，现代编译器（比如GCC、Clang、MSVC）只要开启基础优化（比如-O2），就会自动把冗余的else去掉，最终生成的机器码完全相同。不管你写不写else，编译后都是先判断num是否等于10，满足就返回99999，否则返回-1，指令层面没有任何区别。

2. 分支预测只看实际分支，和else无关 #

分支预测器关注的是代码实际生成的分支跳转指令，不是你有没有写else关键字。比如你刷题时写isPrime函数，先过滤<=1的数字：

bool isPrime(int num) {
    if (num <= 1) return false;
    // 核心素数判断逻辑
}

和带else的版本：

bool isPrime(int num) {
    if (num <= 1) return false;
    else {
        // 核心素数判断逻辑
    }
}

这两个版本的分支结构完全一样——都是一个条件分支：满足num<=1就跳转返回false，否则执行后续逻辑。分支预测器只会根据这个分支的实际执行频率（比如大部分输入都是大于1的数，预测器就会倾向于不跳转，直接走核心逻辑）来工作，和有没有写else半毛钱关系都没有。

3. 只有非冗余else才会影响性能 #

如果else的存在真的引入了额外的分支逻辑（比如错误地写成嵌套分支，多了一层判断），那才会增加分支数量，影响预测效率。但这已经不是“冗余else”的情况了，属于逻辑本身变了，和语法上的else无关。

总结 #

只要逻辑等价，写不写else对程序性能没有任何影响——编译器会处理掉冗余的语法糖，分支预测器只关心实际的分支跳转行为。刷题的时候不用纠结这个，怎么写代码更清晰、更符合自己的习惯就怎么来。

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