Java null 到底是什麼？方法重載解析與編譯期綁定機制深度解析

經典面試題：為什麼 test(null) 調用 test(String) 而非 test(Object)？本文從 JVM 規範、編譯器解析流程、類型擬合規則三個層面，徹底講透 null 的本質與重載決策邏輯。

代碼復現

public class Test {
    public static void main(String[] args) {
        Temp temp = new Temp();
        temp.test("1");   // 輸出: test String
        temp.test(null);  // 輸出: test String (而非 test Object)
    }
}

class Temp {
    public void test(Object a) { System.out.println("test Object"); }
    public void test(String a) { System.out.println("test String"); }
}

核心結論

• null 無類型，但可賦值給任何引用類型
• 重載解析發生在編譯期，依據靜態類型而非運行時值
• 編譯器選擇最具體的適用方法：String 比 Object 更具體

JLS §15.12.2.5 重載解析三步驟

1. 確定候選方法：所有同名、可訪問、參數數量匹配的方法
2. 篩選適用方法：實參類型能隱式轉換給形參類型
   → null 可轉給 Object 和 String，兩者均適用
3. 選擇最具體方法：String 是 Object 子類型 → test(String) 勝出

為什麼不是運行時決定？

Java 重載是靜態綁定（Static Binding），編譯期根據引用類型決定調用哪個方法簽名。null 沒有運行時類型，只能靠編譯期的靜態類型推斷。若是覆寫，則是動態綁定，看實際對象類型。

類型擬合圖解

null
  │
  ├─→ Object  (適用)
  │
  └─→ String  (適用，更具體)  ← 編譯器選擇這個
       │
       └─→ Object (父類)

實戰陷阱與避坑指南

陷阱 1：新增中間類型導致行為變更

void test(CharSequence a) { ... } // 新增
// 原來 test(null) 調用 test(String)
// 現在 CharSequence 和 String 同級，無「最具體」 → 編譯報錯：ambiguous

陷阱 2：基本類型與包裝類

void test(int a) { ... }
void test(Integer a) { ... }
test(null); // 僅適用 test(Integer)，基本類型不可為 null

最佳實踐

1. 避免重載引用類型參數，改用不同方法名：testString()、testObject()
2. 必須重載時，文檔註明 null 語義，或提供 testNull() 專用方法
3. 調用端顯式轉型：temp.test((String)null) 消除歧義