Java中的泛型到底是干啥用的？

Java中的泛型是一种强大的特性，它允许你编写能够处理各种数据类型的通用代码，而不需要在每个类或方法中重复实现相似的逻辑。泛型的主要目的是提高代码的重用性、类型安全性和程序的可读性。

下面是Java中泛型的一些重要概念和用法：

泛型类： 通过在类名后面添加尖括号及类型参数来创建泛型类。例如，class Box<T> 表示一个可以存储任意类型对象的盒子类。
```
public class Box<T> {private T value;public void setValue(T value) {this.value = value;}public T getValue() {return value;}
}
```
泛型方法： 你还可以在方法级别使用泛型，使方法能够独立于其所在的类接受不同类型的参数。
```
public <E> void printArray(E[] array) {for (E element : array) {System.out.println(element);}
}
```

<?> 表示未知类型，可以用在方法的参数上，用于接受任意类型的参数。

public void processList(List<?> list) {// 处理list中的元素，不关心具体类型
}

<? extends T> 表示类型的上界限，表示参数化类型的集合中的元素都是T类型或者T的子类。

public void processNumbers(List<? extends Number> numbers) {// 处理包含 Number 或其子类的列表
}

<? super T> 表示类型的下界限，表示参数化类型的集合中的元素都是T类型或者T的父类。

public void processIntegers(List<? super Integer> integers) {// 处理包含 Integer 或其父类的列表
}

泛型限定和类型擦除：
- 泛型的类型信息在编译时被擦除，这意味着在运行时无法获取泛型类型的具体信息。这是为了保持与Java旧版本的兼容性。
- 泛型限定允许你指定泛型类型的边界，例如，<T extends Comparable<T>> 表示T必须是实现了Comparable接口的类型。
泛型和继承：
- 泛型与继承有着复杂的关系。通常情况下，泛型类型不支持协变（covariant）和逆变（contravariant）。即，List<Derived> 不是 List<Base> 的子类型。
- 通配符和类型边界的使用可以在一定程度上解决泛型与继承的问题。