如何强制 throw 成为语句而不是表达式（在 lambda 表达式中）？

Question

从 C# 7.0 开始 throw 关键字既可以用作表达式，也可以用作语句，这很好。 不过，请考虑这些重载

public static void M(Action doIt) { /*use doIt*/ }
public static void M(Func<int> doIt) { /*use doIt*/ }

这样调用时

M(() => throw new Exception());

甚至像这样（带有语句 lambda）

M(() => { throw new Exception(); });

编译器选择了 M(Func) 重载，表明在此将 throw 视为表达式。 如何优雅而明确地强制编译器选择 M(Action) 重载？

一种方法是这样

M(() => { throw new Exception(); return; });

但是 return 语句的原因似乎并不明显，并且冒着被下一个开发人员更改的风险，尤其是在 Resharper 警告无法访问的代码之后。

（当然我可以更改方法命名以避免重载，但这不是问题。:-)

Answer 1

这与 lambda 是语句 lambda 还是表达式 lambda 无关（正如您将 lambda 从表达式 lambda 更改为语句 lambda 并且行为没有改变最简洁地展示的那样）。

您可以通过多种方式使 lambda 匹配多个可能的重载。这是特定于较新版本的，但自 C# 1.0 以来已经应用了其他方法（并且自从引入匿名方法以来，需要存在匿名方法的特定处理和由此产生的重载决议消歧）。

确定调用哪个重载的规则在 C# 规范的第 7.5.3.3 节中有详细说明。具体来说，当参数是匿名方法时，它总是更喜欢委托（或表达式）有返回值的重载，而不是没有返回值的重载。无论是语句 lambda 还是表达式 lambda，这都是正确的；它适用于任何形式的匿名函数。

因此，您要么需要通过使匿名方法对Func<int> 无效来防止重载匹配，要么显式强制类型为Action，这样编译器就不会自行消除歧义。

Answer 2

您可以为Action 添加一个演员表，尽管它确实有点LISP'y 带有所有括号：

M((Action)(() => throw new Exception()));

不理想，但如果您想要最大程度的清晰度：

Action thrw = () => throw new Exception();
M(thrw);

Answer 3

一种可能的方法是使用命名参数：

public static void M(Action action) { /* do stuff */ }

public static void M(Func<int> func) { /* do stuff */ }

public static void Main()
{
    M(action: () => throw new Exception());
}

这可能应该记录在代码中，以免让下一个开发人员感到惊讶，并且如 cmets 中所述，编写适当的自动化测试来验证是否调用了正确的重载。

Answer 4

要添加到给出的所有合理答案，这里有一个迷人的不合理答案：

((Action<Action>)M)(() => throw new Exception());

任何出现的维护程序员都应该bake the noodle，他们会不理会它。看看你能不能弄清楚它为什么起作用。