未触发的if语句为何让Go语言素数计算基准测试更快？

这真是个有意思的发现！我来帮你拆解一下为什么这两行看似完全无用的代码，居然能让你的素数计算基准测试更快。

核心原因：指令对齐与编译器优化的微妙影响 #

你遇到的这个现象，本质上是CPU指令对齐和Go编译器优化策略共同作用的结果，下面分两点具体解释：

1. CPU指令对齐带来的执行效率提升

x86架构的CPU（你的amd64系统属于这类架构）在读取机器指令时，是按固定大小的内存块（通常是16字节）批量读取的。如果一段关键代码（比如你isPrime函数里的素数检测循环）的起始地址刚好落在这些块的边界上，CPU就能更高效地加载和执行指令，减少取指阶段的开销。

你添加的那两个if语句，虽然永远不会被执行，但它们占用了几个字节的内存空间，刚好把后面的for循环代码“推”到了一个更优的内存对齐位置上。这种微小的调整，在循环执行次数极多的场景下（比如计算大的第n个素数时，isPrime会被调用成千上万次），就会累积出可观测的性能差异。

2. Go 1.12编译器的优化决策变化

Go 1.12的编译器在函数内联、循环优化等方面有特定的逻辑。虽然这两个if分支不会被执行，但它们改变了函数的整体代码结构，可能让编译器对后续的素数检测循环采取了更高效的优化策略——比如调整循环展开的程度、或者对循环条件的判断做了更优的指令生成。而当你移除这两个分支后，编译器的优化方向反而生成了稍慢的机器码。

验证与后续建议 #

如果你想进一步确认这个原因，可以试试这些方法：

• 手动添加空的代码块（比如var _ int这类不产生实际逻辑但占用指令空间的代码）替代那两个if语句，看看是否能复现性能提升的效果
• 升级到较新的Go版本（比如1.20+），观察这个现象是否还存在——因为后续Go版本的编译器优化策略有很大调整，可能会消除这种“意外优化”
• 使用go tool compile -S命令生成汇编代码，对比有无这两个if语句时的指令布局差异，就能直观看到循环部分的起始地址是否对齐到了更优的位置

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