C语言中移除else分支语句是否可提升代码执行效率？

先提个小细节：你贴的两段示例代码有基础语法问题——if块里的return -1末尾没加分号，补全分号后才是能正常编译的合法C代码，下面的分析都基于补全后的合法代码展开。

编译器解析逻辑差异 #

从C语言语义规则和最终执行效果看，两段代码的可观测行为完全等价，不存在逻辑执行结果的区别：

• 第一段带else的写法：编译器初始会将其解析为完整的if-else双分支结构，条件成立时走if块返回-1，条件不成立时走else块返回0
• 第二段省略else的写法：编译器初始会将其解析为单if分支+顺序语句的结构，条件成立时走if块执行return直接退出函数，条件不成立时跳过if块，执行后面顺序排列的return 0;语句

刚生成抽象语法树（AST）的时候两者结构确实有区别：第一段的return 0挂在else子节点下，第二段的return 0是和if节点平级的顺序语句节点。但到语义分析阶段做控制流校验时，所有符合C标准的编译器都会立刻识别出，两段代码的实际执行路径完全重合——if块里的return会直接终止函数运行，不管return 0是放在else块里，还是放在if语句后面，都只会在条件不成立时被执行。

执行效率对比 #

第二种省略else的写法没有任何执行效率优势。
别信网上所谓“省略else少一次判断”的错误说法，现在哪怕是关闭所有优化（-O0等级）的主流编译器（GCC、Clang、MSVC等），都会在代码生成阶段识别出两段代码的控制流等价性，最终输出的汇编指令、机器码完全一致。如果开启编译优化，编译器甚至会把两段代码都优化为无多余跳转的直返逻辑，连分支预测的开销差异都不会存在，根本不会因为写不写else产生性能差别。

两种写法的差异仅存在于代码风格层面：

• 显式写else的写法分支逻辑直白，新手读代码时不容易漏掉条件不成立的处理分支
• 省略else的早返回（early return）写法可以减少一层缩进，在多条件依次判断返回的场景下，能避免代码嵌套过深导致的可读性下降，是工业界非常常用的编码风格

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