Java 8 泛型類型推導進化史：從菱形語法到目標類型推導的完整演進

泛型回顧：參數化類型的語法糖

// 無泛型 (Java 4)
List list = new ArrayList();
list.add("hello");
String s = (String) list.get(0);  // 強轉，運行時才發現類型錯誤

// 有泛型 (Java 5+)
List list = new ArrayList();
list.add("hello");
String s = list.get(0);           // 編譯期保證類型安全，無強轉

Java 7：菱形語法 <> — 構造器側類型推導

());  // ❌ Java 7 編譯失敗：無法從 addAll 參數推導

限制： 僅支持賦值語境 的構造器推導，方法調用參數、返回值無法推導。

Java 8：全方位目標類型推導

核心升級：編譯器根據 目標類型 推導泛型參數，目標類型來源包括：

1. 賦值語境：List list = ...
2. 方法參數語境：void process(List list)
3. 返回值語境：List getList()
4. 強轉語境：(List) obj
5. Lambda 表達式參數類型

1. 方法參數推導 (Java 7 不支持 → Java 8 支持)

void process(List list) { ... }

// Java 8
process(new ArrayList<>());           // ✅ 推導為 ArrayList
process(Arrays.asList("a", "b"));     // ✅ 推導為 List

2. 返回值推導

static  List emptyList() { return new ArrayList<>(); }

List list = emptyList();      // ✅ 推導 T=String
// Java 7 需顯式: Collections.emptyList()

3. 構造器泛型推導 (含非泛型類的泛型構造器)

class MyClass {
     MyClass(T t) { }              // 泛型構造器
}

// Java 8
MyClass obj = new MyClass<>("hello");  // ✅ 推導 X=Integer, T=String
// Java 7 需: new MyClass("hello") 仍無法推導 T

4. 經典案例：Collections.emptyList()

void processStringList(List list) { ... }

// Java 7
processStringList(Collections.emptyList());  // 必須顯式

// Java 8
processStringList(Collections.emptyList());          // ✅ 目標類型 List 推導 T=String

5. Lambda 表達式中的目標類型推導

@FunctionalInterface
interface Converter { T convert(F from); }

// 目標類型 Converter
Converter c = s -> Integer.parseInt(s);  // ✅ 推導 F=String, T=Integer

類型推導算法簡述

JLS 18 節定義：

1. 收集 約束條件：來自目標類型、實參類型、返回類型
2. 求解 類型變量：生成 <T> 的具體類型邊界
3. 選擇 最具體類型：滿足所有約束的最小超類型
4. 檢查 兼容性：確保推導類型可賦值給目標類型

實戰避坑指南

總結：類型推導的三次躍遷

Java 8 的目標類型推導配合 Lambda、Stream API、方法引用，徹底改變了 Java 代碼風格：類型聲明從「到處寫」變為「關鍵處寫」，編譯器承擔了更多樣板推導工作，這正是現代 Java 表達力提升的核心動力之一。