ClassCast错误:Java 7与Java 8

Jir*_*rka 27 java generics casting java-8

这是一个错误或功能吗?以下代码在Java 7中运行正常但在Java 8中引发异常:

最后一个命令在Java8中抛出ClassCast异常,上面的所有"等效"命令的工作方式相同.

我认为问题在于,在Java 8中,编译器决定String.value(char[])在最后一行而不是String.value(Object)在Java 7中使用.我认为这对于向后兼容性应该采用相同的方式.我错过了什么吗?

注意:正如Marko所说,这可能与Java 8中引入的目标类型推断有关.

public class Test {
    public static void main(String[] args) {
        System.out.println( getVal().getClass());  // String

        System.out.println( String.valueOf(Test.<Object>getVal()) );   // "abc"

        Object obj = getVal();
        System.out.println( String.valueOf(obj) );  // "abc"

        System.out.println( String.valueOf(getVal()) ); // 7: "abc", 8: Exception 
    }

    // returns a string for simplicity; imagine that given a field, it fetches values from a database
    @SuppressWarnings("unchecked")
    public static <T> T getVal() {
        return (T) "abc";
    }
}
Run Code Online (Sandbox Code Playgroud)

Java 7中的结果:

class java.lang.String
abc
abc
abc
Run Code Online (Sandbox Code Playgroud)

Java 8中的结果:

class java.lang.String
abc
abc
Exception in thread "main" java.lang.ClassCastException: java.lang.String cannot be cast to [C
    at Test.main(Test.java:11)
Run Code Online (Sandbox Code Playgroud)

(注意:[C是一个字符数组)

两个Java都在Windows上:

java version "1.7.0_45"
Java(TM) SE Runtime Environment (build 1.7.0_45-b18)
Java HotSpot(TM) Client VM (build 24.45-b08, mixed mode, sharing)

java version "1.8.0_05"
Java(TM) SE Runtime Environment (build 1.8.0_05-b13)
Java HotSpot(TM) 64-Bit Server VM (build 25.5-b02, mixed mode)
Run Code Online (Sandbox Code Playgroud)

Mar*_*nik 22

String.valueOf是一个重载重载的方法,您在必须从上下文推断出参数类型的上下文中使用它.另一方面,类型推断规则在Java 8中得到了重大改革; 最值得注意的是,目标类型推断得到了很大改善.因此,在Java 8之前,方法参数站点没有收到任何推断,默认Object情况下,在Java 8中,在这种情况下推断出最具体的适用类型char[].

但是,请记住,在这两种情况下,您使用的习惯用法基本上都是破坏的,因此编译器输出的更改可能应该被指定为"陷阱",而不是"错误".

遗憾的是,未经检查的强制转换有时是不可避免的,但是我无法想到任何情况下推断某种类型本身(而不是类型参数)是有意义的,这种类型不是从Class对象反射创建的.因此,您实际上不太可能发现自己处于此处显示的位置,您可以根据呼叫站点上可接受的参数类型推断类型.而且,使用重载方法执行此操作肯定会被破坏,将参数类型的选择留给推理.这只能"偶然"起作用.

  • 同意.恕我直言,这里唯一的错误是`(T)"abc"`. (5认同)
  • 第二种情况受到目标类型推断的影响,这在Java 7中是不存在的.这可能是一个线索,而`char []`是"最具体的类型",在该位置是合法的. (3认同)
  • 这就是为什么我不认为有任何令人信服的理由抱怨Java 7和8之间的编译器输出已经改变.编译器只是告诉你*unchecked cast*警告一直存在的原因很充分. (3认同)
  • 一个或另一个推论似乎都不是明显的"正确的",因此我根本不急于将此标记为错误.如果遗留代码依赖于此类偶然推断,则应该很好地修复它. (2认同)