为什么 Task<T> 不是协变的？

Question

class ResultBase {}
class Result : ResultBase {}

Task<ResultBase> GetResult() {
    return Task.FromResult(new Result());
}

编译器告诉我它不能将Task<Result> 隐式转换为Task<ResultBase>。有人可以解释这是为什么吗？我本来希望协方差能够让我以这种方式编写代码。

Answer 1

我在MorseCode.ITask NuGet package 上取得了成功。此时它非常稳定（几年内没有更新），但安装起来很简单，从 ITask 转换为 Task 所需要做的唯一事情就是调用 .AsTask() （并且反向扩展方法也附带包）。

Answer 2

在我的情况下，我在编译时不知道 Task 通用参数，并且必须使用 System.Threading.Tasks.Task 基类。这是我根据上面的示例创建的解决方案，也许会对某人有所帮助。

    [MethodImpl(MethodImplOptions.AggressiveInlining)]
    public static async Task<T> AsTask<T>(this Task task)
    {
        var taskType = task.GetType();
        await task;
        return (T)taskType.GetProperty("Result").GetValue(task);
    }

Answer 3

我意识到我迟到了，但这是我一直在使用的一种扩展方法来解决这个缺失的功能：

/// <summary>
/// Casts the result type of the input task as if it were covariant
/// </summary>
/// <typeparam name="T">The original result type of the task</typeparam>
/// <typeparam name="TResult">The covariant type to return</typeparam>
/// <param name="task">The target task to cast</param>
[MethodImpl(MethodImplOptions.AggressiveInlining)]
public static async Task<TResult> AsTask<T, TResult>(this Task<T> task) 
    where T : TResult 
    where TResult : class
{
    return await task;
}

这样你就可以做到：

class ResultBase {}
class Result : ResultBase {}

Task<Result> GetResultAsync() => ...; // Some async code that returns Result

Task<ResultBase> GetResultBaseAsync() 
{
    return GetResultAsync().AsTask<Result, ResultBase>();
}

Answer 4

根据someone who may be in the know...

理由是协方差的优势超过了 杂乱的缺点（即每个人都必须做一个 决定是否在每个单独的任务中使用 Task 或 ITask 放在他们的代码中）。

在我看来，这两种方式都没有非常令人信服的动机。 ITask<out T> 需要大量新的重载，可能在幕后相当多（我无法证明实际的基类是如何实现的，或者它与幼稚的实现相比有多么特别），但更多的是这些@ 987654324@-like 扩展方法。

其他人提出了一个很好的观点 - 最好把时间花在使 classes 协变和逆变。我不知道这会有多难，但对我来说，这听起来像是更好地利用时间。

另一方面，有人提到在async 方法中提供真正的类似yield return 的功能会非常酷。我的意思是，没有花招。