爲什麼在Java中創建一個MAX_INT大小的數組是不可能的？

Question

我已閱讀此問題的一些答案（Why I can't create an array with large size?和https://bugs.openjdk.java.net/browse/JDK-8029587），我不理解以下內容。 「在GC代碼中，我們將字中大小的對象作爲int來傳遞。」據我所知，JVM中一個單詞的大小是4個字節。據此，如果我們以int的形式傳遞長整型大數組（例如，MAX_INT - 5）的大小，我們必須通過得到OutOfMemoryException請求的數組大小超過了VM限制，因爲大小太大即使沒有標題大小也是如此。那麼爲什麼不同類型的數組對最大元素數有相同的限制？

Answer 1

只處理爲什麼不同類型的數組對最大元素數有相同的限制？部分：

因爲它在實際中並不重要，但允許實現JVM的代碼更簡單。

當只有一個限制;對於各種陣列來說都是一樣的;那麼你可以使用該代碼處理所有數組。而不是有很多類型特定的代碼。

並且考慮到需要「大」數組的人仍然可以創建它們;只有那些需要真的很大的陣列受到影響;爲什麼花了這個努力？

Answer 2

答案是在jdk中，據我所知（我在看jdk-9）;還寫它之後，我不知道這是否應該是一個評論，而不是（如果它回答您的問題），但它是一個評論太長......

首先錯誤是來自hotspot/src/share/vm/oops/arrayKlass.cpp這裏拋出：

現在

if (length > arrayOopDesc::max_array_length(T_ARRAY)) { 
    report_java_out_of_memory("Requested array size exceeds VM limit"); 
    .... 
} 

，T_ARRAY實際上是BasicType類型的枚舉，看起來像這樣：

public static final BasicType T_ARRAY = new BasicType(tArray); 
// tArray is an int with value = 13 

這是第一個跡象表明，計算的最大尺寸時，JDK不護理該數組將保存什麼（T_ARRAY未指定該數組將保存哪些類型）。

現在，真正驗證了最大的數組大小的方法是這樣的：

static int32_t max_array_length(BasicType type) { 
     assert(type >= 0 && type < T_CONFLICT, "wrong type"); 
     assert(type2aelembytes(type) != 0, "wrong type"); 

     const size_t max_element_words_per_size_t = 
     align_size_down((SIZE_MAX/HeapWordSize - header_size(type)), MinObjAlignment); 
     const size_t max_elements_per_size_t = 
     HeapWordSize * max_element_words_per_size_t/type2aelembytes(type); 
     if ((size_t)max_jint < max_elements_per_size_t) { 
     // It should be ok to return max_jint here, but parts of the code 
     // (CollectedHeap, Klass::oop_oop_iterate(), and more) uses an int for 
     // passing around the size (in words) of an object. So, we need to avoid 
     // overflowing an int when we add the header. See CRs 4718400 and 7110613. 
     return align_size_down(max_jint - header_size(type), MinObjAlignment); 
     } 
     return (int32_t)max_elements_per_size_t; 
} 

我沒有去跳水進過多的代碼，但它是基於HeapWordSize;這是8 bytes at least。 here是一個很好的參考（我試圖把它看成代碼本身，但有太多的參考）。