Java泛型转换奇怪[重复]

Question

我使用的是Java8。

我最近遇到了这个问题：

public class Test {
    public static void main(String[] args) {
        String ss = "" + (Test.<Integer>abc(2));
        System.out.println(Test.<Integer>abc(2));
    }
    public static <T> T abc(T a) {
        String s = "adsa";
        return (T) s;
    }
}

这不会抛出java.lang.ClassCastException，为什么呢？

我总是想＜code＞和＜code＞System.out。println调用到字符串。但当我尝试这样做时，它会像预期的那样抛出异常。

String sss = (Test.<Integer>abc(2)).toString();

Answer 1

泛型在运行时消失，所以对 T 的强制转换实际上只是对 Object 的强制转换（编译器实际上会删除它），所以没有类强制转换异常。

abc只是一个获取对象并返回对象的方法<代码>StringBuilder。append（Object）是被调用的方法，从字节码可以看出：

...  
16: invokestatic  #7   // Method abc:(Ljava/lang/Object;)Ljava/lang/Object;
19: invokevirtual #8   // Method java/lang/StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
...

当您这样做时

String sss = (Test.<Integer>abc(2)).toString();

那么字节码是

...
 4: invokestatic  #3   // Method abc:(Ljava/lang/Object;)Ljava/lang/Object;
 7: checkcast     #4   // class java/lang/Integer
10: invokevirtual #5   // Method java/lang/Integer.toString:()Ljava/lang/String;
...

您的代码在检查广播操作时失败，这在之前不存在。

Answer 2

它不会抛出< code>ClassCastException，因为所有泛型类型信息都从编译后的代码中去除了(这个过程称为类型擦除)。基本上，任何类型参数都由< code>Object替换。这就是第一个版本有效的原因。这也是代码能够编译的原因。如果您要求编译器用< code>-Xlint:unchecked标志警告未检查或不安全的操作，您将在< code>abc()的< code>return语句中得到有关未检查强制转换的警告。

有了这个声明：

String sss = (Test.<Integer>abc(2)).toString();

故事有点不一样。当类型参数< code>T被< code>Object替换时，调用代码被转换为字节代码，该字节代码将结果显式地转换为< code>Integer。就好像代码是用签名为< code > static Object ABC(Object)的方法编写的，语句是这样写的:

String sss = ((Integer) Test.abc(Integer.valueOf(2))).toString();

也就是说，不仅 abc（） 内部的强制转换会因类型擦除而消失，编译器还会在调用代码中插入新的强制转换。此强制转换在运行时生成 ClassCastException，因为从 abc（） html" target="_blank">返回的对象是字符串，而不是整数。

请注意，该语句

String ss = "" + (Test.<Integer>abc(2));

不需要强制转换，因为编译器只是将< code>abc()返回的对象输入到对象的字符串连接操作中。(具体操作方式因Java编译器而异，但它要么是对< code > StringBuilder append方法的调用，要么是对由< code>StringConcatFactory创建的方法的调用。)这里的细节不重要；关键是编译器足够聪明，能够认识到不需要强制转换。