Java数组最大长度为何设为Integer.MAX_VALUE - 8？

核心疑问解答 #

你之前的误区在于：Java里的数组本身就是一个完整的对象，不是“对象头和数组内容分开存储”——数组在内存中是一块连续的空间，前面部分是数组对象的对象头，后面紧跟着所有数组元素的存储空间，二者是绑定在一起的。

JVM对单个对象的内存分配有硬性限制：单个对象的总字节数不能超过Integer.MAX_VALUE（底层用int类型记录对象大小，这是JVM内存模型的设计限制）。当创建数组时，JVM要计算的总内存是「对象头大小 + 单个元素大小 × 数组长度」，这个总和必须≤Integer.MAX_VALUE字节。

这就是对象头大小会影响数组最大长度的原因：如果数组长度设得太大，加上对象头的大小后，总内存就会突破单个对象的上限，JVM直接分配失败。

常见问题拆解 #

1. 为何ArrayList的最大数组长度为Integer.MAX_VALUE - 8？ #

ArrayList底层依赖Java数组实现，为了保证数组对象的总内存不超过Integer.MAX_VALUE字节，必须预留出对象头的空间。8字节是针对不同JVM环境的保守预留值（不同JVM的对象头大小略有差异，8是最大的常见额外占用），用Integer.MAX_VALUE - 8作为最大长度，就能确保加上对象头后，总内存不会超出单个对象的上限，避免分配内存时抛出异常。

2. 为何无法创建大容量数组？ #

主要有两个关键限制：

• 单个对象内存上限：如前所述，JVM不允许单个对象的内存超过Integer.MAX_VALUE字节，数组作为对象，总内存（对象头+元素空间）必须符合这个要求，所以长度不可能无限大。
• 连续内存分配限制：即使总内存没超上限，堆内存通常是碎片化的，大数组需要一块连续的内存空间，系统可能没有足够大的连续块来分配，导致创建失败。

内容的提问来源于stack exchange，提问作者exception