Eclipse 3.1 Java 泛型支援全解析：專案配置、快速修復、重構與類型搜尋實戰

背景

Java 5 (J2SE 5.0) 引入泛型，是語言史上最大語法變更。Eclipse 3.1 首度提供完整工具支援：編譯器配置、快速修復、重構、內容助手、類型感知搜尋。

專案啟用 Java 5 泛型

1. 安裝 JDK 5 (J2SE 5.0)
2. 專案屬性 → Java Compiler → 勾選 Enable project specific settings
3. JDK Compliance 設為 5.0 (Source/Class files 同步)
4. Errors/Warnings → Generic types 區塊配置警告策略

關鍵警告選項

從原始類型遷移至泛型：快速修復與重構實戰

範例代碼 (遷移前)

public class HR {
    public HR() {
        List empList = new ArrayList(5); // 原始類型
        empList.add(new Employee("Homer", 200.0, 1995));
        empList.add(new Employee("Lenny", 300.0, 2000));
        empList.add(new Employee("Waylon", 700.0, 1965));
        empList.add(new Manager("Monty", 2000.0, 1933, (Employee) empList.get(2))); // 需強制轉型

        printEmployees(empList);
        for (int i = 0; i < empList.size(); i++)
            ((Employee) empList.get(i)).applyRaise(5); // 強制轉型
        printEmployees(empList);
        // ... Collections.sort 等操作
    }
    public void printEmployees(List emps) { // 原始類型參數
        for (int i = 0; i < emps.size(); i++)
            System.out.println(emps.get(i));
    }
}

快速修復燈泡 → 重構選單 → Infer Generic Type Arguments

遷移後代碼

List empList = new ArrayList(5);
empList.add(new Employee("Homer", 200.0, 1995));
empList.add(new Employee("Lenny", 300.0, 2000));
empList.add(new Employee("Waylon", 700.0, 1965));
empList.add(new Manager("Monty", 2000.0, 1933, empList.get(2))); // 無需轉型！

public void printEmployees(List emps) {
    for (int i = 0; i < emps.size(); i++)
        System.out.println(emps.get(i));
}

兩大改變：

1. 集合宣告加上型別參數 <Employee>
2. 智慧移除冗餘強制轉型 (empList.get(2) 已知為 Employee)

Java 5 新語法支援：for-each 循環快速修復

// 遷移前
for (int i = 0; i < emps.size(); i++)
    System.out.println(emps.get(i));

// 快速修復建議 → for-each
for (Employee emp : emps)
    System.out.println(emp);

• 消除索引變數與 get() 呼叫，更簡潔安全
• 同時支援 @Override 等註解的快速修復與內容助手

泛型類型的進階工具支援

• 安全重命名：泛型類型參數、類型變數重命名不影響語義
• 方法抽取/內聯：泛型方法正確處理型別參數
• 內容助手自動填入型別參數：new ArrayList<|>() 游標位置自動建議
• 類型感知搜尋：Search → References 可區分 List<Employee> 與 List<Date>

搜尋過濾示範

List empList = ...;
List hireDates = ...;
List departments = ...;
List allMgrs = ...;

Search 視窗選單 → Filter Incompatible → 僅保留 Employee 相容項目

泛型設計實戰建議：靈活的型別參數

問題：方法接受 List<Employee>，但未來可能需處理 List<Person> (Employee 父類)。

解決：使用通配符上界

public List empsOverRetirementAge(List people) {
    List retirees = new ArrayList();
    for (Person e : people)
        if (e.getAge() > 65) retirees.add(e);
    return retirees;
}

• ? extends Person 接受 Person 及其所有子類
• 回傳 List 安全 (只讀取、不寫入)
• 體現「PECS 原則」：Producer Extends, Consumer Super

總結

Eclipse 3.1 提供業界領先的泛型工具鏈：配置、警告、快速修復、重構、搜尋、內容助手全方位支援。善用工具遷移舊代碼、採用 for-each、靈活運用通配符，能同時獲得型別安全、程式碼簡潔、重構可靠三重收益。