求解「两个方法擦除后签名相同，但彼此不构成重写」的Java编译错误

先给你两种可行的修复方案，再详细解释报错的底层原因：

方案1：正确重写父类的foo方法 #

如果你原本的意图是重写父类A的foo方法，那子类C的foo方法参数类型必须和父类保持一致——也就是B<T>，而不是T：

package help;
public class Problem {
    private static class A<T> {
        public void foo(T t) {}
    }
    private static class B<T> {}
    private static class C<T> extends A<B<T>> {
        // 匹配父类A<B<T>>的foo方法参数类型，加上@Override注解确保重写合法
        @Override
        public void foo(B<T> t) {}
    }
}

添加@Override注解能帮你在编译阶段就校验是否真的做到了合法重写，避免后续逻辑出错。

方案2：保留自定义方法，避免擦除冲突 #

如果你想让C类拥有自己的foo(T)方法，同时不与父类方法冲突，最简单的方式是修改方法名，或者调整泛型参数让擦除后的签名不同：

package help;
public class Problem {
    private static class A<T> {
        public void foo(T t) {}
    }
    private static class B<T> {}
    private static class C<T> extends A<B<T>> {
        // 修改方法名，彻底避免与父类方法的擦除冲突
        public void bar(T t) {}
    }
}

为什么原代码会报错？ #

这个错误的核心是Java泛型的类型擦除机制和方法重写/重载规则的冲突：

1. 父类层面：C<T>继承的是A<B<T>>，所以父类A的泛型参数T被替换为B<T>，父类的foo方法实际签名是foo(B<T> t)。但经过类型擦除后，泛型参数会被替换为最顶层的父类Object，所以父类方法擦除后的签名是foo(Object t)。
2. 子类层面：C类的foo(T t)经过类型擦除后，同样会变成foo(Object t)。
3. Java编译器的规则是：如果两个方法擦除后的签名完全相同，那要么是合法的重写（子类方法参数类型兼容父类），要么是合法的重载（擦除前签名不同）。但你的代码里，子类foo(T t)和父类foo(B<T> t)擦除后签名一致，但实际泛型类型不兼容——既不是合法重写，也不是合法重载，所以编译器直接抛出了冲突错误。

简单来说就是：擦除后两个方法看起来一模一样，但实际泛型逻辑不匹配，编译器无法判断你的意图是重写还是新增方法，因此报错阻止你写出有歧义的代码。

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