Java 8 泛型類型推論全面升級：從鑽石運算子到目標類型推斷

前言：泛型與類型推論的演進

泛型是 Java 5 引入的參數化類型機制，讓集合等容器擁有編譯期類型安全。但早期版本要求「宣告端」與「實例化端」雙雙寫入型別參數，顯得冗餘。Java 7 推出鑽石運算子 <>，Java 8 再大幅增強目標類型推斷，將推論範圍擴展至方法參數、建構子、Lambda 等語境，極大提升程式碼簡潔度。

版本演進時間軸

Java 7 鑽石運算子回顧

Map<String, Integer> map = new HashMap<>(); // 編譯器從左側推斷右側型別
// 注意：必須保留 <>，否則為原始類型，會有 unchecked 警告

限制：僅適用於「變數宣告 + 實例化」同一語句，無法用於方法參數傳遞：

// Java 7 編譯失敗
list.addAll(new ArrayList<>()); // 無法推斷型別參數

Java 8 突破：目標類型推斷

核心概念

目標類型：編譯器根據表達式出現的語境，預期的具體類型。例如：

• 賦值語句左側型別
• 方法參數宣告型別
• 回傳語句預期型別
• Lambda 表達式目標函數式介面型別

方法呼叫推論範例

static <T> List<T> emptyList() { ... }

// Java 7 需顯式指定
List<String> list7 = Collections.<String>emptyList();

// Java 8 直接推斷
List<String> list8 = Collections.emptyList(); // 目標類型 List 推斷 T=String

泛型方法推論

static <T> T pick(T a1, T a2) { return a2; }

Serializable s = pick("d", new ArrayList<String>());
// 推斷 T = Serializable (String 與 ArrayList 共同父介面)

建構子推論

class MyClass<X> {
    <T> MyClass(T t) { ... }
}

// Java 8 同時推斷類別型別參數 X 與建構子型別參數 T
MyClass<Integer> obj = new MyClass<>("hello"); // X=Integer, T=String

Lambda 表達式與目標類型

這是 Java 8 類型推論威力最大的應用場景：

// 無目標類型：編譯錯誤
// var fn = x -> x + 1; 

// 有目標類型：完美推斷
Function<Integer, Integer> fn = x -> x + 1;
Comparator<String> cmp = (a, b) -> a.length() - b.length();
Runnable r = () -> System.out.println("Hello");

編譯器從函數式介面的單一抽象方法 (SAM) 簽名推斷 Lambda 參數與回傳型別。

實際開發中的常見模式

1. 集合工廠方法

List<String> list = List.of("a", "b", "c"); // Java 9+ 不可變集合
Set<Integer> set = Set.of(1, 2, 3);
Map<String, Integer> map = Map.of("a", 1, "b", 2);

2. Stream API 鏈式推論

List<String> result = list.stream()
    .filter(s -> s.length() > 3)        // 推斷 s: String
    .map(String::toUpperCase)           // 推斷 String -> String
    .collect(Collectors.toList());      // 目標類型 List

3. Optional 鏈式操作

Optional<User> opt = findUser(id);
String name = opt.map(User::getName)     // Optional
                 .orElse("Guest");

4. 建構者模式

User user = User.builder()
    .name("Tom")
    .age(25)
    .email("tom@example.com")
    .build(); // 目標類型 User 推斷建構者泛型

限制與注意事項

• 推論僅依賴：目標類型、實際參數型別、回傳型別。不依賴 前序陳述式或區域變數型別。
• 多態情境下可能推斷為較寬鬆型別 (如 Object)，需顯式指定：Collections.<String>emptyList()。
• 原始類型 (List vs List<String>) 會阻斷推論，保留 <> 習慣。
• 過度複雜的推論鏈可能導致編譯器報錯「無法推斷型別參數」，適度拆分語句或加入型別見證者。

總結

Java 8 的類型推論升級，核心在於目標類型概念的引入，將推論從「宣告-實例化」雙邊延伸至方法呼叫、建構子、Lambda、Stream 等完整表達式語境。配合鑽石運算子 <>，開發者終於能專注業務邏輯，而非重複撰寫型別參數。善用此特性，配合現代 IDE 的型別顯示功能，即可寫出兼具型別安全與簡潔優雅的程式碼。