无效的方差：类型参数必须始终有效，但是是协变的

Question

这有什么问题？

// does not compile
interface IRepository<out T>
{
    Task<T> Get(int id);
}

编译器抱怨：

Invalid variance: The type parameter 'T' must be invariantly valid on ... 'T' is covariant.

但是，当我删除任务时，代码将编译：

// compiles
interface IRepository<out T>
{
    T Get(int id);
}

为什么使接口异步会导致其无法编译？

Answer 1

如上所述，Asad Task<T>不能协变，因为它是一类。在MSDN指出：

仅接口类型和委托类型可以具有变量类型参数。

如果只有一个协变ITask<T> 接口。

经过一番谷歌搜索后，我在visualstudio.uservoice.com上找到了建议。在评论中，Jeffrey Morse链接到他的实现ITask<T>。

干得好杰夫！