Java中的泛型是如何实现的

Java中的泛型是通过类型擦除（Type Erasure）实现的。类型擦除是Java编译器在编译过程中进行的一种机制，它将泛型类型信息从字节码中移除，并在必要时插入类型转换代码，以确保与旧版本的Java代码兼容。以下是泛型在Java中实现的主要步骤：

1. 类型参数化

• 在定义类、接口或方法时，可以使用类型参数来表示泛型类型。

  public class Box<T> {
      private T content;
  
      public void setContent(T content) {
          this.content = content;
      }
  
      public T getContent() {
          return content;
      }
  }
  

2. 类型擦除

• 编译器在编译时会将泛型类型参数替换为其上限（通常是Object），并在必要时插入类型转换代码。
  • 对于无界类型参数（如T），会被替换为Object。
  • 对于有界类型参数（如<T extends Number>），会被替换为边界类型（如Number）。

3. 桥方法生成

• 为了保持多态性，编译器会生成桥方法（Bridge Methods）。这些方法是合成方法，用于在泛型子类中调用父类的泛型方法。

  // 原始方法
  public class Parent {
      public void doSomething(Object obj) {}
  }
  
  // 子类
  public class Child extends Parent {
      @Override
      public void doSomething(String str) {}
  }
  

  编译后，Child类会有一个桥方法：

  public void doSomething(Object obj) {
      doSomething((String) obj);
  }
  

4. 类型检查和类型转换

• 在运行时，Java虚拟机（JVM）不会检查泛型类型信息，因为这些信息在编译时已经被擦除了。
• 所有的泛型类型检查都是在编译时完成的，确保类型安全。

5. 泛型数组限制

• 由于类型擦除，不能直接创建泛型类型的数组。例如，new T[10]是非法的。

  // 非法代码
  T[] array = new T[10];
  

  可以使用通配符类型或包装类来解决这个问题：

  T[] array = (T[]) new Object[10];
  

6. 通配符和边界

• 使用通配符（?）可以表示未知类型，常用于方法参数和返回类型。

  public void printList(List<?> list) {
      for (Object elem : list) {
          System.out.println(elem);
      }
  }
  

• 使用边界（extends和super）可以限制通配符的范围。

  public void processNumbers(List<? extends Number> numbers) {
      for (Number number : numbers) {
          System.out.println(number);
      }
  }
  

通过这些机制，Java的泛型既提供了类型安全的编程模型，又保持了与旧代码的兼容性。