Java接口泛型方法重写问题：子类特定参数重写为何编译失败？

先看你给出的代码，核心问题出在方法级泛型的重写规则上，咱们一步步拆解：

先明确原接口的泛型方法语义 #

EventListener里的modify是一个方法级泛型：

<T extends Data> T modify(T data);

它的意思是：对于任意继承自Data的类型T，这个方法都能接受T类型的参数，并且返回T类型的结果。这是一个通用的、支持所有Data子类的方法。

为什么第二个modify(ServerInfoData)编译失败？ #

你写的modify(ServerInfoData data)，本质上是试图把原方法的参数范围从「所有Data子类」缩小到「仅ServerInfoData」——但这不符合重写规则：

• 对于普通方法，重写要求参数列表完全一致（Java不支持参数协变重写）；
• 对于泛型方法，重写后的方法必须能兼容原方法的所有输入场景。你的这个方法只能接受ServerInfoData，无法处理其他Data子类，所以它不是重写，而是一个新的重载方法。但你加了@Override注解，编译器会去寻找匹配的可重写方法，自然找不到，所以报错。

那为什么第一个modify(Data data)能通过？因为它相当于把泛型方法的T固定成了Data，完全符合原方法的语义（原方法允许T=Data），所以是合法的重写。

修复方案 #

根据你的设计需求，有两种常用的修复方式：

方案1：将泛型移到接口级别（推荐） #

如果你的每个EventListener实现只需要处理特定的Data子类，那把泛型定义在接口级别更合理：

// 修改原接口
public interface EventListener<T extends Data> { 
    T modify(T data); 
    public static class Data { } 
}

// 实现子接口
public interface ServerInfoEventListener extends EventListener<ServerInfoEventListener.ServerInfoData> { 
    @Override 
    ServerInfoData modify(ServerInfoData data); 

    public static class ServerInfoData extends Data { 
        public ServerInfoData(String motd, int playerCount, int maxPlayers) { 
            this.motd = motd; 
            this.playerCount = playerCount; 
            this.maxPlayers = maxPlayers; 
        } 
        public String motd; 
        public int playerCount; 
        public int maxPlayers; 
    } 
}

这样接口的泛型参数已经锁定为ServerInfoData，modify方法的参数和返回值完全匹配，重写自然合法。

方案2：保留方法级泛型，缩小泛型约束 #

如果必须保留方法级泛型，可以通过缩小泛型参数的上限来实现：

public interface ServerInfoEventListener extends EventListener { 
    @Override
    <T extends ServerInfoData> T modify(T data);

    public static class ServerInfoData extends Data { 
        public ServerInfoData(String motd, int playerCount, int maxPlayers) { 
            this.motd = motd; 
            this.playerCount = playerCount; 
            this.maxPlayers = maxPlayers; 
        } 
        public String motd; 
        public int playerCount; 
        public int maxPlayers; 
    } 
}

这里把泛型参数的上限从Data改成了ServerInfoData，既符合泛型方法的重写规则（约束更严格，返回类型协变），也实现了只处理ServerInfoData及其子类的需求。

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