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

Question

考虑这个试图实例化一些Lists的Java代码：

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

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

list4 尝试使用菱形运算符，类似于 list2，但这是一个编译错误，消息 '' cannot be used with anonymous classes。

list5 产生一个错误，证明编译器知道实际需要什么类型。错误消息是 Type mismatch: cannot convert from new ArrayList(){} to List

那么，有了list4 的声明，为什么菱形运算符不能与匿名类一起使用呢？有一个similar question here 接受的答案包含来自JSR-334 的以下解释：

不支持使用带有匿名内部类的菱形，因为 这样做通常需要对类文件进行扩展 表示不可表示类型的签名属性，事实上的 JVM 改变。

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

造成这种情况的根本原因是什么？

Answer 1

从 Java 9 开始，菱形运算符 可以与匿名类一起使用。见here。

Answer 2

从Java 10，您可以轻松地使用var，编译器将负责类型推断。

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

Answer 3

你可以在java 9中使用它 Example Diamond operator

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

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

Answer 4

您可以在Java9使用钻石运算符

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 5

这是在the "Project Coin" mailing list 上讨论的。实质上（强调我的）：

在内部，Java 编译器运行的类型集比 Java 编译器更丰富。 那些可以在 Java 程序中显式写下来的内容。这 不能用 Java 程序编写的编译器内部类型是 称为不可表示类型。结果可能出现不可表示的类型 钻石使用的推论。 因此，使用菱形与 不支持匿名内部类，因为这样做通常会 需要类文件签名属性的扩展来表示 不可表示的类型，事实上的 JVM 变化。未来是可行的 平台版本可以允许在创建匿名时使用钻石 内部类，只要推断的类型是可表示的。

请注意，Java 8 也不支持它，但将作为新功能包含在 Java 9 中（"Milling Project Coin" 的第 3 项）。