泛型的初步理解

Java 中的泛型是一种强类型编程的机制，允许在编写类、接口和方法时使用参数化类型。使用泛型可以编写更加通用和灵活的代码，同时提高了代码的类型安全性。
以下是 Java 泛型的核心概念和用法：

1.泛型类（Generic Class）：
可以创建一个参数化类型的类，这个类型可以在类的定义中使用。通常，泛型类使用尖括号（<>）来指定类型参数，并在类内部使用这些参数。例如：

这里的 Box 类使用了一个类型参数 T。

2.泛型方法（Generic Method）：
除了泛型类，还可以创建参数化类型的方法。这意味着方法可以独立于其所属的类接受和返回不同类型的参数。例如：

这个泛型方法 getFirstElement 可以用于返回任何类型的列表的第一个元素。

3.通配符（Wildcard）：
Java 中使用通配符来处理泛型类型的未知参数。有两种通配符：? 和 ? extends T。? 表示未知类型，而 ? extends T 表示未知类型的子类型。通配符通常在方法参数中使用，用于处理各种泛型集合的情况。

这个方法可以接受任何类型的集合。

4.类型边界（Bounds）：
有时可能希望限制泛型类型参数的范围，这可以通过使用类型边界来实现。例如，可以定义一个泛型方法，它只接受实现了某个接口的类型：

这里的 <T extends Comparable<T>> 意味着 T 必须是实现了 Comparable 接口的类型。

5.类型擦除（Type Erasure）：
Java 中的泛型在编译时提供类型安全检查，但在运行时会将泛型信息擦除。这意味着泛型的类型参数在运行时不可用，这是为了保持与 Java 1.5 之前版本的向后兼容性。

泛型的主要优点是提高了代码的可重用性和类型安全性。通过使用泛型，可以编写更通用的代码，减少了强制类型转换的需要，并且可以在编译时捕获类型错误。这使得 Java 泛型成为 Java 编程中的重要特性之一。