1. 本章串线：五节把「类型安检」建成体系

暗线：安检前移。裸容器（运行时炸）→ 泛型（编译期拦）→ 通配符（灵活又不失守）。每往前走一步，类型就多一分自由，安检却一刻没松。

2. 概念速查表

3. 代码模板 4 段

模板 1：泛型类基本功（8.1 + 8.2）

// 单占位符：一个空位管全场
public class Box<T> {
    private T item;
    public void set(T item) { this.item = item; }
    public T get()          { return item; }
}

// 双占位符：两个空位各管一头（Map 的骨架）
public class Pair<K, V> {
    private K key;
    private V value;
    public Pair(K key, V value) { this.key = key; this.value = value; }
}
// 用：Box<String> b = new Box<>();   钻石 <> 右边自动推

模板 2：Comparable 收网款（8.3，7.7 解药）

public class Student implements Comparable<Student> {
    private int score;
    @Override
    public int compareTo(Student o) {
        return Integer.compare(this.score, o.score);  // 负零正；防溢出
    }
}
// Collections.sort(list) 从此不炸——自定义类的排序通行证

模板 3：静态泛型方法工具箱（8.4）

public class Util {
    // 方法自带 <E>：static 用不了类上 T 的正解
    public static <E> void swap(List<E> list, int i, int j) {
        E tmp = list.get(i);
        list.set(i, list.get(j));
        list.set(j, tmp);
    }
    // 参数共用一个 T：编译器自动对齐两边类型
    public static <T> List<T> toList(T... arr) {
        List<T> result = new ArrayList<>();
        for (T t : arr) result.add(t);
        return result;
    }
}

模板 4：通配符读写（8.5）

// 只读（生产者）：Number 一家子通吃
public static double sum(Collection<? extends Number> c) {
    double total = 0;
    for (Number n : c) total += n.doubleValue();
    return total;
}

// 只写（消费者）：Integer 及祖先容器都收
public static void fill(List<? super Integer> list, Integer n) {
    list.add(n);   // 写 ✓；读出来只能当 Object
}

4. 六大名坑回顾

1. Box<int> ✗ —— 只能装引用类型，Integer 顶上（自动装箱 6.1 无缝衔接）。
2. Box<Object> 不是 Box<String> 的父类 —— 泛型不传递，想通吃用 Box<?> 或 ? extends。
3. 子类丢 <T> = raw types —— 编译不报错只警告，安检悄悄归零；不炸但变差，最阴。
4. static 用不了类上的 T —— 类加载时 T 还没定；正解是方法自己声明 <E>。
5. ? extends 容器不能 add、? super 容器读不出具体类型 —— extends 门只读、super 门只写，编译器一刀切防类型污染。
6. 泛型是编译期机制 —— 类型擦除：运行时没有 T，别指望运行时拿到泛型信息做判断。

5. 跨章连线

• → 4.4 多态：泛型把"编译看左"推到类型参数上——安检从对象行为扩展到容器内容。
• → 5.2 两派异常：泛型把 ClassCastException 从"运行时收容所常客"变成"编译期红叉"，防患于未然的最高境界。
• → 7.x 集合：ArrayList<E>、Map<K,V>、Comparator<T>、Stream 的 filter 谓词——全章骨架都是泛型，现在回看签名全部透明。
• → 后续章节：IO 流的 Reader/Writer、多线程的 Callable<T>/Future<T>，签名里全是本章的空位。

6. 毕业大题：通用集合工具箱

public class CollUtil {
    // ① 交换任意 List 的两个元素
    public static <E> void swap(________ list, int i, int j) { ... }

    // ② 求"可比较"集合的最大值
    public static <T extends ________> T max(Collection<T> c) { ... }

    // ③ 求任意数字集合的和
    public static double sum(Collection<? extends ________> c) { ... }
}

7. 毕业自检