c# .net 为什么 Task.Run 处理 Func 的方式似乎与其他代码不同？

Question

作为 .NET 4.5 一部分的新 Task.Run 静态方法的行为似乎并不像人们预期的那样。

例如:

Task<Int32> t = Task.Run(()=>5);     

编译正常，但是

Task<Int32> t = Task.Run(MyIntReturningMethod);
...
public Int32 MyIntReturningMethod() {
  return (5);
  }

提示 MyIntReturningMethod 返回错误的类型。

也许我只是不明白正在调用 Task.Run 的哪个重载。但在我看来，我上面的 lambda 代码看起来很像 Func<Int32> , 并且 MyIntReturningMethod 绝对兼容 Func<Int32>

有什么想法吗？迈克尔

Answer 1

(当然，要解决问题，只需说Task.Run((Func<int>)MyIntReturningMethod)。)

这与Task完全无关等等。

这里要注意的一个问题是，当存在很多重载时，编译器错误文本 将只关注“一对”重载。所以这很令人困惑。原因是确定最佳重载的算法考虑了 所有 重载，并且当该算法断定找不到最佳重载时，它不会为错误文本生成特定的一对重载，因为所有可能(或可能不)涉及过载。

要了解发生了什么，请参阅以下简化版本:

static class Program
{
    static void Main()
    {
        Run(() => 5);  // compiles, goes to generic overload
        Run(M);        // won't compile!
    }

    static void Run(Action a)
    {
    }
    static void Run<T>(Func<T> f)
    {
    }
    static int M()
    {
        return 5;
    }
}

如我们所见，这绝对没有引用 Task , 但仍然会产生同样的问题。

请注意，匿名函数转换和方法组转换(仍然)不是完全相同的事情。详细信息可在C# 语言规范中找到。

lambda :

() => 5

实际上甚至不能转换为 System.Action类型。如果您尝试这样做:

Action myLittleVariable = () => 5;

它将失败并出现错误 CS0201:只有赋值、调用、递增、递减、等待和新对象表达式可以用作语句。所以对于 lambda 使用哪个重载是非常清楚的。

另一方面，方法组:

M

可转换为 Func<int>和 Action .请记住，完全允许不获取返回值，就像下面的语句:

M(); // don't use return value

本身有效。

这种方式回答了这个问题，但我会举一个额外的例子来补充一点。考虑这个例子:

static class Program
{
    static void Main()
    {
        Run(() => int.Parse("5"));  // compiles!
    }

    static void Run(Action a)
    {
    }
    static void Run<T>(Func<T> f)
    {
    }
}

在最后一个示例中，lambda 实际上可以转换为两种委托(delegate)类型! (只需尝试删除通用重载。)对于 lambda 箭头的右侧 =>是一个表达式:

int.Parse("5")

这本身就是一个有效的陈述。但是重载解析在这种情况下仍然可以找到更好的重载。正如我之前所说，检查 C# 规范。

---

受 HansPassant 和 BlueRaja-DannyPflughoeft 的启发，这是最后一个(我认为)示例:

class Program
{
    static void Main()
    {
        Run(M);        // won't compile!
    }

    static void Run(Func<int> f)
    {
    }
    static void Run(Func<FileStream> f)
    {
    }

    static int M()
    {
        return 5;
    }
}

请注意，在这种情况下，绝对不可能 int 5可以转换成 System.IO.FileStream .方法组转换仍然失败。这可能与使用两种普通方法的事实有关 int f();和 FileStream f(); ，例如由两个不同基接口(interface)的某个接口(interface)继承，无法解析调用 f(); .返回类型不是 C# 中方法签名的一部分。

我还是避而不谈Task在我的回答中，因为它可能会给这个问题的含义留下错误的印象。人们很难理解Task , 在 BCL 中比较新。

---

这个答案已经发展了很多。最后，事实证明这确实是与线程 Why is Func<T> ambiguous with Func<IEnumerable<T>> ? 中相同的潜在问题。 .我的例子 Func<int>和 Func<FileStream>几乎一样清楚。 Eric Lippert 在另一个线程中给出了一个很好的答案。