Eclipse编译器与javac命令编译行为不一致问题咨询

问题重现 #

测试代码：

package test;

public class GenericAndMethodSignature {

    public static void main(String[] args) {
        (new ClazzAAA()).fooo();
    }

    public abstract static class ClazzAA<T> {

        public final void fooo() {
            System.out.println(this.foo((T) null));
        }

        public abstract String foo(T input);

        public final String foo(Integer input) {
            return "foo";
        }

    }

    public static class ClazzAAA extends ClazzAA<Integer> {
    }
}

• Eclipse编译运行：抛出java.lang.AbstractMethodError: test.GenericAndMethodSignature$ClazzAA.foo(Ljava/lang/Object;)Ljava/lang/String;
• javac编译运行：正常输出foo
• 用java命令运行Eclipse编译的类文件，同样抛出上述错误

差异原因 #

核心在于泛型擦除与桥接方法的生成逻辑不同：

1. 泛型擦除的本质：父类ClazzAA<T>中的抽象方法foo(T)经过泛型擦除后，签名变为foo(Object)；而foo(Integer)是一个独立的重载方法，且被标记为final。
2. javac的处理逻辑：当ClazzAAA继承ClazzAA<Integer>时，javac会自动生成桥接方法，填补泛型擦除后的方法匹配缺口：

   public String foo(Object input) {
       return foo((Integer) input);
   }
   

   这个桥接方法会调用父类的final foo(Integer)方法，因此运行时能正常找到实现。
3. Eclipse ECJ编译器的问题：ECJ没有识别出这种场景下需要生成桥接方法，导致ClazzAAA没有覆盖父类擦除后的foo(Object)抽象方法，JVM运行时找不到该方法的实现，抛出AbstractMethodError。

正确性判断 #

javac的行为完全符合Java语言规范：当子类继承参数化泛型类时，若父类泛型方法擦除后的签名与子类可适配的方法存在对应关系，编译器必须生成桥接方法保证动态调用的正确性。Eclipse的ECJ编译器在此场景下的处理不符合规范。

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