泛型是Java中在编译期进行类型检查的机制,通过类型参数(如T、E)实现类、接口和方法对多种类型的通用支持。例如List<String>限定只存储字符串,编译器提前发现类型错误,避免运行时ClassCastException。主要用途包括:保障类型安全、消除强制类型转换、提升代码复用性。常见形式有泛型类(如Box<T>)、泛型方法(如<T> void print(T t))和通配符(? extends T表示上界,? super T表示下界)。泛型具有类型擦除特性,即运行时泛型信息被擦除,List<String>和List<Integer>均变为List,因此无法使用instanceof或创建泛型数组。尽管如此,编译器自动插入类型转换确保安全性。泛型是集合框架的核心基础,显著增强代码可靠性与可读性。

泛型是Java中一种在编译期进行类型检查的机制,它的核心目的是让类、接口和方法能够操作不同类型的对象,同时保证类型安全。使用泛型可以避免运行时出现ClassCastException,并减少类型转换的代码。
什么是泛型?
泛型允许我们在定义类、接口或方法时使用类型参数(通常用T、E、K、V等表示),而不是具体的类型。这些参数在使用时会被实际的类型替换。
例如:
List<String> list = new ArrayList<>();
立即学习“Java免费学习笔记(深入)”;
这里的 <String> 就是泛型,表示这个列表只能存放字符串类型。编译器会在编译阶段检查类型,防止加入其他类型的数据。
泛型的主要用途
- 类型安全: 编译器提前发现类型错误,避免运行时异常。比如往List里加错类型的数据,在写代码时就能被发现。
- 避免强制类型转换: 没有泛型时,从集合取数据要手动转类型,容易出错。用了泛型,取出的对象已经是正确类型,无需强转。
- 提高代码复用性: 同一个类或方法可以用在多种类型上,比如泛型类 Box<T> 可以装Integer、String等任何类型。
常见泛型结构示例
1. 泛型类:
class Box<T> {
private T value;
public void set(T t) { value = t; }
public T get() { return value; }
}
使用:Box<Integer> intBox = new Box<>();
2. 泛型方法:
<T> void print(T item) {
System.out.println(item);
}
调用时自动推断类型,如 print("hello") 中T就是String。
3. 通配符与边界:
有时需要更灵活的类型控制:
- ? extends T: 接受T或其子类,适合读取数据(上界)
- ? super T: 接受T或其父类,适合写入数据(下界)
- ?: 无限制通配符,表示任意类型,但操作受限
泛型的注意事项
泛型只在编译期有效,运行时会被擦除(称为类型擦除)。例如 List<String> 和 List<Integer> 在运行时都是List。这意味着不能通过泛型类型做 instanceof 判断,也不能创建泛型数组。
但编译器会插入必要的类型转换,确保逻辑正确。
基本上就这些。泛型让Java在保持类型安全的同时具备更强的灵活性,是集合框架和工具类广泛使用的基础。理解它,能让代码更清晰、更可靠。










