Async 方法立即抛出异常，但在删除 async 关键字时被吞下

Question

在异步方法中抛出异常时，我遇到了一些我无法理解的行为。

以下代码在调用 ThrowNow 方法时会立即抛出异常。如果我将该行注释掉并直接抛出异常，则异常会被吞没，不会在 Unobserved 事件处理程序中引发。

public static async void ThrowNow(Exception ex){
    throw ex;
}

public static async Task TestExAsync()
{
    ThrowNow(new System.Exception("Testing")); // Throws exception immediately
    //throw new System.Exception("Testing");   // Exception is swallowed, not raised in unobserved event

    await Task.Delay(1000);
}

void Main()
{  
    var task = TestExAsync();
}

有点混乱，如果我从 ThrowNow 方法中删除 async 关键字，异常会再次被吞没。

我认为异步方法会同步运行，直到到达阻塞方法。在这种情况下，删除 async 关键字似乎使其行为异步。

Answer 1

我认为异步方法会同步运行，直到到达阻塞方法。

他们知道，但他们仍然知道他们是在异步方法中执行的。

如果您直接从异步 void 方法抛出异常，异步机制会意识到您无法观察到该异常 - 它不会被抛回给调用者，因为异步方法中抛出的异常仅通过任务传播。 （返回的任务出现错误。）如果在第一个阻塞await 表达式之前直接抛出异常，但之后的异常处理方式不同，这会很奇怪。

据我所知，异步void 方法引发的异常会直接传递给同步上下文（如果有的话）。 （一个延续被发布到刚刚抛出异常的同步上下文中。）在一个简单的控制台应用程序中，没有同步上下文，因此它被作为未报告的异常抛出。

如果您将 void 方法更改为返回 Task，那么您只会有一个异常可能已被观察到，但不是（因为您没有使用TestExAsync 中的返回值）。

这有意义吗？如果您需要更多说明，请告诉我 - 这有点曲折（而且我不知道它的文档记录如何）。

编辑：我在 C# 5 规范第 10.15.2 节中找到了 bit 的文档：

如果 async 函数的返回类型为 void，则评估与上述不同之处在于：因为没有返回任务，所以该函数将完成和异常传达给当前线程的 同步上下文 .同步上下文的确切定义取决于实现，但它表示当前线程正在运行的“位置”。当返回 void 的异步函数的评估开始、成功完成或导致抛出未捕获的异常时，会通知同步上下文。

Answer 2

有点混乱，如果我从 ThrowNow 方法中删除 async 关键字，异常会再次被吞没。

异常不会被“吞噬”。

除了 Jon Skeet 所说的之外，请考虑这段代码，其中 ThrowNow 未标记为 async：

static void ThrowNow(Exception ex)
{
    throw ex;
}

static async Task TestExAsync()
{
    ThrowNow(new System.Exception("Testing"));

    await Task.Delay(1000);
}

static void Main()
{
    var task = TestExAsync();

    Console.WriteLine(task.Exception);
}

如您所见，异常不会被“吞下”，它们只是在从异步方法返回的任务中传达给您。

显然，这也意味着你不能 try catch 他们，除非你等待任务：

static void Main()
{
    AsyncMain();
}

static async void AsyncMain()
{
    var task = TestExAsync();

    try
    {
        await task;
    }
    catch (Exception ex)
    {
        Console.WriteLine(ex);
    }
}