ArrayList 大小为什么能取到Integer.MAX_VALUE?

Question

private static final int MAX_ARRAY_SIZE = Integer.MAX_VALUE - 8;

private static int hugeCapacity(int minCapacity) {        
            if (minCapacity < 0) // overflow
                throw new OutOfMemoryError("Required array size too large");        
            return (minCapacity > MAX_ARRAY_SIZE) ?Integer.MAX_VALUE :MAX_ARRAY_SIZE;
    }

为什么-8？

数组对象的形状和结构（如int值数组）与标准Java对象类似。主要区别在于数组对象有一个额外的元数据，用于表示数组的大小。然后，数组对象的元数据由以下部分组成：

Class：指向描述对象类型的类信息的指针。在int数组的情况下，这是一个指向int []类的指针。

标志：描述对象状态的标志集合，包括该对象的散列码（如果有）以及对象的形状（即对象是否为数组）。

锁定：对象的同步信息 - 即对象是否当前同步。

大小：数组的大小。

这里我不太明白为什么是Integer.MAX_VALUE ，按照前面的说法，MAX_ARRAY_SIZE 就已经是最大的了。超过就已经溢出，这里感觉应该是

(minCapacity > MAX_ARRAY_SIZE) ? MAX_ARRAY_SIZE : minCapacity;）才比较合理

Answer 1

ILUBEAQDFMVMMVBZZVTQQGORNAXUUKQQQCVIYOZFYBEOQWJKXYSIVLFNNGTWGDDDWJZIRZYEWKGAZEHFRHAGTOURYAQGJWJMIOEKNQXDDNDGAPADCJCLBKKEKRKHBEHQJGZGLLRBNVHRDDNKJGAQZGWPIITWOOIBUSVIUCZNNGFIVFOEBAKNGGDJHLKYLOEBEHWJZSVLWWPFFSZSIQCPVGMFIOXAIIRXNQWJBLONDJTGDMSIIXATZFVMZJNDNKQGQZNKXWWJPSSECSIYRBRTMPDDWJQQZTHGKUQNMANWWHQRXKUBKHRRBOASFIEEQAGXQJQPPJQNTDKLALUKZIYUEDGIEMVSOXAQYNJMCMCMVWMHQLIYVKZBLUUJSBSPZOKNVJFUPTPRBEAPAJLOQNWZCGIJRIDGPFILBJBJSUXUQHXAWPENXTCYVLOXTPKVYHQTUKGHJSBKNJSCFADZPYHQAWMPXVLIFBXHQAWXYHENKMPYGJMBQZWYODTCSVCYHQTIFIXAJZCEAXMWGCFIYHQMISIFVYANCRBLOQZWSULIXNOLBENKTUQHQFIDMIYOUJEIKNDTPSUOLGJMVZJFGWBXZWLODTDTBODMBRCXNKMJLNJGIXGQTPXAORNQFPYBKGOVKHWZPSUXHJZIMOYAWMVYIRMCPMTUAAKYADNJFOROQGNDTVSIXAJRTMOYOXGWHJMCTBLIKGIZOEUIRAYHRMPMOXQAJMIRBRYPLVYBEACRUDZVMVZCFIJFCSUVYVXMPFOKNQYNXHDXNKZPSLUXMQTIGPSIRAJUJSOMIYHLVXHRAPZWMHVZUROPZORHXVQGLBDZPLUQPLGPSIRHRTJPLVWMTMMPJCPSVYNJLIRAQLADZVFNDSIY

Answer 2

试着调试下public static void main(String[] args) {     int oldCapacity = Integer.MAX_VALUE - 16;     System.out.println(oldCapacity);     int minCapacity = Integer.MAX_VALUE - 15;     int maxSize = Integer.MAX_VALUE - 8;     int newCapacity = oldCapacity + (oldCapacity >> 1);    if (newCapacity - minCapacity < 0)        newCapacity = minCapacity;    if (newCapacity - maxSize > 0)        newCapacity = hugeCapacity(minCapacity);    // minCapacity is usually close to size, so this is a win:     System.out.println(newCapacity); }private static int hugeCapacity(int minCapacity) {    if (minCapacity < 0) // overflow         throw new OutOfMemoryError();    return (minCapacity > Integer.MAX_VALUE - 8) ?             Integer.MAX_VALUE :             Integer.MAX_VALUE - 8; }int newCapacity = oldCapacity + (oldCapacity >> 1);这句执行后如果超过int的最大值那么newCapacity会是一个负数，这个需要了解一下数字二进制的加减原理。下面这四句就是针对newCapacity溢出变成负数的时候的处理if (newCapacity - minCapacity < 0)         newCapacity = minCapacity; if (newCapacity - maxSize > 0)     newCapacity = hugeCapacity(minCapacity);