从 TypeScript 到 Java（9）：泛型与集合框架 —— 类型安全与灵活性的平衡

系列导读：
在前面的篇章中，我们学习了 Java 的类结构、继承体系与抽象机制。
这一篇，我们将进入 Java 最强大的语言特性之一：泛型（Generics）与集合框架（Collections Framework）。

对 TypeScript 开发者而言，泛型语法看似熟悉，但 Java 的泛型底层机制与集合生态却截然不同。
掌握它们，是理解 Java “类型安全”理念的关键一步。

TypeScript 的泛型是“编译器智能提示”，而 Java 的泛型是“类型系统的守门人”。

Java 的泛型不仅能提高代码的可复用性，更能在编译阶段防止类型错误。
它与 Java 的集合框架结合，构成了整个语言最常用、也最容易“掉坑”的体系。

🧩 Java 为什么需要泛型

在早期（JDK 1.4 之前），Java 的集合是“原始类型”（Raw Type）：

List list = new ArrayList();
list.add("Hello");
list.add(123); // ✅ 编译通过，但潜藏隐患
String s = (String) list.get(1); // ❌ 运行时崩溃

类型问题只有在运行时才会暴露。
这让大型项目变得危险且难以维护。

自 JDK 1.5 起，泛型引入：

List<String> list = new ArrayList<>();
list.add("Hello");
// list.add(123); // ❌ 编译直接报错

编译器提前发现类型不匹配问题，从源头上保证了安全。
泛型成为 Java 类型系统的一部分，而不仅是语法糖。

🧠 TypeScript 与 Java 泛型的关键区别

对比点	TypeScript	Java
泛型保留	保留类型信息（可在运行时反射）	类型擦除（仅编译期有效）
泛型目标	提升灵活性与可读性	保证类型安全与性能
默认类型	支持 T = DefaultType	不支持泛型默认值
通配符	无显式通配符机制	有 ? extends / ? super
运行时行为	泛型类型可追踪	泛型信息在运行时消失

Java 的泛型采用“类型擦除”（Type Erasure）：
编译器在生成字节码时会将泛型信息移除，仅保留 Object 类型。
所以运行时所有的 List<String>、List<Integer> 实际上是同一种类型。

📦 通配符与边界 —— Java 泛型的“哲学”

Java 泛型支持三种形式的边界控制：

写法	含义	常见用途
List<?>	任意类型	通用参数（但只读）
List<? extends T>	T 的子类	只读数据源
List<? super T>	T 的父类	写入目标

示例：

List<? extends Number> numbers = new ArrayList<Integer>();
Number n = numbers.get(0); // ✅ 可读
// numbers.add(10); // ❌ 不允许写

List<? super Integer> sink = new ArrayList<Number>();
sink.add(100); // ✅ 可写
// Integer i = sink.get(0); // ❌ 不安全读取

口诀记忆：

“extends 负责读，super 负责写。”

TypeScript 没有通配符机制，它更依赖于结构化类型推导（structural typing），
而 Java 则在语法层面明确控制了协变与逆变关系。

🧺 集合框架（Collections Framework）全景

Java 的集合框架是泛型最重要的落地场景。
其核心接口分为两大类：

1. Collection —— 存放单个元素

接口	特性	常见实现类
List	有序、可重复	ArrayList, LinkedList
Set	无序、不重复	HashSet, TreeSet
Queue	先进先出（FIFO）	LinkedList, PriorityQueue

示例：

List<String> names = new ArrayList<>();
names.add("Alice");
names.add("Bob");

for (String name : names) {
    System.out.println(name);
}

2. Map —— 存放键值对

接口	特性	常见实现类
Map	键值映射	HashMap, TreeMap, LinkedHashMap

示例：

Map<String, Integer> scores = new HashMap<>();
scores.put("Alice", 95);
scores.put("Bob", 88);

for (String key : scores.keySet()) {
    System.out.println(key + ": " + scores.get(key));
}

Map 并不继承 Collection，但它是集合框架中不可或缺的组成部分。
理解它对数据建模和缓存逻辑尤为重要。

🔍 泛型与集合结合的意义

泛型与集合框架是天然的搭档：

• 泛型提供 类型安全；
• 集合提供 数据组织与操作能力。

结合后你可以获得：

1. 编译期类型检查；
2. 清晰的 IDE 自动补全；
3. 减少类型转换与异常；
4. 提高代码可维护性。

🧠 小结

知识点	关键理解
泛型的意义	编译时防止类型错误
类型擦除	泛型信息仅在编译阶段存在
通配符	extends 用于读，super 用于写
集合框架	分为 Collection 与 Map 两大体系
与 TypeScript 区别	TS 泛型运行时仍可识别类型，Java 仅静态约束

🚀 延伸阅读与实践

• 官方文档：Java Generics

• 推荐阅读：[Effective Java, Chapter 5 — Generics]

• 实战练习：

  • 编写一个泛型工具类 Pair<K, V>；
  • 尝试在集合中使用 ? extends 与 ? super；
  • 对比 TypeScript 的泛型接口用法。

🔮 下一篇预告

第 10 篇：《枚举类型 —— 不止是常量，更是类型安全的表达力》

我们将探讨：

• 为什么 Java 的 enum 是“类”的一种特殊形式；
• 如何为枚举添加方法与属性；
• 与 TypeScript 的 enum 在语义与设计上的根本区别。