java - 为什么直接将 Arrays.asList() 分配给 var 时会出现 AssertionError？

Question

我试图理解Java 10 中的局部变量类型推断。

1. 下面的代码在编译和运行时完美运行：

   List list1 = Arrays.asList(1L, 2.0F, "3");
   var list2 = list1;
   

2. 但是，此行会引发编译错误：

   var list3 = Arrays.asList(1L, 2.0F, "3");
   

   Error:java: java.lang.AssertionError: Unexpected intersection type: java.lang.Object&java.io.Serializable&java.lang.Comparable<? extends java.lang.Object&java.io.Serializable&java.lang.Comparable<?>>

我真的不明白为什么第二种情况是错误的，但不是第一种情况。因为我希望编译器会推断出list1和对待list2的类型list3相同。提前致谢。

Answer 1

这是 Java 10 编译器中的一个错误：https ://bugs.openjdk.java.net/browse/JDK-8199910

仅在使用标志javac调用时才会复制。-g

可能的解决方法：

1. 不要使用-g国旗
   • 如果你使用IDEA：设置→构建、执行、部署→编译器→Java编译器→取消选中“生成调试信息”
2. 不要var与交集类型一起使用（使用显式类型）：
   • List<Object> list = Arrays.asList(1L, 2.0F, "3");
   • var list = Arrays.<Object> asList(1L, 2.0F, "3");
3. 使用具有自己编译器的 Eclipse

UDPATE：

该错误已在JDK 10.0.2中修复。

Answer 2

这是 openjdk 的一个错误，请参见：

Javac 应该跳过 LocalVariableTypeTable 属性中的不可表示类型