为什么它不编译？

Question

我有这个代码：

static List<string> lst = new List<string>();

public static Task<IEnumerable<String>> GetStrings() {
    IEnumerable<String> x = lst;
    
    // This line below compiles just fine.
    // return Task.Run(() => x);
    
    // This line gives a compiler error:
    // Cannot implicitly convert type 'System.Threading.Tasks.Task<System.Collections.Generic.List<string>>' to
    // 'System.Threading.Tasks.Task<System.Collections.Generic.IEnumerable<string>>'
    return Task.Run(() => lst);
}    

为什么这行编译得很好：return Task.Run(() => x); 而return Task.Run(() => lst); 给出编译器错误：

不能隐式转换类型 'System.Threading.Tasks.Task' 到 'System.Threading.Tasks.Task'

我认为既然List<string> 是IEnumerable<string>，我不应该显式设置x。我的意思是，编译器知道lst 是IEnumerable<string>。

我想我一定遗漏了一些基本的东西。

Answer 1

因为 C# 首先 尝试确定您的表达式 Task.Run(() => lst) 的类型，然后 然后 检查它是否适合您的方法。

1. lst 是 List<string>。
2. 因此，() => lst 是一个 lambda，其返回值为 List<string>。
3. 因此，Task.Run<TResult>(Func<TResult>) 调用时使用 () => lst 推断 List<string> 作为其类型参数 TResult。
4. 因此，Task.Run(() => lst) 的类型为 Task<List<string>>。

然后您尝试使用Task<List<string>> 类型的值作为返回Task<IEnumerable<string>> 的方法的返回值。 Task<TResult> 不是协变的，因此会出现编译时错误。

（顺便说一句：有一个协变的ITask<out TResult> 接口可以解决这个问题，但是the .NET development team decided against it。）

是的，编译器可以检查您是如何使用在步骤 4 中创建的表达式并尝试lst 的不同接口以使其适合，但这是一个功能C#（目前）没有的（在我个人看来，由于成本效益比低，可能不值得实施和维护）。

---

要解决这个问题，您可以在第 2 步中通过显式转换返回类型来提供不同的类型：

return Task.Run(() => (IEnumerable<string>)lst);

或通过显式声明 lambda 表达式的类型：

return Task.Run(new Func<IEnumerable<string>>(() => lst));

或者您可以使用显式类型参数覆盖第 3 步中的自动推理：

return Task.Run<IEnumerable<string>>(() => lst);

Answer 2

问题是您在这里使用了不同的数据类型（List<T> 与 IEnumerable<T>）。您可以使用类型转换来解决此问题，例如：

Task.Run(() => (IEnumerable<string>)lst);