Java的泛型是编译期特性,泛型擦除指的是编译器在编译泛型代码时,会将泛型类型信息替换为原始类型或者类型上限,这个过程会导致运行时无法直接获取泛型的具体类型参数,而桥接方法则是编译器为了兼容泛型场景下的多态特性自动生成的方法。

泛型擦除的基本概念
泛型擦除是Java泛型实现的核心机制,编译器在处理泛型代码时,会把所有泛型类型参数替换成对应的原始类型。如果泛型有上限,比如<T extends Number>,就会替换成上限类型Number;如果没有上限,就替换成Object。这个处理发生在编译阶段,因此运行时无法获取到泛型的类型参数信息。
我们可以看一段简单的泛型类代码来理解这个替换过程:
// 泛型类定义
public class GenericClass<T> {
private T data;
public void setData(T data) {
this.data = data;
}
public T getData() {
return data;
}
}
经过编译后,上面的代码会被擦除为:
// 擦除后的代码,等同于编译器处理后的结果
public class GenericClass {
private Object data;
public void setData(Object data) {
this.data = data;
}
public Object getData() {
return data;
}
}
编译后类型丢失的表现
由于泛型信息在编译后被擦除,运行时很多和泛型类型相关的操作都无法正常进行。比如我们无法直接通过instanceof判断泛型类型,也无法创建泛型数组。
下面是常见的类型丢失场景示例:
import java.util.ArrayList;
import java.util.List;
public class TypeLossDemo {
public static void main(String[] args) {
List<String> stringList = new ArrayList<>();
List<Integer> integerList = new ArrayList<>();
// 编译后两个List的泛型信息都被擦除,运行时类型都是ArrayList,因此输出为true
System.out.println(stringList.getClass() == integerList.getClass());
// 下面的代码编译会报错,因为运行时无法获取泛型类型信息,instanceof不支持泛型判断
// if (stringList instanceof List<String>) {}
}
}
桥接方法的生成与作用
桥接方法是编译器为了解决泛型擦除后多态失效问题自动生成的方法。当泛型类实现了泛型接口或者继承了泛型父类时,擦除后可能出现方法签名不匹配的情况,桥接方法会作为中间层保证多态特性正常工作。
我们看一个继承泛型父类的例子:
// 泛型父类
public class GenericParent<T> {
public void print(T data) {
System.out.println(data);
}
}
// 子类指定泛型类型为String
public class StringChild extends GenericParent<String> {
@Override
public void print(String data) {
System.out.println("String data: " + data);
}
}
按照泛型擦除规则,GenericParent的print方法擦除后参数类型会变成Object,也就是print(Object data)。而StringChild中我们重写的方法是print(String data),这两个方法的参数类型不同,本来不会构成重写关系,会导致多态失效。为了保证重写生效,编译器会自动在StringChild中生成一个桥接方法:
// 编译器自动生成的桥接方法,在StringChild类中
public void print(Object data) {
// 调用我们实际定义的print(String data)方法
this.print((String) data);
}
这个桥接方法的签名和父类擦除后的方法签名一致,同时内部调用了我们实际定义的泛型类型对应的方法,既保证了重写的语义,也保证了类型转换的正确性。
桥接方法的验证
我们可以通过反射来获取类的方法,验证桥接方法的存在。桥接方法会被标记为synthetic和bridge,我们可以通过Method的isBridge()方法来判断。
import java.lang.reflect.Method;
public class BridgeMethodDemo {
public static void main(String[] args) {
Class<StringChild> clazz = StringChild.class;
Method[] methods = clazz.getDeclaredMethods();
System.out.println("StringChild类中的所有方法:");
for (Method method : methods) {
System.out.println("方法名:" + method.getName() + ",参数类型:" + method.getParameterTypes()[0].getName() + ",是否是桥接方法:" + method.isBridge());
}
}
}
运行上面的代码,会输出两个print方法,一个是参数为String的我们定义的方法,另一个是参数为Object的桥接方法,后者的isBridge()返回true。
总结
泛型擦除是Java泛型实现的重要机制,它将编译期的泛型类型信息替换为原始类型,虽然带来了运行时类型信息丢失的问题,但也保证了泛型的向后兼容性。桥接方法是泛型擦除的配套机制,解决了擦除后多态失效的问题,是编译器自动生成的用于保证泛型代码正确性的中间方法。理解这两个机制能帮助开发者更清晰地理解Java泛型的底层逻辑,避免开发中出现相关的问题。