Java 泛型

一、泛型的本质

1. 泛型要解决的根本问题

在没有泛型的时代，Java 集合只能以 Object 为通用载体：

List list = new ArrayList();
list.add("hello");
Integer i = (Integer) list.get(0); // 运行时异常

问题的本质是：

类型信息丢失 + 类型检查延后

错误只能在运行时暴露，而不是在编译期被发现。

2. 泛型的核心思想

泛型的本质：类型参数化（Parameterized Type）

泛型不是一种新功能，而是对类型系统的扩展：

3. 泛型带来的核心价值

泛型的价值可以归纳为三个维度：

维度 本质
类型安全 将运行时错误提前到编译期
表达能力 明确数据结构中的类型意图
复用能力 让同一套代码服务于多种类型

二、Java 泛型的核心模型

Java 泛型可以抽象为两个基本要素：

泛型 = 类型参数化 + 类型约束

泛型知识结构总览

泛型
│
├── 类型参数化
│   ├── 泛型类
│   ├── 泛型接口
│   └── 泛型方法
│
├── 类型约束
│   ├── 上界约束 extends
│   ├── 下界约束 super
│   └── 通配符 ?
│
├── 使用原则
│   └── PESC 原则
│
└── 实现机制
    └── 泛型擦除

三、类型参数化的三种形态

1. 泛型类

泛型类的本质：

把“类的类型信息”参数化

class Box<T> {
    private T value;

    public Box(T value) {
        this.value = value;
    }

    public T get() {
        return value;
    }
}

在这个结构中：

2. 泛型方法

泛型方法的本质：

把“方法的类型信息”参数化

public static <T> T identity(T obj) {
    return obj;
}

这里：

3. 泛型接口

与泛型类类似，接口也可以参数化：

interface Converter<F, T> {
    T convert(F from);
}

小结

这三种形态本质一致：

形态 抽象层级
泛型类 对数据结构参数化
泛型接口 对行为参数化
泛型方法 对单个逻辑参数化

四、类型约束：对泛型的边界控制

单纯的类型参数化过于自由，因此需要约束。

1. 上界约束（extends）

<T extends Comparable>

含义：

T 必须是 Comparable 的子类

可以指定多个接口：

<T extends Comparable & Serializable>

2. 通配符

通配符本质是：

对“泛型类型参数”的一种灵活表达

上界通配符

<? extends T>

语义：

接受 T 或 T 的子类型

下界通配符

<? super T>

语义：

接受 T 或 T 的父类型

无界通配符

<?>

语义：

不关心具体类型

五、PESC 原则：泛型使用的工程哲学

1. 原则本身

Producer Extends Consumer Super

2. 原理本质

这个原则并不是一个“经验口诀”，而是类型系统约束的必然结果。

上界通配符：协变视角（适合读）

List<? extends Fruit> basket;

特点：

本质原因：

编译器无法确定具体子类型

下界通配符：逆变视角（适合写）

List<? super Apple> basket;

特点：

本质原因：

只能保证是 Apple 的父类，但不知道具体是哪一层

3. 工程意义

PESC 的真正含义是：

场景 选择
主要用于读取 ? extends T
主要用于写入 ? super T

4. API 设计中的体现

Java API 中的经典例子：

public static <T> void copy(
    List<? super T> dest,
    List<? extends T> src
)

设计意图极为清晰：

六、泛型的实现机制：类型擦除

1. 核心事实

JVM 并不真正理解泛型

在虚拟机层面：

2. 泛型擦除的过程

编译阶段：

3. 为什么要擦除？

本质原因：

历史兼容性

4. 带来的代价

由于擦除：

七、类型系统视角

泛型问题本质是一个类型系统问题。

1. 类型变化关系

设：

协变（covariant）

A ≤ B  ⇒  f(A) ≤ f(B)

逆变（contravariant）

A ≤ B  ⇒  f(B) ≤ f(A)

不变（invariant）

f(A) 与 f(B) 无关

2. Java 中的选择

形态 类型关系
List 不变
? extends T 协变
? super T 逆变

3. 本质联系

八、对泛型的整体认知

我们可以把 Java 泛型总结为：

一套在“静态类型系统约束”与“历史兼容性”之间权衡的设计

三层模型

层次 含义
语法层 <T>、extends、super
语义层 类型参数化与类型约束
实现层 类型擦除与桥方法

九、总结

1. 泛型的本质

2. 泛型的核心价值

3. 使用哲学

关联内容（自动生成）