为何Rust release模式下for_each比for循环性能高出很多？

核心原因是LLVM对两种写法的优化程度差异：你的for_each版本被编译器识别并优化成了O(1)的数学公式求和（即n*(n+1)/2），而for..in版本仍在执行O(n)的循环累加，这直接导致了巨大的性能差距。

具体分析 #

Rust官方文档提到二者性能大致相当，是因为多数场景下迭代器方法和手写循环会被LLVM优化到几乎一致的汇编代码。但在你的特定场景中：

• 对于(1..=number).for_each(|n| result += n)：LLVM能识别出该迭代器操作是连续整数的累加，直接将整个循环替换为数学公式计算，完全跳过了循环执行。
• 对于for n in 1..=number { result += n; }：LLVM的循环分析可能未捕捉到这个简单累加模式，或是语法糖展开后的结构差异导致未触发同样优化，最终执行了10亿次循环操作。

验证方法 #

你可以通过查看生成的汇编代码确认这一点：

1. 分别将两种写法保存为src/main.rs
2. 执行cargo rustc --release -- --emit asm生成汇编文件
3. 对比汇编内容：for_each版本会直接出现计算n*(n+1)/2的指令，而for..in版本会包含循环相关的标签和跳转指令。

优化方案 #

• 最优解：直接用数学公式求和，彻底避免循环：

  let result = number * (number + 1) / 2;
  

  这是最快的方式，代码也更简洁。
• 若必须使用循环/迭代器：可尝试确保变量操作足够简单，或升级Rust版本（新版本LLVM可能覆盖更多优化场景）。

补充说明 #

这种性能差异是LLVM优化策略的特定场景结果，并非for_each天生优于for..in。在多数复杂业务场景中，二者性能会趋于一致，官方文档的结论依然成立。

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