什么是Java中的Objects.checkIndex_Java 9提供的类型安全索引边界检查

objects.checkindex 是 java 9 新增的静态工具方法，用于安全检查数组或 list 索引是否越界，替代手动编写 i >= 0 && i

Objects.checkIndex 是什么，为什么 Java 9 要加它

它不是语法糖，也不是新关键字，而是 Objects 类里新增的一个静态工具方法，专为「检查数组或 List 的索引是否越界」提供类型安全、可读性强的替代方案。以前你得手写 i >= 0 && i ，容易漏判、复制粘贴出错，还无法在编译期暴露问题。<code>checkIndex 把这个逻辑收束成一行语义明确的调用，且返回值就是原索引——方便链式使用。

怎么用 checkIndex：参数、返回值和典型场景

它有两个重载版本，核心区别在于是否传入「上限」：

• Objects.checkIndex(int index, int length)：适用于数组、ArrayList 等基于长度（length/size）判断的场景，length 是合法索引的上界（即 [0, length)）
• Objects.checkIndex(int index, int fromInclusive, int toExclusive)：用于子范围检查，比如切片、分段处理，fromInclusive 和 toExclusive 构成闭开区间

两个方法都返回传入的 index（原样返回），所以你可以直接用在下标访问前：

int idx = Objects.checkIndex(userInput, list.size());
String item = list.get(idx); // 安全

注意：checkIndex 抛出的是 IndexOutOfBoundsException，不是 IllegalArgumentException，这点和传统边界校验一致，也便于统一异常捕获。

Knowt

Knowt是一款AI驱动的在线学习工具

下载

立即学习“Java免费学习笔记（深入）”；

常见错误和兼容性坑点

很多人以为它能自动适配所有集合，其实不然：

• 它不感知集合类型，只做数值比较；list.size() 返回 int，但若集合超 21 亿元素（罕见），size() 会溢出，此时传给 checkIndex 的 length 就是错的
• 对 LinkedList 调用 size() 是 O(1)，没问题；但如果你误把 list.size() - 1 当作 length 传进去，就缩窄了合法范围
• Java 8 及更早版本没有这个方法，编译直接报错；如果项目需兼容旧 JDK，不能无脑引入，得配合版本判断或自行封装
• 它不处理 null —— 如果你传入 null 给 list.size()，NPE 会在调用 checkIndex 前就抛出，别指望它兜底

和传统写法比，性能差多少

几乎没有额外开销。它的实现本质就是几行条件判断 + 抛异常，JIT 编译后和手写 if 几乎等价。唯一多一次方法调用，但 HotSpot 对这种小纯函数内联非常激进。真正影响性能的是你在哪里调用它——比如在 tight loop 里反复调用 list.size() 再传给 checkIndex，不如提前缓存 int len = list.size()。

真正容易被忽略的是：它只保“单次索引有效”，不保“多次访问期间集合未变”。比如你用 checkIndex 检查了索引，然后另一线程删了元素，再 get 依然会越界。它解决的是编码时的逻辑疏漏，不是并发安全问题。