泛型是Java中在编译期进行类型检查的机制,通过类型参数(如T、E)实现类、接口和方法对多种类型的通用支持。例如List限定只存储字符串,编译器提前发现类型错误,避免运行时ClassCastException。主要用途包括:保障类型安全、消除强制类型转换、提升代码复用性。常见形式有泛型类(如Box)、泛型方法(如 void print(T t))和通配符(? extends T表示上界,? super T表示下界)。泛型具有类型擦除特性,即运行时泛型信息被擦除,List和List均变为List,因此无法使用instanceof或创建泛型数组。尽管如此,编译器自动插入类型转换确保安全性。泛型是集合框架的核心基础,显著增强代码可靠性与可读性。
泛型是Java中一种在编译期进行类型检查的机制,
它的核心目的是让类、接口和方法能够操作不同类型的对象,同时保证类型安全。使用泛型可以避免运行时出现ClassCastException,并减少类型转换的代码。
泛型允许我们在定义类、接口或方法时使用类型参数(通常用T、E、K、V等表示),而不是具体的类型。这些参数在使用时会被实际的类型替换。
例如:
List
这里的
1. 泛型类:
class Box
private T value;
public void set(T t) { value = t; }
public T get() { return value; }
}
使用:Box
2. 泛型方法:
System.out.println(item);
}
调用时自动推断类型,如 print("hello") 中T就是String。
3. 通配符与边界:
有时需要更灵活的类型控制:
泛型只在编译期有效,运行时会被擦除(称为类型擦除)。例如 List
但编译器会插入必要的类型转换,确保逻辑正确。
基本上就这些。泛型让Java在保持类型安全的同时具备更强的灵活性,是集合框架和工具类广泛使用的基础。理解它,能让代码更清晰、更可靠。