JDK8类型推理问题

Question

我正在尝试运行以下代码，由于类型推断，它在JDK8下编译得很好：

public static <A,B> B convert(A a) {
  return (B) new CB();
}
public static void main(String[] args) {
  CA a = new CA();
  CB b = convert(a); //this runs fine
  List<CB> bl = Arrays.asList(b); //this also runs fine
  List<CB> bl1 = Arrays.asList(convert(a)); //ClassCastException here
}

但是，运行此命令会抛出ClassCastException:CB无法强制转换为[Ljava.lang.Object，但CB b=convert（a）可以正常工作。

知道为什么吗？

Answer 1

每当你创建一个带有签名的泛型方法，promise返回调用者想要的任何东西时，你都是在自找麻烦。您应该从编译器那里得到一个“未检查”的警告，基本意思是:可能会发生意外的< code>ClassCastException。

你希望编译器推断

List<CB> bl1 = Arrays.asList(YourClass.<CA,CB>convert(a));

而编译器实际上推断出

List<CB> bl1 = Arrays.asList(YourClass.<CA,CB[]>convert(a));

据我所知，因为它更喜欢不需要varargs打包的方法调用（这与pre-varargs代码兼容）。

这会失败，因为您的转换方法不返回预期的数组类型。