泛型在Java中通过编译期类型检查提升代码安全性与可重用性，使用类型参数T等定义泛型类、方法和接口，如List<String>确保只存储字符串；相比原始类型需手动强转易抛ClassCastException，泛型在编译阶段即报错处理类型不匹配，如List<Integer>无法添加字符串；Java采用类型擦除机制，运行时泛型信息消失，Box<String>与Box<Integer>均变为Box，但编译器插入必要类型转换保证安全；受限于擦除机制，无法new T()、创建T[]或使用基本类型作泛型参数；通配符增强灵活性，?为任意类型，? extends T接受T及其子类，? super T接受T及其父类，适用于读取场景如void process(List<? extends Number> list)；泛型使集合操作更安全清晰，是Java类型系统核心特性，对编写可靠代码至关重要。
Java中的泛型系统是一种在编译期提供类型安全检查的机制，它允许类、接口和方法操作指定类型的对象，而无需在运行时进行强制类型转换。泛型的核心作用在于增强代码的可重用性、类型安全性以及减少类型转换错误。
泛型的基本概念与语法
泛型通过引入类型参数（通常用 T、E、K、V 等表示）来定义可复用的类型结构。例如：
List
这表示一个只能存放字符串的列表。编译器会在编译阶段检查所有添加到该列表的元素是否为 String 类型，如果不是则报错。
立即学习“Java免费学习笔记（深入）”；
常见泛型结构包括：
- 泛型类：如 class Box
{ } - 泛型方法：如
void print(T item) { } - 泛型接口：如 interface Comparable
{ }
泛型在类型检查中的核心作用
Java 的类型检查主要发生在编译阶段，泛型让这种检查更加精确和强大。
没有泛型时，集合类默认存储 Object 类型，从集合中取出元素后需要手动强转，容易引发 ClassCastException。例如：
List list = new ArrayList();
list.add("Hello");
String s = (String) list.get(0); // 需要强制转换，风险高
使用泛型后，编译器能提前发现类型不匹配问题：
List
nums.add("Not an Integer"); // 编译错误！
这样就能在编码阶段拦截错误，而不是等到运行时报错。
类型擦除与编译期保障
Java 泛型采用“类型擦除”实现，即在编译后泛型信息会被擦除，替换为原始类型（如 Object 或限定类型）。例如：
Box
虽然运行时无法获取泛型类型，但编译器会在编译期间插入必要的类型检查和强制转换，确保类型安全。这意味着泛型的安全性完全依赖于编译器的检查机制。
类型擦除带来的限制包括：
- 不能使用 new T()
- 不能创建泛型数组（如 T[]）
- 不能用基本类型作为泛型参数（需使用包装类）
通配符与灵活的类型约束
泛型支持使用通配符提升灵活性，主要包括：
- ? ：无界通配符，表示任意类型
- ? extends T：上界通配符，表示 T 或其子类型
- ? super T：下界通配符，表示 T 或其父类型
例如，一个方法若只读取集合内容，可接受任何 Number 子类型的列表：
void process(List extends Number> list)
这增强了API的通用性，同时保持类型安全。
基本上就这些。泛型是Java类型系统的重要组成部分，它让集合和其他数据结构更安全、更清晰，把很多潜在错误消灭在编译阶段。理解泛型的工作机制，对写出健壮的Java代码非常关键。
