Java泛型与类型擦除冲突：同名方法擦除后互不兼容

我查阅过类似问题但未找到对应解答，以下代码会触发编译错误：

// Example 1 (not working)
public interface I<T extends Number> {
    void method(Map<String, String> map, T value);
}

public abstract class A<T extends Number> implements I<T> {
    @Override
    public void method(Map<String, String> map, T value) {}
}

// Note that C doesn't know about the generic type
public class C extends A {
    // Error: name clash: method(Map<String,String>,Number) in C and
    // method(Map,Number) in A have the same erasure, yet neither overrides the other
    @Override
    public void method(Map<String, String> map, Number n) {}
}

我理解类型擦除机制，但手动擦除Map的泛型参数后代码可以正常编译：

// Example 2 (working)
public interface I<T extends Number> {
    void method(Map map, T value);
}

public abstract class A<T extends Number> implements I<T> {
    @Override
    public void method(Map map, T value) {}
}

public class C extends A {
    // No error
    @Override
    public void method(Map map, Number n) {}
}

泛型参数T并非问题根源，移除Map参数后代码也能正常运行：

// Example 3 (working)
public interface I<T extends Number> {
    void method(T value);
}

public abstract class A<T extends Number> implements I<T> {
    @Override
    public void method(T value) {}
}

public class C extends A {
    // No error
    @Override
    public void method(Number n) {}
}

移除接口的泛型参数后，代码同样正常：

// Example 4 (working)
public interface I {
    void method(Map<String, String> map);
}

public abstract class A implements I {
    @Override
    public void method(Map<String, String> map) {}
}

public class C extends A {
    @Override
    public void method(Map<String, String> map) {}
}

实际场景中，我需要给接口I添加泛型<T extends Number>，但无法修改不受控制的类C，原本以为这是兼容变更，却发现只有当方法同时包含泛型参数T和带具体泛型的Map时才会触发错误，想明确该问题的本质原因。

本质原因解析 #

这个问题的核心在于原始类型继承时的泛型擦除规则与方法重写的校验逻辑的冲突：

1. 当类C继承原始类型A（未指定泛型参数）时，父类A中的泛型方法会被视为原始类型方法，其签名经过类型擦除后变为void method(Map, Number)。
2. 子类C中定义的方法签名是void method(Map<String, String>, Number)，从表面看参数更具体，但Java的重写规则要求：子类方法的参数类型必须与父类方法的参数类型完全匹配（或在泛型上下文中兼容）。而这里父类方法的参数是擦除后的Map，子类是Map<String,String>，两者不属于合法的重写参数关系——因为Map<String,String>是Map的子类型，但方法重写对参数类型的要求是逆变的（即子类参数可以是父类参数的超类型，而非子类型）。
3. 同时，两者经过类型擦除后的签名完全相同，这就导致了编译错误：既不是合法的重写，又因为擦除后签名重复而无法作为重载方法存在。

对比其他正常案例：

• Example 2：Map本身不带泛型，父类擦除后的签名与子类方法签名完全一致，符合重写规则。
• Example 3：仅存在泛型参数T时，父类原始类型的方法擦除后签名是void method(Number)，子类方法正好匹配该签名，同时Java会为泛型父类生成桥方法，保证运行时的多态性，因此编译通过。
• Example 4：接口无泛型，方法签名完全一致，自然符合重写要求。

简单来说，只有当方法同时包含类级泛型参数和带具体泛型的参数类型时，原始类型继承场景下才会出现“擦除后签名相同但无法重写”的冲突。

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