循环展开通过减少判断/更新/跳转等控制指令，将多次迭代合并为一组重复体，从而降低分支开销、提升缓存命中率与指令级并行性；其触发需满足结构清晰、增量固定、边界可推断等条件。
Java 中的循环展开（Loop Unrolling）是 HotSpot JVM 的 C2 编译器在热点代码优化阶段自动启用的一项关键技术，它通过减少循环控制开销、提升指令级并行性与缓存局部性来加快执行速度——但不是所有循环都会被展开，它依赖运行时分析和严格的触发条件。
循环展开如何降低执行开销
每次循环迭代都要执行判断条件、更新计数器、跳转指令。对一个执行 1000 次的简单 for 循环，就多出约 3000 条额外控制指令。C2 编译器在识别到该循环为热点后，可能将其展开为若干次重复体（如展开因子为 4），把 1000 次迭代压缩成 250 组“4 连续操作”。这样：
- 循环判断次数从 1000 次降到 250 次，分支预测失败概率下降
- 连续访存更易被 CPU 预取器识别，提升 L1/L2 缓存命中率
- 相邻指令间无强数据依赖时，CPU 可并行发射多条 ALU 或加载指令
JIT 触发循环展开的关键条件
C2 不会盲目展开。只有满足以下多数条件时，才可能生成展开版本：
Java Development Man
下载
Java开发手册规约集合，基于阿里巴巴Java开发手册（嵩山版）。 涵盖7大维度：编程规约、异常日志、单元测试、安全规约、MySQL数据库、工程结构、设计规约。
- 循环结构清晰：计数器为整型变量，增量固定（如 i += 1），边界可静态推断或经多次采样稳定（如 for (int i = 0; i ）
- 循环体足够小且无副作用：不含虚方法调用、synchronized 块、异常处理、反射或 I/O；JIT 能确认每次迭代行为一致
- 数组访问模式规整：使用 array[i] 形式且 array 是已知长度的堆内数组（非 Object[] 或 list.get(i)）
- 未超过展开阈值：默认最大展开因子通常为 8–16（取决于平台与编译策略），过大会导致代码膨胀，反而降低 icache 命中率
哪些写法会让 JIT 放弃展开
即使逻辑等价，某些编码习惯会干扰 JIT 对循环结构的判定：
- 动态边界：用 list.size() 或 map.keySet().size() 作上限，JIT 无法确认其不变性
- 混合类型索引：如 arr[getIndex(i)]，间接寻址破坏了内存访问可预测性
- 循环内修改控制变量：在 body 中写 i += 2 或 break/continue 交错出现，使迭代次数不可静态归纳
- 嵌套过深或含逃逸对象：外层循环创建新对象并在内层传递，触发逃逸分析失败，连带抑制循环优化
如何让代码对循环展开更友好
无需手动展开，但可通过结构引导 JIT 做出更优决策：
- 把长度提取为 final 局部变量：final int len = array.length; 再用于循环条件
- 避免在循环中调用任意 getter 或计算表达式，尤其不要重复写 someObj.getValue() * 2 + offset
- 优先用原始数组而非 ArrayList / LinkedList 遍历数值密集型场景
- 若需大范围处理，考虑分块（如每 64 元素一组），比单一大循环更容易满足“小而稳”的展开前提
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
