Java泛型疑问：类与方法同边界泛型为何不兼容？

问题描述 #

类泛型声明<E extends MyError>与方法泛型参数<newE extends MyError>边界看似一致，但实际无法互换使用。代码示例如下：

class Err<T, E extends MyError> {
    private E error;

    public <newT, newE extends MyError> Err<newT, newE> doSomething() {
        return new Err<newT, newE>(error);
    }
}

IntelliJ提示错误：Required type:newE, Provided:E

核心疑问：既然E和newE都继承自MyError，为何不能用error值实例化返回的Err对象？如何保留X extends Y的动态特性，让所有满足extends MyError的类型都能实例化Err类？

原因解析 #

• 泛型参数是独立类型变量：类上的E和方法上的newE是完全独立的类型参数，哪怕边界相同，编译器也不会默认两者存在继承关系。比如E是MySubError1，调用方法时指定newE为MySubError2，这两个类型无继承关联，自然无法直接赋值。
• 泛型的不变性：Java泛型默认是不变的——即使A extends B，Err<T, A>也不是Err<T, B>的子类。这里error的类型是E，而构造方法需要newE，编译器无法保证E能安全转换为newE，因此报错。

解决方案 #

要保留动态特性并解决问题，可从以下方向调整：

1. 用通配符放宽返回类型限制 #

如果不需要严格指定newE的具体类型，可将返回类型改为Err<newT, ? extends MyError>，兼容所有MyError子类：

class Err<T, E extends MyError> {
    private E error;

    public <newT> Err<newT, ? extends MyError> doSomething() {
        return new Err<newT, E>(error);
    }
}

2. 让方法泛型参数依赖类泛型参数 #

若需明确返回类型与类的E关联，可让newE继承自E而非直接继承MyError，编译器会确认E是newE的父类（或同一类型），允许赋值：

class Err<T, E extends MyError> {
    private E error;

    public <newT, newE extends E> Err<newT, newE> doSomething() {
        return new Err<newT, newE>(error);
    }
}

这种方式下，newE必须是E的子类，而E本身是MyError子类，因此其子类自然满足extends MyError的要求。

3. 调整构造方法参数类型（可选） #

若Err的构造方法可接受MyError类型参数而非严格的newE，也能解决问题，但会改变类的设计：

class Err<T, E extends MyError> {
    private MyError error;

    public Err(MyError error) {
        this.error = error;
    }

    public <newT, newE extends MyError> Err<newT, newE> doSomething() {
        return new Err<newT, newE>(error);
    }
}

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