F#：在异步返回之前 SwitchToThreadPool 的目的

Question

在Async.SwitchToNewThread 的 MS 文档中，给出的示例之一是：

let asyncMethod f = 
    async {  
        do! Async.SwitchToNewThread() 
        let result = f() 
        do! Async.SwitchToThreadPool() 
        return result
    } 

在 return 语句之前立即切换到线程池的目的是什么？我理解为什么当异步块有更多工作要做时，您可能希望从专用线程切换到线程池，但这里不是这种情况。

这不是主要问题的一部分，但我也很想知道为什么 SwitchToNewThread 和 SwitchToThreadPool 返回异步。有没有你不想立即“做！”的用例？这些任务？谢谢

Answer 1

这个例子可能更清楚，因为它没有展示任何真实的场景。

但是，在return 之前切换到另一个线程是有充分理由的。原因是调用您的函数的工作流（例如asyncMethod）将在您返回之前切换到的上下文/线程中继续运行。例如，如果你写：

Async.Start (async {
  // Starts running on some thread (depends on how it is started - 'Async.Start' uses
  // thread pool and 'Async.StartImmediate' uses the current thread
  do! asyncMethod (fun () -> 
      Thread.Sleep(1000) ) // Blocks a newly created thread for 1 sec
  // Continues running on the thread pool thread 
  Thread.Sleep(1000) }) // Blocks thread pool thread

我认为示例中使用的模式不太正确 - 异步工作流应该总是返回到它们开始的SynchronizationContext（例如，如果工作流在 GUI 线程上启动，它可以切换到新的线程，但随后应返回 GUI 线程）。如果我正在编写 asyncMethod 函数，我会使用：

let asyncMethod f = async {  
    let original = System.Threading.SynchronizationContext.Current
    do! Async.SwitchToNewThread() 
    let result = f() 
    do! Async.SwitchToContext(original)
    return result } 

回答您的第二个问题 - SwitchTo 操作返回 Async<unit> 并需要使用 do! 调用的原因是无法直接切换到不同的线程。当您使用do! 或let! 时，您将工作流的其余部分作为函数（可以在新线程上执行）获得的唯一一点是Async<T> 类型本质上只是一些获取函数的对象（工作流的其余部分）并且可以在任何地方执行它，但没有其他方法可以“破坏”工作流。