F# 5中如何在async表达式的try-finally块中使用do!与Async.AwaitTask并聚合嵌套异步任务的所有异常

首先得拆解下你原来的代码为啥没达到预期：你启动actionBefore任务后，主线程直接走到failwith "! fail during sth now"抛出异常，导致后续的do! actionBefore |> Async.AwaitTask根本没机会执行。这就意味着actionBefore抛出的异常会变成未观察到的任务异常（新版.NET会静默处理，旧版可能直接导致进程崩溃），自然没法被聚合到最终的AggregateException里。

你的核心需求是保持「先启动前置任务→执行当前操作→等待前置任务」的顺序，同时捕获并聚合两个任务的所有异常。解决方案的关键就是用try-finally块，强制当前操作无论是否抛出异常，最终都必须等待actionBefore任务，让两个异常都能被TPL的机制捕获并聚合。

修改后的代码示例 #

async {
    // 保持原有顺序：先启动前置异步任务
    let actionBefore = async {
        printfn "doing sth before..."
        failwith "! fail during sth before"
    } |> Async.StartAsTask

    try
        // 把原来的当前操作逻辑放在try块里
        printfn "doing sth now..."
        failwith "! fail during sth now"
    finally
        // 无论try块是否抛出异常，都会进入这里等待前置任务
        // 这样前置任务的异常会被捕获，并和try块的异常一起聚合
        do! actionBefore |> Async.AwaitTask
} 
|> Async.StartAsTask 
|> Async.RunSynchronously

为什么这样能生效？ #

1. 强制等待前置任务：finally块的特性保证了不管try块是正常完成还是抛出异常，都会执行do! actionBefore |> Async.AwaitTask。这就把actionBefore的异常从「未观察」变成了「被显式捕获」。
2. TPL自动聚合异常：当try块抛出异常，同时finally里等待的任务也抛出异常时，TPL会自动把这两个异常打包进AggregateException的InnerExceptions集合里，正好满足你聚合所有异常的需求。
3. 完全保留原有顺序：你想要的「先启动前置任务→执行当前操作→等待前置任务」的流程完全没被改变，只是通过try-finally补全了异常捕获的逻辑。

额外说明 #

• 如果try块正常完成（没有抛出异常），finally里等待actionBefore时若它抛出异常，最终的异步任务会直接抛出这个异常，符合预期。
• 这个写法完全兼容F# 5，不需要依赖任何新版本的语法特性。

内容的提问来源于stack exchange，提问作者Christian Fuchs