Java泛型：理解与误用案例

原创秒速五厘米 2024-11-06 07:12 27阅读 0赞

Java泛型是Java5引入的一个特性，它允许在编译时提供类型信息，以提高代码的复用性和安全性。泛型的主要目的是允许开发者定义和使用类型安全的集合，同时避免类型转换和类型检查的需要。

###理解Java泛型1. **类型参数**：泛型类或方法可以有一个或多个类型参数，这些参数在声明时用尖括号`<>`包围。
2. **类型擦除**：Java泛型在编译时被处理，编译后的字节码中不包含泛型类型信息，这个过程称为类型擦除。
3. **通配符**：可以使用`?`来表示未知类型，`? extends T`表示T的子类型，`? super T`表示T的超类型。
4. **泛型方法**：可以在方法级别声明泛型，而不是在类级别。
5. **类型安全**：泛型提供了编译时的类型检查，减少了运行时的类型错误。

###误用案例1. **泛型数组创建**：
 ```javaList<String> list = new ArrayList<String>();
String[] array = new String[list.size()]; //正确List<Integer> intList = new ArrayList<Integer>();
Integer[] intArray = new Integer[intList.size()]; //错误，因为Integer和int是不同的类型 ```
在Java中，不能直接使用泛型类型来创建数组，因为泛型信息在运行时会被擦除。

2. **泛型与基本数据类型**：
 ```javaList<int> list = new ArrayList<int>(); //错误，int不是有效的泛型类型 ```
泛型只能使用对象类型，不能使用基本数据类型。

3. **泛型与协变和逆变**：
 ```javaList<? extends Number> numbers = new ArrayList<Integer>();
List<Object> objects = numbers; //错误，因为List<? extends Number>不是List<Object>的子类型 ```
在Java中，泛型不支持协变和逆变，这意味着你不能将一个泛型类型的子类型赋值给另一个泛型类型的超类型。

4. **泛型与可变参数**：
 ```java public <T> void printArray(T... args) {
 for (T arg : args) {
 System.out.println(arg);
 }
 }
 ```
泛型方法可以使用可变参数，但需要注意，可变参数的类型必须是相同的。

5. **泛型与继承**：
 ```java class Fruit {}
 class Apple extends Fruit {}
List<Fruit> fruits = new ArrayList<Apple>(); //错误，List<Fruit>不是List<Apple>的子类型 ```
即使`Apple`是`Fruit`的子类，`List<Apple>`也不是`List<Fruit>`的子类型。

理解泛型的正确使用和避免这些常见的误用，可以帮助你编写更安全、更高效的Java代码。