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;
  }  

}

不应该把类型参数T当作Object吗？ （因此不允许我调用 close() 或 append()）？？

Answer 1

您应该阅读桥接方法 here

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

Answer 2

您的案例包含multiply bound。

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

因此调用AutoCloseable接口中的close()方法和Appendable接口中的append()在语法上是合法的。

Answer 3

这是反汇编的代码。 变量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 4

这本身不是一个答案，只是这个 leftmost 规则 并不完全相关 - 我仍在尝试为此找出正确的 JLS 部分（不像我那么容易希望是这样），但您可以从这里看到该类型 不是 Object：

<T extends Object & Appendable & AutoCloseable> void whatType(T... args) {
    System.out.println(args.getClass().getComponentType().getSimpleName());
}


new DeleteMe().whatType(); // prints AutoCloseable