可以/应该任务包装在一个C#5.0中,等待TResult中是协变的？

我非常喜欢使用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<out T> InitializeAsync(); // ** breaks because Task<TResult> is invariant in TResult **
}

有没有一个合理的方法,而不是修改我的API太剧烈吗？ (奖金：为什么任务不协变？).没有IAwaitable接口,但我想我可以创建一个扩展方法,转换为包装的,协同的,可靠的任务对象.还是我做错了？

解决方法

任务< T>在T中不能是协变的,因为它是一个类.只有接口和代理可以具有通用方差.

至于是否值得做包装…我想这取决于你在项目中使用协方差的程度.我怀疑你会发现所有的包装和解开的混乱随着时间的推移,老实说 – 如果不是太糟糕,只是采取删除协方差的打击,我会这样做.