java泛型与集合关系

在 Java 中，**泛型（Generics）和集合（Collection）**是紧密相关的，泛型在很大程度上正是为了解决集合使用中的类型安全问题而引入的。下面从几个层面说明它们的关系。

一、为什么集合需要泛型

在 Java 5 之前，集合（如 ArrayList、HashMap）默认存储的是 Object：

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

String s = (String) list.get(0); // 需要强制类型转换

问题：

• 类型不安全：可以向集合中放入任意类型
• 运行时才可能出错：ClassCastException
• 代码可读性差

二、泛型如何解决集合问题

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

List<String> list = new ArrayList<>();
list.add("hello");
// list.add(123); // 编译报错
String s = list.get(0); // 不需要强转

✅ 优点：

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

三、集合框架与泛型的关系

Java 集合框架（Collection Framework）大量使用泛型：

1. 常见泛型集合接口

2. 常见实现类

ArrayList<String> list;
HashSet<Integer> set;
HashMap<String, User> map;

四、泛型在集合中的常见用法

1. 泛型方法 + 集合

public static <T> void printList(List<T> list) {
    for (T t : list) {
        System.out.println(t);
    }
}

2. 泛型通配符（集合非常常用）

List<?> list; // 任意类型
List<? extends Number> list; // Number 及其子类
List<? super Integer> list; // Integer 及其父类

示例：

void print(List<? extends Number> list) {
    for (Number n : list) {
        System.out.println(n);
    }
}

五、泛型与集合的底层关系

• 集合类本身是用泛型定义的
• 编译后存在类型擦除（泛型信息不保留到运行时）
• 运行时集合仍是 Object，但编译期保证安全

List<String> a = new ArrayList<>();
List<Integer> b = new ArrayList<>();
// 运行时 a 和 b 类型相同

六、总结一句话

泛型是为集合而生的重要特性，它让 Java 集合从“类型模糊的容器”变成了“类型安全的容器”。

如果你愿意，我也可以：

• 用对比示例讲泛型前后区别
• 深入讲「泛型擦除 + 集合」
• 结合面试角度总结重点

你想从哪方面继续？