C#抛出异常的无返回值Lambda重载匹配推断问题

我实现了一组工具方法，核心逻辑是执行传入的表达式、捕获执行过程中的所有异常，再根据捕获到的异常类型重新抛出对应的包装异常，同时提供了方法的异步版本。
在xUnit单元测试项目中验证方法逻辑正确性（即确认方法能抛出预期类型的异常）时，始终无法得到正确结果：部分场景下传入非异步代码时，会错误调用异步版本的实现，最终导致异常无法被正常捕获。

复现代码 #

开发环境：C# 10.0、.NET 6、Visual Studio 2022

using System;
using System.Threading.Tasks;
                    
public class Program
{   
    public static void DoStuff(Action lambda)
    {
        Console.WriteLine("Doing stuff with Action");
        lambda();
    }
    
    public async static Task DoStuff(Func<Task> lambda)
    {
        Console.WriteLine("Doing stuff with Func<Task>");
        await lambda();
    }
    
    public async static Task Main()
    {
        DoStuff(() => throw new Exception("WOW")); // 此处触发CS4014警告，且异常未被捕获
        DoStuff(void () => throw new Exception("WOW")); // 显式指定void返回值可以解决问题，但显得多余
        await DoStuff(async () => await Task.Delay(1));
    }
}

运行输出 #

Doing stuff with Func<Task>
Doing stuff with Action
Unhandled exception. System.Exception: WOW
   at Program.<>c.<Main>b__2_1()
   at Program.DoStuff(Action lambda)
   at Program.Main()
   at Program.<Main>()

我最初的疑问是：该现象是我遗漏了相关语法规则，还是C#编译器的bug？虽然显式指定lambda的返回类型为void可以解决问题，但我认为编译器本应可以正确推断此处的lambda类型。
补充验证结论：第一个传入的lambda本身无法被直接推断类型（例如无法通过var关键字存储该lambda），但这种场景下代码依然可以正常编译。

这不是C#编译器的bug，是C#重载解析规则的明确设计：

• 当方法参数为匿名方法（覆盖语句lambda、表达式lambda等所有形式的匿名函数）时，重载解析始终会优先选择委托（或表达式）带有返回值的重载，而非无返回值的void类型重载
• 示例中() => throw new Exception("WOW")属于无明确类型的匿名lambda，参与重载匹配时按照优先级规则，会优先匹配返回值为Task的Func<Task>异步重载，而非无返回值的Action同步重载
• 匹配到异步重载后，方法会返回一个封装了异常的Task对象，由于调用时没有使用await等待该Task执行，就会触发CS4014警告，同时异常不会直接抛出到当前同步调用上下文，最终导致异常无法被正常捕获。

• 调用同步重载时显式指定lambda返回类型为void，即传入void () => { /* 同步逻辑 */ }，强制编译器匹配Action签名，缺点是写法冗余
• 调用同步重载时显式做类型强转，例如DoStuff((Action)(() => { /* 同步逻辑 */ }))，同样可以强制匹配同步重载
• 从API设计层面规避歧义：为同步、异步方法使用不同的命名（例如同步方法叫DoStuff，异步方法按.NET规范命名为DoStuffAsync），从根源上避免匿名lambda参与重载解析时的优先级匹配问题，这也是最推荐的实现方式。

内容的提问来源于stack exchange，提问作者Péter Trombitás