Java泛型问题：传入子类型参数时方法不适用

问题场景 #

我有一套消息处理的代码结构：

• 消息类型基类MessageType，以及它的子类FooBarMessageType
• 抽象泛型处理器MessageHandler<T extends MessageType>，要求实现handleMessage方法处理对应类型的消息
• 具体处理器FooBarHandler继承自MessageHandler<FooBarMessageType>

原处理方法定义如下：

private void processMessage(MessageType message, MessageHandler<MessageType> handler) {
    handler.handleMessage(message);
}

当我用以下代码调用时：

processMessage((FooBarMessageType) message, new FooBarHandler());

Eclipse直接抛出编译错误：

类型StuffDoer中的方法processMessage(MessageType, MessageHandler)不适用于参数(FooBarMessageType, FooBarHandler)

如果把processMessage的第二个参数改成原始类型MessageHandler，虽然能编译但会出现泛型未检查的警告，而Eclipse提供的修复警告方案又会回到原来的编译错误。

错误原因 #

Java泛型默认是不变的——哪怕FooBarMessageType是MessageType的子类，MessageHandler<FooBarMessageType>也不能被当成MessageHandler<MessageType>来使用。编译器会严格检查泛型类型的匹配，避免潜在的类型转换异常。

解决方案 #

推荐方案：将processMessage改为泛型方法

修改方法定义，引入泛型参数约束，让消息类型和处理器类型严格匹配：

private <T extends MessageType> void processMessage(T message, MessageHandler<T> handler) {
    handler.handleMessage(message);
}

这样调用时，编译器会自动推断泛型参数T为FooBarMessageType，完美匹配FooBarHandler，既没有编译错误，也不会有任何警告，同时保留了泛型的类型安全检查。

备选方案：使用通配符（有局限性）

如果业务场景允许放宽类型约束，可以用? extends MessageType实现协变：

private void processMessage(MessageType message, MessageHandler<? extends MessageType> handler) {
    // 注意：这里调用handler.handleMessage(message)会报错
    // 因为编译器无法确定handler能处理任意MessageType子类
}

这个方案仅适用于不需要调用处理器的handleMessage方法，或者能通过其他方式确保类型安全的场景，否则会出现新的编译错误，因此一般不推荐。

为什么不推荐用原始类型？ #

使用原始类型MessageHandler会丢失泛型的类型检查机制，虽然能暂时绕过编译错误，但运行时可能出现ClassCastException，这也是编译器给出警告的原因，属于不安全的写法。

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