我非常喜欢使用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中不能是协变的,因为它是一个类.只有接口和代理可以具有通用方差.
至于是否值得做包装…我想这取决于你在项目中使用协方差的程度.我怀疑你会发现所有的包装和解开的混乱随着时间的推移,老实说 – 如果不是太糟糕,只是采取删除协方差的打击,我会这样做.
