循环展开由hotspot jvm的c2编译器动态决定，开发者需通过final变量、静态可判定边界、无副作用等写法提升jit优化概率。
循环展开在 Java 中不是靠开发者手写“展开几遍”来硬控的，而是由 HotSpot JVM 的 C2 编译器在运行时自动识别热点循环、结合代码特征与硬件模型（如寄存器数量、缓存行大小、分支预测成本）动态决定是否展开、展开多少次。真正能影响它的，是写出能让 JIT 看懂且愿意优化的代码结构。
让 JIT 主动展开的关键写法
编译器只对满足特定条件的循环做全量或部分展开，核心前提是：可静态判定边界、无副作用、无复杂控制流干扰。以下写法显著提升展开概率：
-
用 final 或编译期常量定义循环上限：例如
for (int i = 0; i 比 <code>for (int i = 0; i 更容易被完全展开；若 <code>n是final int n = 64;，C2 也大概率识别为常量 -
避免在循环体内修改数组长度、集合结构或调用可能触发去优化的方法：比如不要在循环中调用
list.add()或执行System.out.println()，这些会阻断循环优化链 - 保持内层计算纯函数化：不依赖外部可变状态，不抛异常，不发生虚方法调用（如避免在循环里反复调用未被内联的接口方法）
手动展开仅适用于极少数确定场景
人工展开不是通用优化手段，仅在 JIT 无法介入的场合（如 AOT 编译环境、GraalVM native image）、或循环体极小且次数固定（≤8）时有意义。典型适用情形：
- 初始化固定大小数组：
arr[0]=a; arr[1]=b; arr[2]=c; arr[3]=d;替代for (int i=0; i - 向量运算中对齐处理：如处理
float[16]时按 4 路展开，配合FloatVector批量加载 - 协议解析中字段已知且顺序固定：如解析 6 字节头部，直接写
b0,b1,b2,b3,b4,b5赋值，省去索引计算和边界检查
比展开更重要的前置优化
在追求极致性能时，循环展开常是“最后一公里”，而多数瓶颈其实在它之前。优先确认并解决：
-
循环无关代码是否外提：把
array.length、obj.field、x * y等稳定表达式移出循环——JIT 通常自动做，但若涉及未内联方法或复杂对象图访问，仍需手动缓存 -
内存访问是否连续友好：确保遍历是按行主序（如二维数组用
[i][j]而非[j][i]），避免跨缓存行随机跳转 -
是否误用低效数据结构：在
LinkedList上用索引循环（get(i)）会导致 O(n²) 复杂度，此时换ArrayList或改用迭代器，收益远超任何展开
验证是否生效的实操方式
不能凭感觉判断展开是否发生。真实验证路径如下：
- 加 JVM 参数
-XX:+PrintCompilation -XX:+UnlockDiagnosticVMOptions -XX:+PrintAssembly（需 hsdis），观察热点方法编译日志及汇编输出中是否有重复块（如连续多个mov/add指令序列） - 用 JMH 写微基准，对比开启
-XX:LoopUnrollLimit=16和默认值下的吞吐量变化；注意预热充分（≥10 轮 fork + ≥5 轮预热） - 通过
jstat -compiler <pid></pid>查看 C2 编译队列积压情况，若大量循环未被编译，可能是方法太长或存在去优化点（如类型不稳）
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
