Java泛型方法如何强制参数与返回类型的不变性？

原代码的核心矛盾在于：ITask接口的make方法声明返回TaskResult<T>，但具体任务实现类（如AlphaTask）实际返回的是它的子类（AlphaTaskResult）。在泛型方法run中，编译器无法推断出ITask::make返回的TaskResult<T>就是约束中的U extends TaskResult<T>——因为接口定义的返回类型是父类，导致类型匹配失败，触发编译错误。

我们需要让编译器明确任务与结果的类型绑定关系，以下提供两种可行方案：

方案一：修改ITask接口（推荐） #

通过扩展接口的泛型参数，直接关联任务对应的具体结果类型，从根源上解决类型推断问题。

1. 调整ITask接口定义 #

新增泛型参数R，指定任务返回的具体结果类型（必须继承自TaskResult<T>）：

interface ITask<T, R extends TaskResult<T>> {
    R make();
}

2. 更新任务实现类的泛型声明 #

让每个具体任务类实现ITask时，明确指定对应的结果类型：

class AlphaTask implements ITask<String, AlphaTaskResult> {
    public AlphaTaskResult make(){
        return new AlphaTaskResult("alphaTask");
    }
}

class BetaTask implements ITask<Integer, BetaTaskResult> {
    public BetaTaskResult make(){
        return new BetaTaskResult(9001);
    }
}

3. 简化泛型方法run的签名 #

现在编译器能直接通过ITask的泛型参数获取结果类型，无需额外复杂约束：

public static <T, R extends TaskResult<T>, V extends ITask<T, R>> List<R> run(List<V> tasks) {
    return tasks.stream()
            .map(ITask::make)
            .collect(Collectors.toList());
}

完整修正代码 #

package com.adobe.panpipe;

import java.util.List;
import java.util.Arrays;
import java.util.stream.Collectors;

interface ITask<T, R extends TaskResult<T>> {
    R make();
}

class TaskResult<T>{
    T value;
}

class AlphaTaskResult extends TaskResult<String> {
    AlphaTaskResult(String value){
        this.value = value;
    }
}

class BetaTaskResult extends TaskResult<Integer> {
    BetaTaskResult(Integer value){
        this.value = value;
    }
}

class AlphaTask implements ITask<String, AlphaTaskResult> {
    public AlphaTaskResult make(){
        return new AlphaTaskResult("alphaTask");
    }
}

class BetaTask implements ITask<Integer, BetaTaskResult> {
    public BetaTaskResult make(){
        return new BetaTaskResult(9001);
    }
}

public class Main {

    public static <T, R extends TaskResult<T>, V extends ITask<T, R>> List<R> run(List<V> tasks) {
        return tasks.stream()
                .map(ITask::make)
                .collect(Collectors.toList());
    }

    public static void main(String[] args) {
        List<AlphaTaskResult> alphaResults = run(Arrays.asList(new AlphaTask(), new AlphaTask()));
        List<BetaTaskResult> betaResults = run(Arrays.asList(new BetaTask(), new BetaTask()));
    }
}

方案二：不修改原接口的兼容方案 #

如果无法调整ITask接口，可以通过Supplier接口辅助类型推断，让编译器识别任务的返回类型：

public static <U extends TaskResult<?>, V extends ITask<?> & Supplier<U>> List<U> run(List<V> tasks) {
    return tasks.stream()
            .map(Supplier::get)
            .collect(Collectors.toList());
}

这里利用Supplier<U>的签名约束，强制V的make方法返回U，编译器能自动匹配具体任务的返回子类，无需强制转换也无警告。

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