一、泛型的基本概念

为什么需要泛型？

二、泛型类与泛型接口

【1】定义泛型类

【2】定义泛型接口

三、泛型方法

四、泛型通配符

【1】无界通配符（?）

【2】上界通配符（? extends T）

【3】下界通配符（? super T）

五、类型擦除

六、泛型的最佳实践

七、总结

泛型是 Java SE 5 引入的重要特性，它提供了编译时类型安全检测机制，允许在编译时检测到非法的类型转换，从而提高代码的安全性和可读性。本文将全面解析 Java 泛型的核心概念、使用方法及高级特性。

一、泛型的基本概念

泛型（Generics）本质是参数化类型，即允许在定义类、接口和方法时使用类型参数，在使用时指定具体类型。这种机制使代码可以应用于多种数据类型，同时保证类型安全。

为什么需要泛型？

在没有泛型的情况下，我们需要使用强制类型转换，这可能导致运行时错误：
// 无泛型的情况
List list = new ArrayList();
list.add("Hello");
String s = (String) list.get(0); // 需要强制转换
list.add(100); // 可以添加整数
String s2 = (String) list.get(1); // 运行时抛出ClassCastException

使用泛型后：

// 有泛型的情况
List<String> list = new ArrayList<>();
list.add("Hello");
String s = list.get(0); // 无需强制转换
list.add(100); // 编译时直接报错，避免运行时异常

二、泛型类与泛型接口

【1】定义泛型类

泛型类是在类定义时声明了类型参数的类，语法格式如下：
public class Box<T> {private T value;public T getValue() {return value;}public void setValue(T value) {this.value = value;}
}
其中，T是类型参数，可以是任意标识符，通常使用：

T：Type（类型）
E：Element（元素）
K：Key（键）
V：Value（值）
N：Number（数字）

使用泛型类：

Box<String> stringBox = new Box<>();
stringBox.setValue("Hello");
String str = stringBox.getValue();Box<Integer> intBox = new Box<>();
intBox.setValue(100);
int num = intBox.getValue();

【2】定义泛型接口

泛型接口的定义与泛型类类似：

public interface Generator<T> {T generate();
}// 实现泛型接口
public class NumberGenerator implements Generator<Integer> {@Overridepublic Integer generate() {return new Random().nextInt();}
}

三、泛型方法

泛型方法是在方法声明中定义类型参数的方法，它可以在普通类或泛型类中定义：

public class GenericMethodExample {// 泛型方法public <T> T getFirstElement(List<T> list) {if (list != null && !list.isEmpty()) {return list.get(0);}return null;}// 使用泛型方法public static void main(String[] args) {GenericMethodExample example = new GenericMethodExample();List<String> strList = Arrays.asList("A", "B", "C");String firstStr = example.getFirstElement(strList);List<Integer> intList = Arrays.asList(1, 2, 3);Integer firstInt = example.getFirstElement(intList);}
}

静态方法无法访问类的类型参数，因此静态泛型方法必须自己声明类型参数：
public class StaticGenericMethod {// 静态泛型方法public static <T> void printElement(T element) {System.out.println(element);}
}

四、泛型通配符

泛型通配符用于表示未知类型，主要有三种形式：

【1】无界通配符（?）

表示可以是任意类型：

public void printList(List<?> list) {for (Object obj : list) {System.out.println(obj);}
}

【2】上界通配符（? extends T）

表示只能是 T 类型或 T 的子类：

// 只能处理Number及其子类（Integer, Double等）
public double sum(List<? extends Number> numbers) {double sum = 0;for (Number num : numbers) {sum += num.doubleValue();}return sum;
}

【3】下界通配符（? super T）

表示只能是 T 类型或 T 的父类：

// 可以添加Integer及其父类类型的元素
public void addNumbers(List<? super Integer> list) {list.add(1);list.add(2);list.add(new Integer(3));
}

五、类型擦除

Java 泛型采用类型擦除（Type Erasure）实现，即在编译时检查泛型类型，然后将泛型信息擦除，生成的字节码中不包含泛型类型信息。

类型擦除规则：

若指定了泛型上界，则擦除为相应的上界类型
若未指定上界，则擦除为 Object 类型

类型擦除带来的限制：

不能使用new T()创建泛型实例
不能使用T.class获取 Class 对象
不能使用泛型数组new T[]
不能在静态环境中使用类的泛型参数

六、泛型的最佳实践

始终使用具体的泛型类型，避免使用原始类型（如 List 而非 List<?>）
优先使用泛型方法而非泛型类，减少泛型范围
合理选择通配符类型：
读取数据时使用上界通配符（? extends T）
写入数据时使用下界通配符（? super T）

避免过度泛型化，不要为简单场景引入复杂的泛型结构
使用 @SuppressWarnings ("unchecked") 注解抑制必要的 unchecked 警告