泛型与集合有何关系

泛型（Generics）与集合（Collections）在 Java 等语言中关系密切，泛型主要是为了解决集合在类型安全与复用性方面的问题。

下面从概念、关系和示例几个层面说明。

一、什么是泛型

泛型是参数化类型的机制，允许在定义类、接口或方法时使用“类型参数”。

class Box<T> {
    private T value;
    public void set(T value) { this.value = value; }
    public T get() { return value; }
}

T 是一个类型参数，在使用时才确定具体类型。

二、什么是集合

集合是用于存储和操作一组对象的容器，例如：

• List
• Set
• Map

在 Java 中，集合位于 java.util 包中。

三、泛型与集合的关系（核心）

1️⃣ 集合在没有泛型时的问题

早期 Java（JDK 1.4 及以前）集合不使用泛型：

List list = new ArrayList();
list.add("hello");
list.add(123);

String s = (String) list.get(0); // 需要强制转换
Integer i = (Integer) list.get(1);

问题：

• 类型不安全：可以向集合中添加任意类型
• 运行时错误风险：类型转换可能失败
• 代码可读性差

2️⃣ 泛型如何改进集合

引入泛型后，集合可以指定元素类型：

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

✅ 优点：

• 编译期类型检查
• 避免强制类型转换
• 代码更清晰、更安全

四、集合框架中泛型的典型应用

List

List<Integer> list = new ArrayList<>();
list.add(10);
int value = list.get(0); // 自动拆箱

Map

Map<String, Integer> map = new HashMap<>();
map.put("age", 18);
int age = map.get("age");

Set

Set<Student> set = new HashSet<>();

五、泛型的本质（简单理解）

• 泛型只在编译期有效
• 编译后会发生类型擦除（Type Erasure）
• 集合运行时并不知道具体的泛型类型

List<String> a = new ArrayList<>();
List<Integer> b = new ArrayList<>();

System.out.println(a.getClass() == b.getClass()); // true

六、总结一句话

集合用于存储数据，泛型用于约束集合中数据的类型。

✅ 集合 + 泛型 =
类型安全 + 易维护 + 减少运行时错误

如果你愿意，我也可以用 C# 的泛型集合 或 对比 Java 与 C++ 模板 来进一步解释。