Dlaczego ArrayList # rangeCheck nie sprawdza, czy indeks jest ujemny?

Question

ArrayList#get, set i najpierw wywołaj metodę rangeCheck. Ta metoda nie sprawdza, czy indeks jest ujemny. Sprawdza tylko, czy indeks jest większy lub równy długości tablicy. Javadoc wyjaśnia przyczynę; dostęp do tablicy wyrzuca ArrayIndexOutOfBoundsException, jeśli indeks jest ujemny.

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

    return elementData(index); 
} 

Według Java Langauage Specification An dostęp do tablicy zgłasza ArrayIndexOutOfBoundsException jeśli indeks jest nie tylko negatywne, ale również GTE.

Dostęp do wszystkich tablic jest sprawdzany w czasie wykonywania; próba użycia indeksu , która jest mniejsza niż zero lub większa lub równa długości tablicy powoduje wygenerowanie wyjątku ArrayIndexOutOfBoundsException.

Myślę, że funkcja rangeCheck powinna sprawdzać zarówno wartość ujemną, jak i parametr gte, a dla wydajności nie powinna sprawdzać. Dlaczego funkcja rangeCheck nie sprawdza, czy indeks jest ujemny?

Answer 1

Po prostu dlatego, że w tablicy ArrayList może być większa niż bieżący rozmiar.

W obecnej implementacji pojemność macierzy dyskowej ArrayList zwiększa się o współczynnik 1,5 za każdym razem, gdy zostanie przekroczona maksymalna pojemność. Domyślna początkowa pojemność to 10, a gdy spróbujesz dodać 11 element do listy, tablica zostanie ponownie przydzielona z pojemnością 15. Kiedy przekroczysz 15, przejdziesz do 22, itd.

W dowolnym momencie, pojemność jest prawdopodobnie większa niż obecna liczba elementów w ArrayList.

Sprawdzanie indeksów ujemnych pozostawia się JVM (w macierzy), a sama ArrayList musi sprawdzać tylko na górnym końcu bieżącej listy.