Java 泛型通配符 `? super T` vs `? extends T`：PECS 原則圖解與實戰

核心口訣：PECS (Producer Extends, Consumer Super)

• **只讀取 (Producer)** → 用 `? extends T`
• **只寫入 (Consumer)** → 用 `? super T`
• **既讀又寫** → 不用通配符，用確切類型 `T`

你的代碼場景分析

Collection   // Consumer: 只能往裡放 Cat 或其子類 (安全)
Collection // Producer: 只能從裡取 Animal 或其父類 (安全)

詳細規則對比

代碼驗證

List consumer = new ArrayList(); // Animal 是 Cat 父類，合法
consumer.add(new Cat());      // ✅ Cat 是 Cat
consumer.add(new Kitty());    // ✅ Kitty 是 Cat 子類
consumer.add(new Animal());   // ❌ Animal 不是 Cat 子類
Object o = consumer.get(0);   // 只能作為 Object 讀取

List producer = new ArrayList(); // Cat 是 Animal 子類，合法
Animal a = producer.get(0);   // ✅ 取出的是 Animal
producer.add(new Cat());      // ❌ 編譯錯誤：不能保證列表真實類型能裝 Cat
producer.add(new Animal());   // ❌ 同上

你的具體方法簽名建議

// printA: 只需讀取元素並打印 → Producer → extends
public static void printA(Collection c) {
    for (Animal a : c) System.out.println(a);
}

// printB: 若需往集合添加 Cat → Consumer → super
// 但打印通常不添加，故 extends 更合適
public static void printB(Collection c) { ... }

// 統一用 extends Animal 即可

記憶模型：類型擴散方向

         Animal
           ▲
           │ extends (向上擴散，讀取安全)
           ▼
         Cat
           ▲
           │ super (向下擴散，寫入安全)
           ▼
        Kitty

• `extends` 向**上**看：能安全讀出父類型。
• `super` 向**下**看：能安全寫入子類型。

原回答補充

原最佳回答僅貼鏈接。上文提供 PECS 原則、規則對比表、代碼驗證、記憶模型圖解，可直接指導實戰。