Java泛型深度解析：CompareTo中T與通配符?的含義與用法

問題核心

初學者在學習 Java 集合框架時，常對泛型聲明中的 T 和通配符 ? 感到困惑，特別是在 Comparable<T> 等接口定義中。

類型參數 T：泛型的佔位符

T（Type Parameter）是類型參數，在定義泛型類/接口/方法時作為具體類型的佔位符：

// 定義階段：T 代表未來將傳入的具體類型
public interface Comparable {
    int compareTo(T o);  // 參數類型與實現類一致
}

// 使用階段：指定具體類型
public class Student implements Comparable { // T 被替換為 Student
    public int compareTo(Student o) { ... }
}

關鍵特性：

• 定義時聲明：在類/接口/方法簽名處聲明 <T>
• 使用時具體化：實例化或實現時傳入實際類型（如 List）
• 編譯時類型擦除：運行時 T 被替換為 Object 或邊界類型

通配符 ?：未知類型的靈活表示

? 表示未知類型，主要用於參數聲明而非定義，提供多態靈活性：

三種通配符形式

PECS 原則：生產者用 extends，消費者用 super

Joshua Bloch 在《Effective Java》提出的核心指導原則：

// 生產者：從集合讀取元素 → 用 extends
public void printNumbers(List list) {
    for (Number n : list) System.out.println(n); // 安全讀取
    // list.add(1); // 編譯錯誤！不能寫入（除 null）
}

// 消費者：向集合寫入元素 → 用 super
public void addIntegers(List list) {
    list.add(1);      // 安全寫入
    list.add(2);
    // Number n = list.get(0); // 編譯錯誤！只能作為 Object 讀取
}

CompareTo 實戰場景

在 Comparable<T> 中，T 確保比較雙方類型一致：

// 正確：同類比較
List students = ...;
students.sort(Student::compareTo); // T = Student

// 錯誤嘗試：跨類比較（編譯不通過）
// students.sort((a, b) -> a.compareTo((Teacher)b)); 

若需比較不同但相關類型，可用通配符：

// 通用比較器接受 Number 及其子類
Comparator cmp = (a, b) -> a.doubleValue() - b.doubleValue();

常見誤區澄清

1. T 只能用在定義處：方法參數用 List<T> 需方法聲明 <T>，否則用 ?
2. ? 不是類型變量：不能聲明變量 ? x，只能用於引用類型
3. 類型擦除限制：運行時 List 和 List 都是 List

最佳實踐建議

• API 設計時：返回類型用具體泛型，參數類型考慮通配符增加靈活性
• 遵循 PECS 原則選擇 extends 或 super
• 盡量避免原始類型，啟用編譯器泛型檢查
• 複雜泛型簽名可引入類型別名簡化：type NumList = List;

掌握 T 與 ? 的區別，是寫出類型安全、可復用 Java 代碼的關鍵。建議多閱讀集合框架源碼（如 Collections.sort、Stream API），體會泛型在實際庫設計中的精妙應用。