为什么 ArrayList#rangeCheck 不检查索引是否为负？

Question

ArrayList#get、set 和remove 首先调用rangeCheck 方法。此方法不检查索引是否为负。它只检查索引是否大于或等于数组的长度。 Javadoc 解释了原因；如果索引为负数，则数组访问会抛出 ArrayIndexOutOfBoundsException。

private void rangeCheck(int index) {
    if (index >= size)
        throw new IndexOutOfBoundsException(outOfBoundsMsg(index));
}
public E get(int index) {
    rangeCheck(index);

    return elementData(index);
}

根据Java Langauage Specification，如果 index 不仅是负数而且是 gte，则数组访问会引发 ArrayIndexOutOfBoundsException。

在运行时检查所有数组访问；尝试使用索引 小于零或大于或等于 数组导致抛出 ArrayIndexOutOfBoundsException。

我认为 rangeCheck 应该同时检查负数和 gte ，或者，为了性能，不应该检查。 为什么 rangeCheck 不检查索引是否为负？

Answer 1

很简单，因为在ArrayList 中，后备数组可能大于当前大小。

在当前实现中，每次超过当前最大容量时，ArrayList 的后备阵列容量会增加 1.5 倍。默认初始容量为 10，当您尝试将第 11 个元素添加到列表中时，数组将重新分配容量为 15。当您超过 15 时，它将变为 22，等等。

在任何给定时间，容量都可能大于ArrayList 中的当前元素数。

检查负索引留给 JVM（在后备数组上），ArrayList 本身只需要检查当前列表的上端。