Java泛型：类型擦除问题案例

原创柔情只为你懂 2024-11-07 04:42 43阅读 0赞

Java泛型在编译时会进行类型检查，但在运行时，所有的泛型信息都会被擦除，这就是所谓的类型擦除。这意味着在运行时，泛型类型参数的具体类型信息将不复存在，它们会被替换为它们的边界（如果有的话），或者如果没有指定边界，则替换为它们的上界Object。

类型擦除可能会导致一些限制和问题，以下是一些常见的案例：

###1.无法创建泛型数组由于类型擦除，Java不允许直接创建泛型类型的数组，因为编译器无法在运行时确定数组的确切类型。

```javaList<String> list = new ArrayList<String>();
String[] array = list.toArray(new String[list.size()]); //正确String[] array2 = (String[]) list.toArray(new Object[list.size()]); //错误：类型转换错误```###2.无法在运行时检查泛型类型由于类型信息在运行时被擦除，你不能在运行时检查一个对象是否是某个泛型类型的实例。

```javaList rawList = new ArrayList<String>();
if (rawList instanceof List<String>) { //错误：编译错误// ...
}
```###3.泛型字段的问题泛型类不能有泛型类型的字段，因为字段会保留到运行时，而泛型信息会被擦除。

```javapublic class Box<T> {
 private T t; //正确 public void set(T t) { this.t = t; }
 public T get() { return t; }
}

Box rawBox = new Box();
rawBox.set("String");
Integer i = rawBox.get(); //错误：编译错误```###4.泛型方法中的类型参数泛型方法中的类型参数在运行时也是不可见的，这意味着你不能在泛型方法内部使用`instanceof`来检查类型。

```javapublic <T> boolean checkType(T t) {
 return t instanceof String; //错误：编译错误}
```###5.泛型和协变/逆变Java的泛型不支持协变和逆变，这意味着你不能将`List<String>`赋值给`List<Object>`，即使`String`是`Object`的子类。

```javaList<String> stringList = new ArrayList<String>();
List<Object> objectList = stringList; //错误：编译错误```为了解决类型擦除带来的限制，Java提供了一些机制，如通配符类型（`?`）、边界（`extends`和`super`）等。同时，开发者需要在设计API时考虑到类型擦除的影响，以避免运行时错误。