Java泛型接口匿名实现类为何无法用菱形语法省略类型参数

Java中支持通过匿名类实现Runnable这类非泛型接口，也允许在赋值运算符右侧使用菱形语法<>省略普通泛型类实例化时的类型参数，但泛型接口结合匿名类+菱形语法的写法，在Java 8及更早版本中无法通过编译，复现代码如下：

import java.util.ArrayList;
import java.util.List;
interface Normal {
    Integer f();
    void g();
}
interface Generic<T> {
    T f();
    void g();
}
public class GenericInterface {
    public static void main(String[] args) {
        List<Integer> li = new ArrayList<>(); // 省略ArrayList类型参数，编译正常
        Runnable r = new Runnable() {
            @Override public void run() {}
        };
        Normal n = new Normal() { // 非泛型接口匿名实现，编译正常
            @Override public Integer f() {
                return new Integer(0);
            }
            @Override public void g() {}
        }; 
        Generic<Integer> i = new Generic<>() { // Java 8及之前版本在此处抛出编译错误
            @Override public Integer f() {
                return new Integer(0);
            }
            @Override public void g() {}
        };
    }
}

上述代码在Java 8及更早环境编译时，javac会针对Generic<Integer> i = new Generic<>() {行抛出错误，对应三个核心疑问：

• 既然编译器可以通过赋值语句左侧的声明类型，成功推断List<Integer> li = new ArrayList<>()中右侧的类型参数，为什么泛型接口匿名实现场景下无法完成自动推断，必须显式编写new Generic<Integer>() {？
• 是否Java语法本身禁止不指定类型参数实现泛型接口？
• 该限制的设计原因是什么？

直接结论 #

• Java 8及更早版本的语法规范明确禁止在带自定义类体的匿名内部类场景使用菱形语法，这不是编译器实现bug，是当时的语法规则限制，因此示例中的写法会编译失败。
• Java 9及之后版本移除了这个限制，只要可以从上下文（比如赋值左侧的类型声明）推断出确定的泛型参数，匿名内部类上也可以正常使用菱形语法，示例代码在Java 9+环境下可以直接编译通过，不需要显式写全new Generic<Integer>() { ... }。

限制的设计原因 #

菱形语法在Java 7首次推出时，功能边界被刻意收窄，没有覆盖匿名内部类场景，核心考量有两点：

1. 推断复杂度差异：普通泛型类实例化（比如new ArrayList<>()）没有自定义类体，编译器只需要从赋值上下文拿到泛型参数，直接代入类的构造逻辑即可，不需要额外校验其他逻辑。但匿名内部类本质是生成了一个继承/实现目标类型的全新子类，类体内包含重写的方法，如果允许使用菱形语法，编译器必须额外校验重写方法的参数类型、返回值类型和推断出的泛型参数是否匹配，还要处理泛型参数在类体内的引用场景，类型推断链路会大幅变长，Java 7版本研发周期内无法保证该特性的稳定性，因此直接在规范层面禁止了该用法。
2. 场景优先级低：Java 7推出菱形语法的核心目标是消除普通泛型实例化时的冗余类型书写（比如消除new ArrayList<Integer>()里重复书写的Integer），匿名类实现泛型接口的场景占比极低，投入产出比不高，因此该能力被延后到后续版本实现。

其他现象解释 #

• 非泛型接口的匿名实现（比如Runnable、示例中的Normal接口）本身不存在泛型参数，自然不受菱形语法的规则限制，可以正常编译。
• new ArrayList<>()能正常工作，是因为它属于没有自定义类体的普通泛型实例化，从Java 7开始就属于菱形语法的支持范围。

内容的提问来源于stack exchange，提问作者gongliming7