Java类型擦除和多个边界

Question

我知道在Java泛型中，当使用具有多个边界的类型参数时，编译器会将类型信息擦除到“最左边的边界”（即列表中的第一个类/枚举或接口）。那么为什么以下代码编译没有问题呢？

public class Generic<T extends Object & Appendable & AutoCloseable> {

  T t;

  T method() throws Exception {
    t.close();
    char c='\u0000';
    t.append(c);
    return t;
  }

  public <T> T method2(T t) {
    return t;
  }  

}

类型参数不应该被视为对象吗？？（因此不允许我调用close（）或append（））？？

Answer 1

这是你的反汇编代码。变量t是对象类型。指令checkcast在调用接口方法之前生成。如果t的值未实现接口，则将抛出ClassCastException。

Compiled from "Generic.java"
public class Generic<T extends java.lang.Appendable & java.lang.AutoCloseable> {
  T t;

  public Generic();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  T method() throws java.lang.Exception;
    Code:
       0: aload_0
       1: getfield      #2                  // Field t:Ljava/lang/Object;
       4: checkcast     #3                  // class java/lang/AutoCloseable
       7: invokeinterface #4,  1            // InterfaceMethod java/lang/AutoCloseable.close:()V
      12: iconst_0
      13: istore_1
      14: aload_0
      15: getfield      #2                  // Field t:Ljava/lang/Object;
      18: checkcast     #5                  // class java/lang/Appendable
      21: iload_1
      22: invokeinterface #6,  2            // InterfaceMethod java/lang/Appendable.append:(C)Ljava/lang/Appendable;
      27: pop
      28: aload_0
      29: getfield      #2                  // Field t:Ljava/lang/Object;
      32: areturn

  public <T> T method2(T);
    Code:
       0: aload_1
       1: areturn
}

Answer 2

你的案子有多重界限。

具有多个边界的类型变量是边界中列出的所有类型的子类型。如果其中一个边界是类，则必须首先指定它。

因此，调用包含在接口AutoCloseable中的方法off（）和包含在接口Appendable中的append（）在语法上是合法的。

Answer 3

你应该在这里阅读有关桥接方法的内容

编译扩展参数化类或实现参数化接口的类或接口时，编译器可能需要创建称为桥接方法的合成方法，作为类型擦除过程的一部分。您通常不需要担心桥接方法，但如果堆栈跟踪中出现桥接方法，您可能会感到困惑。