Java中的类型擦除是什么

类型擦除（Type Erasure）是Java泛型机制的核心概念之一。类型擦除是在编译时处理泛型的一种方式，它确保Java的泛型不会在运行时引入新的类型信息。类型擦除的目的是为了与非泛型代码保持兼容，使得Java泛型在不改变底层JVM的情况下引入和实现。

类型擦除的工作原理

在编译时，所有的泛型类型参数都会被移除，并替换为它们的非泛型上限（对于没有指定上限的类型参数，替换为 Object）。这意味着在编译后，泛型类型的信息不会保留在生成的字节码中。

具体来说，类型擦除涉及以下几个步骤：

1. 替换类型参数：

   • 如果类型参数有上限（如 <T extends Number>），则用上限替换类型参数。
   • 如果类型参数没有上限，则用 Object 替换类型参数。

2. 插入类型检查和转换：

   • 在需要的地方插入类型检查和转换，以确保类型安全。例如，在从泛型集合中获取元素时，插入适当的类型转换。

3. 桥方法：

   • 为了保持多态性，编译器可能会生成桥方法。这些方法在子类中提供与父类中被类型擦除的方法相同的方法签名。

示例

考虑以下泛型类和方法：

public class Box<T> {
    private T value;

    public void set(T value) {
        this.value = value;
    }

    public T get() {
        return value;
    }
}

在编译后，这段代码会被类型擦除为：

public class Box {
    private Object value;

    public void set(Object value) {
        this.value = value;
    }

    public Object get() {
        return value;
    }
}

使用泛型类的代码：

Box<Integer> intBox = new Box<>();
intBox.set(10);
Integer value = intBox.get();

在编译后，类型擦除会导致上述代码变成：

Box intBox = new Box();
intBox.set(10);
Integer value = (Integer) intBox.get(); // 插入类型转换

类型擦除的影响

1. 类型信息丢失：

   • 由于类型擦除，运行时无法获取泛型类型参数的信息。例如，无法通过反射获取 Box<Integer> 中的 Integer 类型信息。

2. 类型安全：

   • 编译器在编译时会进行类型检查和转换，以确保类型安全。然而，运行时类型转换错误仍然可能发生，这通常是由于不正确的类型假设导致的。

3. 与遗留代码兼容：

   • 类型擦除允许新代码和旧代码无缝协作，使得泛型可以在不修改现有类和接口的情况下引入。

桥方法

类型擦除也可能导致桥方法的生成，以确保多态性。例如：

public class Node<T> {
    public T data;

    public Node(T data) {
        this.data = data;
    }

    public void setData(T data) {
        this.data = data;
    }
}

public class MyNode extends Node<Integer> {
    public MyNode(Integer data) {
        super(data);
    }

    @Override
    public void setData(Integer data) {
        super.setData(data);
    }
}

在编译后，MyNode 类会生成一个桥方法 setData(Object data)，以确保 MyNode 可以正确覆盖 Node 中的 setData 方法：

public class MyNode extends Node {
    public MyNode(Integer data) {
        super(data);
    }

    public void setData(Integer data) {
        super.setData(data);
    }

    // 桥方法
    public void setData(Object data) {
        setData((Integer) data);
    }
}

总结

类型擦除是Java泛型机制的核心，通过在编译时移除类型参数并替换为非泛型类型，使得Java泛型能够与非泛型代码保持兼容。尽管类型擦除确保了类型安全，但也引入了一些限制，例如无法在运行时获取泛型类型信息。