为什么嵌套任务在父任务被取消时没有被取消？

Question

我需要取消所有嵌套任务 我尝试取消它们的父级但没有任何反应所有嵌套任务继续运行。

private var observationTask: Task<Void, Never>?
...
observationTask = Task {
    Task {
        for await users in list.$users.values {
            updateTableView(withUsers: users)
        }
    }
    Task {
        for await users in list.$users.values {
            updateTableView(withUsers: users)
        }
    }
}
....
observationTask.cancel()

}

Answer 1

您问：

为什么嵌套任务在父任务被取消时没有被取消？

因为您正在使用Task ，它用于非结构化并发。 正如文档所说，它不是子任务，而是新的“顶级任务”。

如果您想享受结构化并发的好处（例如，自动传播取消），请使用任务组而不是Task {... } 。 例如：

let observationTask = Task {
    await withTaskGroup(of: Void.self) { group in
        group.addTask {
            ...
        }
        group.addTask {
            ...
        }
    }
}

有关详细信息，请参阅Swift 中的 WWDC 2021 视频探索结构化并发。 或参阅Swift 编程语言：并发中关于结构化与非结构化并发的讨论。

---

请注意，上面假设这些子任务（也可能是updateTableView ）是可取消的。 我们在任何地方都看不到try的事实表明它没有实现取消支持（您可以在其中执行Task.checkCancellation或测试Task.isCancelled并在取消时手动处理退出循环）。

---

为了说明取消，请考虑：

import os.log

let log = OSLog(subsystem: "Test", category: .pointsOfInterest)

class Demonstration {
    private var observationTask: Task<Void, Error>?

    func start() {
        observationTask = Task {
            try await withThrowingTaskGroup(of: Void.self) { group in
                group.addTask { [self] in
                    for i in 0 ..< 4 {
                        try await process(i)
                    }
                }
                group.addTask { [self] in
                    for i in 200 ..< 204 {
                        try await process(i)
                    }
                }
                try await group.waitForAll()
            }
        }
    }

    func stop() {
        os_signpost(.event, log: log, name: #function)

        observationTask?.cancel()
    }

    func process(_ value: Int) async throws {
        let id = OSSignpostID(log: log)
        os_signpost(.begin, log: log, name: #function, signpostID: id, "%d", value)
        defer { os_signpost(.end, log: log, name: #function, signpostID: id) }

        try await Task.sleep(nanoseconds: 3 * NSEC_PER_SEC)   // simulate something slow and asynchronous
    }
}

如果我不cancel observationTask并在 Instruments 的“兴趣点”工具中对其进行分析，我会看到：

但如果我cancel它（在 Ⓢ 路标处），我会看到以下内容：

之所以有效，是因为：

• 我们使用withThrowingTaskGroup的结构化并发； 和
• 子任务是可以取消的。