Java 泛型——原始类型和参数化类型转换

Question

我一直在阅读 Java 泛型教程和 Stackoverflow 中处理泛型的几个线程，但仍然无法理解特定情况。在这里:

public class Box<T>
{
    private T t;

    public T getT ()
    {
        return t;
    }

    public void setT (T t)
    {
        this.t = t;
    }

    public static void main (String[] args)
    {
        Box<Integer> intBox = new Box<Integer>();
        Box rawBox = intBox;
        rawBox.setT("NBA");
        System.out.println(rawBox.getT());
        System.out.println(intBox.getT());
        /*1*/ //System.out.println(intBox.getT().toString());
    }
}

这是交易，我理解的第一个打印，即

 System.out.println(rawBox.getT());

打印 NBA，因为 rawBox 是 Box T 的原始类型，它“给”我们对象。

我没有得到的是第二个打印:

System.out.println(intBox.getT());

打印NBA。intBox 是一个泛型类型(在本例中为 Box of Integers)，这意味着它的 getter 方法应该返回一个 T 类型的值(在本例中为 Integer)，所以我的理解是在那里保存的 String 对象应该被转换为 Integer(因为这是给 Box T 的参数类型)并且应该在运行时引发 ClassCastException，但它没有发生，这是为什么？

顺便说一句，注释编号/1/增加了困惑，因为如果我取消注释它，它会导致在运行时引发 ClassCastException(字符串不能转换为整数) ，我不明白

谢谢大家:)

Answer 1

有时很难猜测 Java 将在何处插入已检查的强制转换。通常，它只会在必要时插入它们。了解您看到的行为的最佳方式是检查字节码!

如果我们运行 javap -c Box.class(在使用 /*1*/ 未注释编译后)，我们看到:

  public static void main(java.lang.String[]);
    Code:
      ...
      20: invokevirtual #8                  // Method getT:()Ljava/lang/Object;
      23: invokevirtual #9                  // Method java/io/PrintStream.println:(Ljava/lang/Object;)V
      26: getstatic     #7                  // Field java/lang/System.out:Ljava/io/PrintStream;
      29: aload_1
      30: invokevirtual #8                  // Method getT:()Ljava/lang/Object;
      33: invokevirtual #9                  // Method java/io/PrintStream.println:(Ljava/lang/Object;)V
      36: getstatic     #7                  // Field java/lang/System.out:Ljava/io/PrintStream;
      39: aload_1
      40: invokevirtual #8                  // Method getT:()Ljava/lang/Object;
      43: checkcast     #10                 // class java/lang/Integer
      46: invokevirtual #11                 // Method java/lang/Integer.toString:()Ljava/lang/String;
      49: invokevirtual #12                 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      52: return

您可以在这里看到，JVM 实际需要转换为整数的唯一时间是在 #43(checkcast)。这样它就可以调用虚拟 Integer.toString()。

调用 println (#33) 不需要转换，因为 println 需要一个 Object，而不是 Integer(也许你认为你正在调用 println(int)，但你不是)。所以 JVM 永远不需要检查它是否是一个整数，因为它不需要。

如果您没有调用 println(Object)，而是调用了一个接受 Integer 的方法，您应该会看到一个 ClassCastException。

例如，这个:

    ...
    print(intBox.getT());
}

private static void print(Integer integer) {
    System.out.println(integer);
}

将执行类型转换:

  26: aload_1
  27: invokevirtual #8                  // Method getT:()Ljava/lang/Object;
  30: checkcast     #10                 // class java/lang/Integer
  33: invokestatic  #11                 // Method print:(Ljava/lang/Integer;)V