什么是类型擦除？

什么是类型擦除？

定义

**类型擦除（Type Erasure）**是 Java 泛型实现的一种机制。Java 泛型在编译时提供类型检查和类型安全，但在运行时会移除所有泛型类型信息，这个过程就称为类型擦除。类型擦除的主要目的是为了兼容 Java 1.5 之前的版本，因为在这些版本中没有泛型。

类型擦除的工作原理

当你在代码中使用泛型时，编译器会进行类型检查和类型推断，以确保类型安全。然而，在编译之后，所有的泛型类型信息会被擦除，并且会转换为它们的上界（bound）类型，通常是 Object。以下是类型擦除的具体工作原理：

1. 类型参数替换：所有的类型参数在编译时会被替换为它们的上界类型。如果没有指定上界，类型参数将被替换为 Object。
2. 插入类型转换：在需要具体类型的地方，编译器会插入必要的类型转换，以确保类型安全。
3. 删除桥方法：在某些情况下，为了保持字节码的兼容性，编译器会生成桥方法（bridge methods）。桥方法是由编译器生成的合成方法，用于在类型擦除后仍保持泛型方法的签名。

类型擦除示例

以下是一个简单的泛型类及其类型擦除后的示例：

泛型类

public class Box<T> {
    private T content;

    public void setContent(T content) {
        this.content = content;
    }

    public T getContent() {
        return content;
    }
}

类型擦除后的类

在编译后，泛型类型 T 被替换为 Object，并插入了必要的类型转换：

public class Box {
    private Object content;

    public void setContent(Object content) {
        this.content = content;
    }

    public Object getContent() {
        return content;
    }
}

类型擦除的影响

1. 运行时类型信息丢失：由于类型擦除，泛型类型信息在运行时是不可用的。例如，不能直接获取 Box<String> 的具体类型参数。
2. 不能使用基本类型：由于类型擦除，泛型不能使用基本类型（如 int、char），只能使用它们的包装类（如 Integer、Character）。
3. 不能创建泛型数组：由于类型擦除，不能直接创建泛型数组。例如，new T[10] 在编译时会报错。
4. 实例化类型参数：由于类型擦除，不能实例化类型参数。例如，new T() 在编译时会报错。

常见问题及解决方法

1. 获取泛型类型信息：可以使用反射和类型令牌（type token）来获取泛型类型信息。

   import java.lang.reflect.ParameterizedType;
   import java.lang.reflect.Type;
   
   public class GenericType<T> {
       private Class<T> type;
   
       @SuppressWarnings("unchecked")
       public GenericType() {
           Type superClass = getClass().getGenericSuperclass();
           if (superClass instanceof ParameterizedType) {
               ParameterizedType parameterizedType = (ParameterizedType) superClass;
               type = (Class<T>) parameterizedType.getActualTypeArguments()[0];
           }
       }
   
       public Class<T> getType() {
           return type;
       }
   
       public static void main(String[] args) {
           GenericType<String> genericType = new GenericType<String>() {};
           System.out.println("Generic type: " + genericType.getType().getName());  // 输出: java.lang.String
       }
   }
   

2. 创建泛型数组：可以使用 java.lang.reflect.Array 类来创建泛型数组。

   import java.lang.reflect.Array;
   
   public class GenericArray<T> {
       private T[] array;
   
       @SuppressWarnings("unchecked")
       public GenericArray(Class<T> clazz, int size) {
           array = (T[]) Array.newInstance(clazz, size);
       }
   
       public T[] getArray() {
           return array;
       }
   }
   

3. 实例化类型参数：可以使用反射来实例化类型参数。

   public class GenericFactory<T> {
       private final Class<T> type;
   
       public GenericFactory(Class<T> type) {
           this.type = type;
       }
   
       public T createInstance() throws IllegalAccessException, InstantiationException {
           return type.newInstance();
       }
   }
   

总结

类型擦除是 Java 泛型的核心机制，它通过在编译时移除泛型类型信息来实现与旧版本的兼容性。尽管类型擦除带来了一些限制和复杂性，但它确保了 Java 泛型的类型安全性，同时保持了与非泛型代码的兼容性。在实际开发中，可以使用反射等技术来应对类型擦除带来的一些限制。