为什么Java7菱形操作符不能用于匿名类？

Question

考虑这个java代码，它试图实例化一些<代码>列表< /C>

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在Java7中使用新的菱形运算符来减少类型参数的不必要重复。

list3是使用匿名类的list1的变体，可能会重写ArrayList的某些方法。

试图使用菱形运算符，类似于list2，但这是一个编译错误

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

那么，有了list4的声明，为什么菱形运算符不能与匿名类一起使用呢？这里有一个类似的问题，一个公认的答案包含JSR-334的以下解释：

不支持将diamond与匿名内部类一起使用，因为这样做通常需要对class file signature属性进行扩展，以表示不可表示的类型，这是事实上的JVM更改。

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

Answer 1

您可以使用它在java 9示例钻石操作符

 MyHandler<Integer> intHandler = new MyHandler<>(1) {

        @Override
        public void handle() {
            // handling code...
        }
 };

Answer 2

您可以在Java9中使用diamond Operator

MyHandler<Integer> intHandler = new MyHandler<>(1) {

        @Override
        public void handle() {
            // handling code...
        }
    };

    MyHandler<? extends Integer> intHandler1 = new MyHandler<>(10) {

        @Override
        void handle() {
            // handling code...
        }
    };

    MyHandler<?> handler = new MyHandler<>("One hundred") {

        @Override
        void handle() {
            // handling code...
        }
    };
}

Answer 3

“硬币计划”邮件列表中对此进行了讨论。实质上（我的重点）：

在内部，Java编译器操作的类型集比可以在Java程序中显式编写的类型集更丰富。不能在Java程序中编写的编译器内部类型称为非可表示类型。由于diamond使用的推理，可能会出现不可表示的类型。因此，不支持将diamond与匿名内部类一起使用，因为这样做通常需要对class file signature属性进行扩展，以表示不可表示的类型，这是事实上的JVM更改。未来的平台版本可以允许在创建匿名内部类时使用diamond，只要推断的类型是可表示的。

请注意，Java8中也不支持它，但将作为新功能包含在Java9中（“铣削项目硬币”第3项）。