Java泛型歧义问题：ExceptionHandlerPair调用buildMessage为何报错？

1. 泛型不变性导致的类型不匹配 #

Java泛型默认是不变的——ErrorMessageBuilder<RuntimeException>和ErrorMessageBuilder<NullPointerException>属于完全独立的类型，不存在继承关系。

假设你的核心类定义如下：

interface ErrorMessageBuilder<T extends Exception> {
    String buildMessage(T exception);
}

class RuntimeExceptionErrorMessageBuilder implements ErrorMessageBuilder<RuntimeException> {
    @Override
    public String buildMessage(RuntimeException exception) {
        return exception.getMessage();
    }
}

class ExceptionHandlerPair<T extends Exception> {
    private ErrorMessageBuilder<T> builder;
    public ExceptionHandlerPair(ErrorMessageBuilder<T> builder) { this.builder = builder; }
    public ErrorMessageBuilder<T> getBuilder() { return builder; }
}

当你创建ExceptionHandlerPair<RuntimeException>实例后，getBuilder()返回的是ErrorMessageBuilder<RuntimeException>，它的buildMessage方法要求参数是精确的RuntimeException类型。虽然NullPointerException、IllegalArgumentException是RuntimeException的子类，但Java不会自动将子类实例向上转型适配泛型的精确类型（除非使用通配符调整）。

如果创建实例时未明确指定泛型参数，编译器会自动推断出最窄的类型：

// 编译器会推断pair的泛型为ExceptionHandlerPair<NullPointerException>
var pair = new ExceptionHandlerPair<>(new RuntimeExceptionErrorMessageBuilder());
pair.getBuilder().buildMessage(new IllegalArgumentException()); // 编译报错，因为Builder只接受NullPointerException

2. ErrorWrapper包装后仍报错的核心原因 #

如果ErrorWrapper的泛型定义为ErrorWrapper<T extends Exception>，同样会受泛型不变性限制：ErrorWrapper<NullPointerException>和ErrorWrapper<RuntimeException>是不兼容的类型。若buildMessage方法要求参数为ErrorWrapper<RuntimeException>，传入ErrorWrapper<NullPointerException>依然会因类型不匹配报错。

3. 常见代码定义误区 #

• 错误使用上界通配符：比如将buildMessage方法参数定义为? extends T，导致无法接受子类实例；
• 泛型参数绑定错误：ExceptionHandlerPair的泛型参数未与ErrorMessageBuilder的泛型参数正确对齐，导致类型推断混乱。

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