Java泛型使用：类型安全与限制

原创 ╰半橙微兮° 2024-11-06 10:39 36阅读 0赞

Java泛型（Generics）是Java5引入的一个特性，它允许在编译时进行类型检查，从而提高代码的类型安全性和重用性。以下是Java泛型的主要使用方式、类型安全以及一些限制：

###泛型的使用1. **类和接口的泛型化**：
 ```java public class Box<T> {
 private T t;
 public void set(T t) { this.t = t; }
 public T get() { return t; }
 }
 ```2. **泛型方法**：
 ```java public <T> void printArray(T[] inputArray) {
 for (T item : inputArray) {
 System.out.print(item + " ");
 }
 System.out.println();
 }
 ```3. **泛型通配符**：
- `?`表示未知类型。
- `? extends T`表示T的子类型。
- `? super T`表示T的超类型。
 ```java public void printArrayWithWildcard(List<? extends Number> list) {
 for (Number number : list) {
 System.out.print(number + " ");
 }
 System.out.println();
 }
 ```### 类型安全泛型的主要优势之一是类型安全。使用泛型，你可以在编译时捕获类型错误，而不是在运行时。例如，如果你尝试将错误类型的值放入泛型集合中，编译器会抛出错误。

###限制1. **类型擦除**：
- Java泛型在编译时被擦除，这意味着运行时泛型信息不保留。因此，你不能通过反射来获取泛型类型信息。
-例如，`List<String>` 和 `List<Integer>` 在运行时都是 `List` 类型。

2. **不能实例化泛型类型**：
-你不能直接实例化泛型类型，如 `new T()` 是不允许的。

3. **不能创建泛型数组**：
-你不能直接创建泛型数组，如 `T[] array = new T[10]` 是不允许的。但可以通过 `Array.newInstance(T.class, size)`来创建。

4. **泛型和协变/逆变**：
- Java泛型不支持协变和逆变，这意味着 `List<? extends Number>` 不能被赋值给 `List<Object>`，即使 `Number` 是 `Object` 的子类。

5. **泛型和基本数据类型**：
-泛型只能用于对象类型，不能用于基本数据类型（如 `int`、`double`等）。你需要使用它们的包装类（如 `Integer`、`Double`）。

6. **泛型和继承**：
-泛型类型不能被继承，因为泛型类型在编译时被擦除。

通过使用泛型，你可以编写更安全、更灵活的代码，同时减少类型转换和运行时错误。然而，泛型也有一些限制，需要在实际编程中注意。