可以/应该将 Task<TResult> 包装在 TResult 中协变的 C# 5.0 awaitable 中吗？

Question

我真的很喜欢使用 C# 5.0 异步编程。但是，在某些地方更新旧代码以与 TAP 模型保持一致会给我带来问题。

这是其中之一 - 我不确定为什么 Task<TResult> 在 TResult 中不是协变的，但是当我尝试更新协变接口以从同步模式转变为异步模式时，这给我带来了问题：

旧代码：

public interface IInitializable<out T> // ** out generic modifier **
{
    /// <summary>
    /// Boolean to indicate if class is ready
    /// </summary>
    bool IsInitialized { get; }

    /// <summary>
    /// Calls for instance to be initialized using current parameters
    /// Driver initialization can be done in the default constructor if desired
    /// </summary>
    T Initialize();
}

新代码（不会编译）：

public interface IAsyncInitializable<out T> // ** out generic modifier...broken **
{
    /// <summary>
    /// Boolean to indicate if class is ready
    /// </summary>
    bool IsInitialized { get; }

    /// <summary>
    /// Calls for instance to be initialized using current parameters
    /// Driver initialization can be done in the default constructor if desired
    /// </summary>
    Task<T> InitializeAsync(); // ** breaks because Task<TResult> is invariant in TResult **
}

是否有一种合理的方法可以解决这个问题，而无需过度修改我的 API？ （奖励：为什么 Task 不是协变的？）。没有 IAwaitable 接口，但我想我可以制作一个并创建一个扩展方法，该方法转换为一个包装好的、协变的、可等待的任务对象。还是我做错了？

Answer 1

我认为，在 ITask 接口上不包括对 async 关键字的编译器支持是 Microsoft 的主要疏忽。幸运的是，绕过这个限制并不难。

我已经实现了一个协变等待ITask<out TResult> 接口。它的用法非常简单。

更多信息请访问：

https://github.com/jam40jeff/ITask

Answer 2

Task<T> 在T 中不能是协变的，因为它是一个类。只有接口和委托可以有泛型变量。

至于是否值得进行包装...我想这取决于您在项目中使用协方差的程度。我怀疑随着时间的推移你会发现所有的包装和展开令人困惑，老实说 - 如果仅仅接受去除协方差的打击不是太坏，我会这样做。