Java泛型在运行时的类型擦除实例

原创电玩女神 2024-11-07 11:00 40阅读 0赞

Java泛型在编译时提供了类型安全，但在运行时，为了保持向后兼容性，Java使用类型擦除来实现泛型。这意味着泛型信息在编译后会被擦除，运行时不再保留泛型的具体类型信息。以下是一些Java泛型类型擦除的实例：

1. **泛型类和接口的类型擦除**：
 ```java public class Box<T> {
 private T t;
 public void set(T t) { this.t = t; }
 public T get() { return t; }
 }
 ```
在运行时，`Box` 类将被擦除为 `Box`，而不会保留 `T` 的具体类型信息。

2. **泛型方法的类型擦除**：
 ```java public <T> T first(List<T> list) {
 return list.get(0);
 }
 ```
在运行时，`first` 方法将被擦除为 `first(List list)`，泛型参数 `T`被擦除。

3. **泛型数组创建的限制**：
 ```java public <T> T[] createArray(Class<T> clazz, int size) {
//编译错误：不能创建泛型数组 return (T[]) Array.newInstance(clazz, size);
 }
 ```
由于类型擦除，Java不允许直接创建泛型数组。你需要使用非泛型数组或通过其他方式来实现。

4. **运行时类型检查的限制**：
 ```java public static void printList(List<String> list) {
 for (Object o : list) {
if (o instanceof String) {
 System.out.println(o);
 }
 }
 }
 ```
由于类型擦除，你不能直接检查 `list` 是否为 `List<String>` 类型，只能检查 `list` 中的元素是否为 `String` 类型。

5. **使用 `instanceof`检查泛型类型**：
 ```java public static void printList(List<?> list) {
 for (Object o : list) {
if (o instanceof String) {
 System.out.println(o);
 }
 }
 }
 ```
使用通配符 `?`可以检查元素是否为 `String` 类型，但不能检查 `list` 是否为 `List<String>` 类型。

6. **使用 `Class` 对象来处理泛型类型**：
 ```java public <T> void printList(List<T> list, Class<T> clazz) {
 for (T o : list) {
if (clazz.isInstance(o)) {
 System.out.println(o);
 }
 }
 }
 ```
通过传递 `Class` 对象，可以在运行时检查元素是否为指定的泛型类型。

这些实例展示了Java泛型在运行时的类型擦除机制，以及如何在代码中处理泛型类型。类型擦除使得泛型在运行时的行为与非泛型代码相似，但提供了编译时的类型安全。