您现在的位置：程式碼之家 >> 編程語言 > >> Java 程式設計 >> Java 綜合教學

Java 數組與內存模型深度解析：初始化、存儲、多維本質與靜態特性

編輯：Java 綜合教學

Java 數組內存模型：從初始化到存儲的完整圖景

1. 初始化機制

類型	語法	內存行為	程序員視角
動態初始化	`new int[3]`	分配堆內存 → 默認值（0/null/false）	指定長度，不指定值
靜態初始化	`{1,2,3}`	分配堆內存 → 指定值	指定值，長度由系統推導

動態初始化細節

int[] scores = new int[3];  // 堆中分配 int[3]，每元素默認 0
// 階段 1：默認初始化（系統自動）
// 階段 2：顯式賦值（程序員代碼）
for (int i = 0; i < scores.length; i++) {
    scores[i] = i * 2 + 1;  // 覆蓋默認值
}

2. 內存存儲結構

main() 棧幀
└── scores (引用變量) ──────→ 堆內存
                              └── int[3] 對象
                                  ├── [0] = 1
                                  ├── [1] = 3
                                  └── [2] = 5

引用變量：存棧（局部變量表），指向堆對象
數組對象：存堆，包含 length、類型信息、元素數據
數組元素：基本類型直接存值，引用類型存引用，均在堆中連續分佈

3. 引用變量 vs 對象判斷規則

int[] arr = new int[3];
arr.length;    // 訪問屬性 → 引用變量代替對象訪問
arr[0] = 10;   // 訪問元素 → 引用變量代替對象操作
System.out.println(arr); // 打印引用地址（哈希碼）

規則：只要通過引用變量訪問屬性/調用方法/索引訪問，引用變量即代表其指向的對象。

4. 數組元素 vs 局部變量存儲差異

特性	局部變量	數組元素
存儲位置	棧（棧幀局部變量表）	堆（數組對象內部）
生命周期	方法執行期間	數組對象存活期間
基本類型	直接存值	直接存值
引用類型	存引用（指向堆對象）	存引用（指向堆對象）

5. 多維數組本質：一維數組的嵌套

int[][] matrix = new int[2][3];
// 內存結構：
// matrix (引用) → int[2] (堆)
//   ├── [0] → int[3] (堆) → [0,0,0]
//   └── [1] → int[3] (堆) → [0,0,0]

// 等價於
int[][] matrix = new int[2][];
matrix[0] = new int[3];
matrix[1] = new int[3];

Java 無真正多維數組，只有「數組的數組」
每行長度可不同（鋸齒數組）：new int[2][]; arr[0]=new int[3]; arr[1]=new int[5];
初始化可只指定最左維度：new int[5][][] → 長度 5 的一維數組，元素類型為二維數組引用

6. 數組靜態特性

長度不可變：初始化後 length 固定
類型不可變：int[] 只能存 int，Parent[] 可存 Child（協變，運行期檢查）
需動態容量 → 使用 ArrayList、Vector 或手動 Arrays.copyOf

7. 內存圖總結

String[] names = {"Alice", "Bob"};

棧 (main幀)
└── names (引用) ─────────────────────┐
                                      ▼
堆
├── String[2] 對象 (length=2)
│   ├── [0] ──────────────────────┐
│   └── [1] ──────────────────────┤
│                                 ▼
├── "Alice" (String對象, 常量池/堆)
└── "Bob"   (String對象, 常量池/堆)