为什么Java 7 Diamond运算符不能与匿名类一起使用？

Question

考虑下面的Java代码，它尝试实例化一些List：

List<String> list1 = new ArrayList<String>();
List<String> list2 = new ArrayList<>();
List<String> list3 = new ArrayList<String>() { };
List<String> list4 = new ArrayList<>() { };
List<String> list5 = new ArrayList<Integer>() { };

list1并且list2很简单；list2在Java 7中使用新的Diamond运算符来减少不必要的类型参数重复。

list3是list1使用匿名类的一种变体，可能会覆盖的某些方法ArrayList。

list4尝试使用菱形运算符，类似于list2，但这是编译错误，消息 “ <>”不能与匿名类一起使用。

list5产生一个错误，证明编译器知道实际需要的类型。错误消息是 类型不匹配：无法从新的ArrayList （）{}转换为List

因此，使用的声明list4，为什么diamond运算符不能与匿名类一起使用？这里有一个类似的问题，其答案被接受，其中包含来自JSR-334的以下解释：

不支持将Diamond与匿名内部类一起使用，因为这样做通常需要扩展类文件签名属性以表示不可表示的类型，这实际上是JVM的更改。

我需要一些帮助来理解这种推理。为什么显式类型与相同的且显然容易推断的类型在生成的类文件中需要任何区别？“一般这样做”将涵盖什么困难的用例？

根本原因是什么？

Answer 1

在“ Project Coin”邮件列表中对此进行了讨论。本质上（强调我的）：

在内部，与可以在Java程序中显式记录的类型相比，Java编译器可以处理更丰富的类型集。无法在Java程序中编写的编译器内部类型称为不可指定类型。菱形使用推论的结果可能会出现不可表示的类型。
因此，不支持将Diamond与匿名内部类一起使用，因为这样做通常需要扩展类文件签名属性以表示不可表示的类型，这实际上是JVM的更改
。只要推断出的类型是可表示的，将来的平台版本就可以在创建匿名内部类时允许使用菱形。

请注意，Java 8也不支持它，但是它将作为Java
9的新功能（“铣削项目硬币”的第3项）包括在内。