执行下面的代码时,代码执行完美而没有任何错误,但是对于List< Integer>类型的变量. ,get()方法的返回类型应该是Integer,但是在执行此代码时,当我调用x.get(0)时会返回一个字符串,而这应该抛出异常.

public static void main(String[] args)

{

ArrayList xa = new ArrayList();

xa.addAll(Arrays.asList("ASDASD", "B"));

List x = xa;

System.out.println(x.get(0));

}

但是在执行下面的代码时,只需将返回对象的类检索添加到前一个代码块就会引发类强制转换异常.如果上面的代码完美执行,则以下内容也应该执行而没有任何异常：

public static void main(String[] args)

{

ArrayList xa = new ArrayList();

xa.addAll(Arrays.asList("ASDASD", "B"));

List x = xa;

System.out.println(x.get(0).getClass());

}

为什么java在获取对象的类类型时执行类型转换？

解决方法:

编译器必须在必要时在字节代码级别插入类型检查指令,因此在分配给Object时,例如对象o = x.get(0);或System.out.println(x.get(0));,可能不需要它,调用表达式x.get(0)上的方法确实需要它.

原因在于binary compatibility rules.简单地说,调用方法是由接收器类型继承还是显式声明是无关紧要的,表达式x.get(0)的形式类型是Integer并且您正在调用方法getClass(因此,调用将被编码为一个名为getClass的方法的调用,并在接收器类java.lang.Integer上使用signature()→java.lang.Class.此方法从java.lang.Object继承并且在编译时声明为final的事实不会被编译的类反映出来.

所以从理论上讲,在运行时,可以从java.lang.Object中删除该方法,并将新方法java.lang.Class getClass()添加到java.lang.Integer,而不会破坏与该特定代码的兼容性.虽然我们知道这种情况永远不会发生,但编译器只是遵循正式规则而不是将有关继承的假设注入代码中.

由于调用将被编译为针对java.lang.Integer的调用,因此在调用指令之前必须进行类型转换,这将在堆污染方案中失败.

请注意,如果您将代码更改为

System.out.println(((Object)x.get(0)).getClass());

您将明确假设该方法已在java.lang.Object中声明.扩展到java.lang.Object将不会生成任何额外的字节代码指令,所有这些代码都会将方法调用的接收器类型更改为java.lang.Object,从而无需进行类型转换.

这里的规则有一个有趣的偏差,如果方法是java.lang.Object中声明的已知最终方法之一,编译器会将调用编码为在字节码级别上的java.lang.Object上的调用.这可能是由于这些特定方法are specified in the JLS以及以这种形式对它们进行编码的事实允许JVM快速识别这些特殊方法.但checkcast指令和invokevirtual指令的组合仍然表现出相同的兼容行为.

标签：java,java-8,classcastexception,unchecked-cast,raw-types

来源： https://codeday.me/bug/20190527/1163826.html