Java泛型概念
Java泛型是一种在编译时进行类型检查和类型推断的机制，它可以让我们编写更加通用、可重用的代码，提高了代码的可读性和可维护性，同时保证了类型安全。
Java泛型的核心思想是类型参数化，即在类、接口或方法的定义中使用类型参数来代替具体的类型，这些类型参数在实例化时被具体类型替换，从而实现了通用性和类型安全。
主要特性包括
- 类型参数：在类、接口或方法的定义中使用类型参数来代替具体的类型。例如，List<E>中的E就是类型参数。
- 类型擦除：Java泛型在编译时实现类型安全检查，但在运行时会将泛型类型的信息擦除，转换为原始类型。这是为了保持与Java早期版本的兼容性，同时减少运行时的开销。例如，List<String>在运行时会被擦除为List。
- 上限和下限：使用通配符（?）可以指定泛型类型的上限或下限，从而限制可用的类型范围。例如，<? extends Number>表示只能使用Number及其子类类型。
- 泛型类和泛型接口：在类或接口的定义中使用类型参数，从而实现类或接口的通用性。例如，List<E>就是一个泛型类，Comparable<T>就是一个泛型接口。
- 泛型方法：在方法的定义中使用类型参数，从而实现方法的通用性。例如，Collections.sort(List<T>)就是一个泛型方法。
Java泛型的优点
可以提高代码的可读性和可重用性，同时保证类型安全。它可以在编译时检查类型错误，避免了运行时出现类型转换异常等问题。但是，由于Java泛型的类型擦除机制，会导致一些限制，如无法使用基本类型作为类型参数、无法获取泛型类型的具体类型等。因此，在使用Java泛型时需要注意一些细节和限制。
示例
定义了一个Pair类，它有两个类型参数T和U，分别表示第一个元素和第二个元素的类型。Pair类有一个构造方法，可以用来创建Pair对象，并提供了获取和设置元素的方法。
public class Pair<T, U> { private T first; private U second; public Pair(T first, U second) { this.first = first; this.second = second; } public T getFirst() { return first; } public U getSecond() { return second; } public void setFirst(T first) { this.first = first; } public void setSecond(U second) { this.second = second; } public static <T> Pair<T, T> createPair(T first, T second) { return new Pair<T, T>(first, second); } public static <T extends Comparable<T>> T max(T[] array) { if (array == null || array.length == 0) { return null; } T max = array[0]; for (int i = 1; i < array.length; i++) { if (array[i].compareTo(max) > 0) { max = array[i]; } } return max; } }
