意外的异步处理行为，异步，可能的错误？

Question

我在调用一个恰好为null的嵌套异步时偶然发现了一个问题。引发了一个异常，但无法使用Async工作流提供的任何常规异常处理方法。

下面是一个简单的测试，重新产生此问题：

[<Test>] 
let ``Nested async is null with try-with``() = 

    let g(): Async<unit> = Unchecked.defaultof<Async<unit>> 

    let f = async { 
      try 
       do! g() 
      with e -> 
       printf "%A" e 
    } 

    f |> Async.RunSynchronously |> ignore 

这导致follwing例外：

System.NullReferenceException : Object reference not set to an instance of an object. 
at Microsoft.FSharp.Control.AsyncBuilderImpl.bindA@714.Invoke(AsyncParams`1 args) 
at <StartupCode$FSharp-Core>.$Control.loop@413-40(Trampoline this, FSharpFunc`2 action) 
at Microsoft.FSharp.Control.Trampoline.ExecuteAction(FSharpFunc`2 firstAction) 
at Microsoft.FSharp.Control.TrampolineHolder.Protect(FSharpFunc`2 firstAction) 
at Microsoft.FSharp.Control.AsyncBuilderImpl.startAsync(CancellationToken cancellationToken,  FSharpFunc`2 cont, FSharpFunc`2 econt, FSharpFunc`2 ccont, FSharpAsync`1 p) 
at Microsoft.FSharp.Control.CancellationTokenOps.starter@1121-1.Invoke(CancellationToken  cancellationToken, FSharpFunc`2 cont, FSharpFunc`2 econt, FSharpFunc`2 ccont, FSharpAsync`1 p) 
at Microsoft.FSharp.Control.CancellationTokenOps.RunSynchronously(CancellationToken token, FSharpAsync`1 computation, FSharpOption`1 timeout) 
at Microsoft.FSharp.Control.FSharpAsync.RunSynchronously(FSharpAsync`1 computation, FSharpOption`1 timeout, FSharpOption`1 cancellationToken) 
at Prioinfo.Urkund.DocCheck3.Core2.Tests.AsyncTests.Nested async is null with try-with() in SystemTests.fs: line 345 

我真的觉得异常应在这种情况下被抓，或者是这真的是预期的行为？ （我使用Visual Studio 2010 SP1备案）

此外，Async.Catch和Async.StartWithContinuations展品同样的问题，这表现在这些测试用例：

[<Test>] 
let ``Nested async is null with Async.Catch``() = 

    let g(): Async<unit> = Unchecked.defaultof<Async<unit>> 

    let f = async { 
       do! g() 
      } 

    f |> Async.Catch |> Async.RunSynchronously |> ignore 


[<Test>] 
let ``Nested async is null with StartWithContinuations``() = 

    let g(): Async<unit> = Unchecked.defaultof<Async<unit>> 

    let f = async { 
       do! g() 
      } 

    Async.StartWithContinuations(f 
           , fun _ ->() 
           , fun e -> printfn "%A" e 
           , fun _ ->()) 

看来唯一的例外是bind-内提出方法在工作流生成器中，我的猜测是结果是正常的错误处理代码被绕过。它看起来像是在执行异步工作流程时遇到的一个错误，因为我没有在文档或其他地方发现任何暗示这是预期行为的东西。

在大多数情况下，我很容易解决这个问题，至少对我来说这不是一个大问题，但这有点令人不安，因为这意味着您不能完全信任异步异常处理机制捕捉所有的例外。

编辑：

一番考虑我KVB同意后。空的asyncs不应该真正存在于普通代码中，只有当你做了你可能不应该做的事情时（例如使用Unchecked.defaultOf）或使用反射来产生值（在我的情况下，它是一个模拟的框架） 。因此它不是一个真正的bug，而更像是一个边缘案例。

Answer 1

我不认为这是一个错误。由于名称表示Unchecked.defaultof<_>未检查其生成的值是否有效，并且Async<unit>不支持null作为适当的值（例如，如果尝试使用let x : Async<unit> = null，请参阅消息）。 Async.Catch等旨在捕获在异步计算内抛出的异常，而不是由于潜入编译器背后造成的异常以及创建无效的异步计算。

Answer 2

我完全同意kvb - 当您使用Unchecked.defaultOf初始化一个值时，这意味着使用该值的行为可能是未定义的，所以这不能被视为错误。在实践中，你不必担心它，因为你永远不应该得到Async<'T>类型的值null。

要添加一些更多的细节，该异常不能被处理，因为翻译如下所示：

async.TryWith 
    (async.Bind (Unchecked.defaultof<_>, 
       fun v -> async { printfn "continued" }), 
    fun e -> printfn "%A" e) 

唯一的例外是从Bind方法之前抛出由Bind返回的工作流程开始（它在调用RunSynchronously之后发生，因为工作流程使用Delay进行封装，但发生在工作流程执行之外）。如果你要处理这种类型的异常（不正确地构建工作流所产生的），你可以写一个版本的TryWith运行的工作流程和处理异常的执行外抛出：

let TryWith(work, handler) = 
    Async.FromContinuations(fun (cont, econt, ccont) -> 
    try 
     async { let! res = work in cont res } 
     |> Async.StartImmediate 
    with e -> 
     async { let! res = handler e in cont res } 
     |> Async.StartImmediate) 

然后你就可以处理诸如异常这样的：

let g(): Async<unit> = Unchecked.defaultof<Async<unit>> 
let f = 
    TryWith 
     ((async { do! g() }), 
     (fun e -> async { printfn "error %A" e })) 
f |> Async.RunSynchronously