Java 泛型通配符與 C# 泛型約束深度對比

核心差異：類型系統層面的擦除 vs 具體化

Java 泛型採用類型擦除，編譯期僅作語法檢查，運行期全部擦除為 Object；C# 泛型由 CLR 直接支持，運行期保留具體類型資訊（具體化）。這一根本差異導致 Java 需要通配符（?）來表達「未知類型的父子關係」，而 C# 則通過 where 子句在聲明處約束類型參數。

Java 通配符三大模式

// 無界通配符示例：打印任意 List 內容
public void printAll(List<?> list) {
    for (Object o : list) System.out.println(o);
}

// 上界通配符：計算 Number 子類列表的雙精度和
public double sum(List<? extends Number> nums) {
    double s = 0;
    for (Number n : nums) s += n.doubleValue(); // 只能讀取
    return s;
}

// 下界通配符：向列表添加 Integer
public void addIntegers(List<? super Integer> list) {
    list.add(10);      // OK
    list.add(new Integer(20)); // OK
    // list.add(new Object()); // 編譯錯誤
}

C# 泛型約束語法

// 類約束：T 必須是引用類型，U 必須是值類型
class MyClass<T, U> where T : class where U : struct { }

// 介面約束：TKey 必須實現 IComparable、IEnumerable；TVal 必須實現 IMyInterface
interface IMyInterface { }
class Dictionary<TKey, TVal> 
    where TKey : IComparable, IEnumerable
    where TVal : IMyInterface
{
    public void Add(TKey key, TVal val) { }
}

// 建構函數約束：T 必須有無參建構函數
class Factory<T> where T : new() {
    public T Create() => new T();
}

C# 約束在聲明處綁定，編譯器可生成專用 IL 代碼，運行期無裝箱/拆箱開銷，性能優於 Java 擦除模式。

Java 多重界限寫法

<T extends Number & Serializable>  // 注意用 & 而非逗號
class Apple<T> { }

總結對比

理解兩者設計哲學差異，有助於在跨語言架構設計中做出更合適的泛型建模決策。