数组边界检查消除是语言相关的经典编译优化技术，通过识别并删除冗余的数组索引安全检查（如循环中已由条件保证的越界检测），为循环无关代码外提、循环展开等深层优化创造前提。
数组边界检查消除（Array Bounds Checking Elimination）本身不直接优化“变量循环”，但它与循环优化紧密协同，尤其在涉及数组访问的循环中，是JVM提升性能的关键突破口。掌握它，本质是理解JVM如何识别“安全可省略”的运行时检查，并借此触发更深层的循环优化（如循环无关代码外提、循环展开）。下面从原理到实践分三部分说明。
数组边界检查消除的核心逻辑
JVM在每次执行 foo[i] 时，默认插入运行时检查：确保 i >= 0 && i 。这个检查开销虽小，但在高频循环中会累积。消除的前提是：编译器能**静态证明**该检查永远为真——即索引 i 的取值范围被数学上约束在合法区间内。
- 常见可证场景：for 循环中使用 i 作为终止条件，且 i 从 0 开始、每次 +1 递增
- 关键依赖：循环变量 i 必须是“计数型”（counted loop），且上下界表达式可被编译器数据流分析精确推导
- 失败情况：i 来自用户输入、方法返回值、或存在非线性修改（如 i += 2 + someVar），则无法消除
它如何撬动整个循环优化链
边界检查消除不是孤立动作，而是JVM优化流水线中的“信任起点”。一旦确认数组访问安全，编译器就敢做更激进的变换：
- 触发循环无关代码外提：例如 arr.length 在循环条件中出现多次，消除边界检查后，JVM更确信该值在整个循环中恒定，从而将其提到循环外（避免每次迭代都读取对象头）
- 支撑循环展开：当编译器知道每次访问都安全，它才敢把一次迭代展开为多次（如 i+=2），并批量生成 arr[i]、arr[i+1] 访问——否则展开后可能引入越界风险
- 促成方法内联穿透：若循环体调用了一个只做数组访问的小方法，边界检查消除常随内联一起发生，使整个调用链暴露在统一优化视图下
写代码时如何配合这项优化
你无法手动关闭边界检查，但可以写出更容易被JVM识别和优化的循环结构：
- 用标准 for 形式：for (int i = 0; i ，避免 while 或 do-while 中隐藏的边界不确定性
- 避免在循环体内修改数组引用（如 arr = anotherArr）或长度相关变量（如 length = arr.length 后再用 length 做判断）
- 对多维数组，优先用 arr[i][j] 而非先取 arr[i] 再访问，后者可能打断编译器对第二维边界的连续推理
- 热点循环中慎用 Collections（如 ArrayList.get(i)），其内部仍含边界检查，且封装层阻碍内联；直接操作底层数组更易触发优化
理解数组边界检查消除，就是理解JVM如何用确定性换性能——它不靠猜测，而靠对循环结构、变量演化和数据流的严格证明。写得越规整，它优化得越彻底。
