分支预测，为什么使用 if/else 语句会降低程序效率

在现代 CPU 架构中，分支预测是为了提高指令执行的效率。然而，如果 if/else 语句的分支走向难以预测，就可能会降低程序效率。这是因为当 CPU 执行到 if/else 语句时，它需要猜测接下来要执行的是 if 分支还是 else 分支。如果 CPU 的预测错误，就需要清空已经预取和执行的部分指令，重新从正确的分支开始取指和执行，这会导致性能开销。

if 语句与运行效率

说起if语句导致程序运行效率下降，就不得不提到CPU的流水线结构，效率降低主要是由于多级流水线结构造成的。

现代的大部分CPU在执行代码时并不是读取一条指令，然后执行一条，而是使用了一种叫做流水线技术的方式，同时去执行多个操作。

流水线的影响

比如三级流水线就是指，CPU在执行一条指令时，同时会读取后面的指令，并对进行译码。（读取、译码、执行）

这样处理的优势很明显，使用流水线技术可以大大的提高执行效率。但是它并不是所有时刻有效的，在程序中执行跳转代码时，CPU 会丢弃流水线现有的结果，因为不执行后面的代码了，提前读取也没有用。

所以在这个时候if语句相对于顺序执行的指令，会有几个时钟周期的差距。但这不是if语句说特有的，所有带跳转结构的语句都会这样(if、switch、for)。

分支预测的影响

多级流水线在遇到跳转时，会有几个时钟的周期的影响，但这并不是它被指控运行效率低的主要原因。而是在因为它分支预测部分，它有可能有10-20个时钟周期的影响，在大量使用 if 的地方这种影响将被放大。多级流水在遇到跳转指令时会清空当前流水线，CPU的设计者在设计引入了一种叫做分支预测的技术来进行处理这个问题。

分支预测简单说就是猜测后面的程序会执行那一段代码，并提前将它读取。

例如：一辆火车，在有很多岔道的路上前进，为了不让每次都在岔道停下等待（清空流水线），于是想出了一个办法。现在猜测火车需要前进的方向，如果猜中了火车就可以不用停下等待，而提高效率。但是如果猜错了，则需要倒车回到岔路口重新选择。这样的错误代价就比较高了，而大家所说的效率降低主要源于此。

if-else 对程序结构的影响

在大部分情况下，是不需要考虑if语句对代码执行效率的影响，甚至感觉不到它的存在。
因为大部分情况下，CPU的性能是足够的（性能优化时除外）。但是if-else对程序结构的影响却是不容忽视的，因为可直观的感受到它的存在（可读性），而且对开发和维护有极大的影响。

if-else 对程序效率的影响

简单示例：

package mainimport ("fmt""time"
)func testPredictableIfElse() {start := time.Now()for i := 0; i < 1000000; i++ {if i < 500000 {// 执行一些简单操作} else {// 执行一些简单操作}}elapsed := time.Since(start)fmt.Printf("Predictable if/else elapsed time: %v\n", elapsed)
}func testUnpredictableIfElse() {start := time.Now()for i := 0; i < 1000000; i++ {if i%2 == 0 {// 执行一些简单操作} else {// 执行一些简单操作}}elapsed := time.Since(start)fmt.Printf("Unpredictable if/else elapsed time: %v\n", elapsed)
}func main() {testPredictableIfElse()testUnpredictableIfElse()
}

运行结果：

分别测试了分支走向可预测（例如 i < 500000）和不可预测（例如 i%2 == 0）的两种情况。通过比较它们的执行时间，可以观察到不可预测的分支走向可能导致执行时间更长，从而体现出对程序效率的影响。