c# - 如何在不添加无法访问的代码的情况下编译此异步 lambda？

Question

我有一个方法:

void MyMethod<T>(params Func<T>[] funcs) { }

我想用异步 lambda 调用它:

MyMethod(async () => 1, async () => 2, async () => 3);

有效!但是，如果我希望第三个 lambda 抛出异常怎么办？

MyMethod(async () => 1, async () => 2, async () => { throw new Exception(); });

上面没有编译，它给出了两个相同的错误:

CS0201 Only assignment, call, increment, decrement, and new object expressions can be used as statements

我不确定为什么会出现此错误，但我明白为什么它无法编译 - 前两个 lambda 是 Func<Task<int>>最后一个是 Func<Task> .我希望它能给我一个更好的编译错误，但让我们把这个问题放在一边。

我如何获得要编译的代码？我可能必须告诉编译器我想为第三个异步 lambda 生成什么类型​​的任务。我发现的一种方法是指定 return throw 之后的声明声明:

MyMethod(async () => 1, async () => 2, async () => { throw new Exception(); return 3; });

除了丑陋和令人困惑之外，它还会生成一个编译器警告:

CS0162 Unreachable code detected

如何让编译器满意？如何避免无法访问的代码只是为了编译？是否有另一种方法来指定异步 lambda 返回的任务类型？

^{另外，为什么在上面的示例中会出现 CS0201 错误？}

Answer 1

问题在于编译器将您的 T 推断为 Task，因为最后一个 lambda 没有返回类型。

因此，它尝试将第一个 lambda 解析为没有返回值，这意味着它们必须作为语句有效，而不是表达式。由于 1 不是有效的语句，所以你这个听起来很奇怪的错误。

要使您的代码编译，显式传递泛型类型参数:

MyMethod<Task<int>>(async () => 1, async () => 2, async () => { throw new Exception(); });

example