为何Async.StartChild不支持传入CancellationToken？

这确实是个很实际的痛点——F# Async模块里这两个API的设计定位差异经常让人摸不着头脑，我来拆解下背后的逻辑，再给你解决TCP任务取消后等待清理的具体方案。

先搞清楚两个API的设计初衷 #

• Async.Start：它的定位就是「启动后不用盯的后台任务」，也就是常说的“fire-and-forget”。所以它返回unit，不提供跟踪任务完成的途径。给它传CancellationToken是为了让你能主动终止任务，但任务什么时候完成、有没有做完清理，它不会告诉你。
• Async.StartChild：它是为嵌套异步工作流设计的——当你在一个大的async { ... }块里启动子任务时，子任务会自动继承父异步上下文的取消令牌。比如父任务被取消，子任务也会跟着触发取消，这样能保证整个异步流程的取消一致性，避免手动传令牌带来的混乱。

为什么Async.StartChild不支持传入自定义CancellationToken？ #

核心原因是它的设计场景是「依附父异步上下文」，而不是作为独立的任务启动器：

• 它默认会继承父async块的取消信号，不需要你手动传入。如果父任务的CancellationToken触发，子任务会自动响应。
• 单独提供超时参数是个特例：这是给子任务加的局部超时限制，和全局的取消上下文不冲突，属于更细粒度的控制，所以单独做了支持。

解决你的实际问题：启动TCP任务，能取消，还能等清理完成 #

既然你需要跟踪任务的完成状态（确保清理做完再退出），Async.Start显然不合适，这里有两个更靠谱的方案：

方案1：用Async.StartAsTask替代Async.Start #

Async.StartAsTask会把异步操作包装成.NET的Task对象，既支持传入CancellationToken，又能让你等待任务完成：

open System.Threading

// 假设你的TCP读取处理逻辑是这个异步函数
let readAndProcessTcpStreamAsync = async {
    use tcpClient = new System.Net.Sockets.TcpClient()
    // 连接、读取、处理命令的逻辑...
    // 监听取消信号，执行清理
    let! ct = Async.CancellationToken
    while not ct.IsCancellationRequested do
        // 读取流、处理命令
        ()
    // 取消后执行清理：刷新缓冲区、关闭连接等
    tcpClient.GetStream().Flush()
    tcpClient.Close()
}

// 创建取消令牌源
let cts = new CancellationTokenSource()

// 启动任务并得到Task对象
let tcpTask = Async.StartAsTask(readAndProcessTcpStreamAsync, cancellationToken = cts.Token)

// 触发取消
cts.Cancel()

// 等待任务完成（确保清理做完）
tcpTask.Wait() // 或者在异步上下文里用 do! tcpTask |> Async.AwaitTask

方案2：用Async.StartChild结合父异步流程管理取消 #

如果你更想利用Async.StartChild的上下文继承特性，可以把整个逻辑包在一个父异步块里，通过父级的取消令牌控制子任务，同时等待子任务完成：

open System.Threading

let runTcpTaskWithCancel (cts: CancellationTokenSource) = async {
    // 启动子任务，自动继承父异步上下文的取消令牌
    let! childTask = Async.StartChild(readAndProcessTcpStreamAsync)
    try
        // 等待子任务完成
        do! childTask
    with
    | :? OperationCanceledException ->
        // 这里可以额外处理取消后的逻辑，或者子任务内部已经完成清理
        printfn "TCP任务已取消，清理完成"
}

// 创建取消令牌源
let cts = new CancellationTokenSource()

// 启动父任务并得到Task对象
let overallTask = Async.StartAsTask(runTcpTaskWithCancel cts, cancellationToken = cts.Token)

// 触发取消
cts.Cancel()

// 等待整个任务完成
overallTask.Wait()

总结 #

• 如果你需要「火并遗忘」的后台任务，用Async.Start；
• 如果你在嵌套异步流里启动子任务，用Async.StartChild（它会自动继承父级取消上下文）；
• 如果你需要跟踪任务完成状态（比如等待清理），Async.StartAsTask是更合适的选择，它兼顾了取消支持和任务完成跟踪。

内容的提问来源于stack exchange，提问作者Vadym Chekan