java泛型、原始类型、桥接方法

Java 泛型、原始类型、桥接方法 Java 泛型是 Java 语言中的一种重要特性，用于在编译时检查类型安全性，避免 ClassCastException 的出现。下面将详细介绍 Java 泛型、原始类型和桥接方法。 Java 泛型 Java 泛型的本质是编译器“耍了个花招”，使得似乎存在对泛型类型的支持，但实际上虚拟机并不支持泛型类型。编译器在编译时检查所有的代码，然后“擦除”所有的泛型类型，生成只包含普通类型的类文件。 泛型类在 Java 源码上看起来与一般的类不同，在执行时被虚拟机翻译成对应的“原始类型”。泛型类的类型参数列表被去掉，虚拟机用类型参数的限定类型对使用类型参数的地方进行了替换，如果没有限定类型则使用 Object 类型进行替换。 例如，类 Pair<T> 中的类型参数 T 会被擦除，变为 Object类型。例如： ```java public class Pair<T> { private T first; private T second; public Pair(T first, T second) { this.first = first; this.second = second; } public void setFirst(T first) { this.first = first; } public T getFirst() { return first; } public void setSecond(T second) { this.second = second; } public T getSecond() { return second; } } ``` 在编译后，Pair 类将变为： ```java public class Pair extends java.lang.Object { // 域 private java.lang.Object first; private java.lang.Object second; // 构造器 public Pair(java.lang.Object, java.lang.Object); // 方法 public void setFirst(java.lang.Object); public void setSecond(java.lang.Object); public java.lang.Object getSecond(); public java.lang.Object getFirst(); } ``` 原始类型 原始类型是指在泛型类型擦除后生成的普通类型。例如，Pair<T> 类在编译后将变为 Pair 类，而 T 类型参数将被擦除，变为 Object 类型。 桥接方法 桥接方法是 Java 编译器生成的特殊方法，用于解决泛型类型擦除后可能出现的类型不匹配问题。在编译时，编译器会生成桥接方法，以便在泛型类型擦除后，仍然能够保留类型安全性。 例如，假设我们有一个泛型类 Pair<T>，其中的方法 setFirst(T first) 将被擦除为 setFirst(java.lang.Object first)。为了避免类型不匹配问题，编译器将生成一个桥接方法： ```java public void setFirst(java.lang.Object obj) { setFirst((T) obj); } ``` 这样，在执行时，虚拟机将调用桥接方法，而不是原始方法，从而保持类型安全性。 Java 泛型、原始类型和桥接方法是 Java 语言中的一些重要概念，用于确保类型安全性和泛型编程的正确性。