Swift中async let错误抛出依赖任务await顺序是否符合预期

你观察到的现象完全是Swift并发的官方设计行为，不存在测试方法错误，认知偏差来自对元组形式try await等待逻辑的默认假设不符合实际实现规则。

核心运行规则 #

当使用try await (task1, task2, ...)元组语法等待多个async let创建的并行子任务时，Swift运行时严格遵循以下逻辑：

• 按照元组内从左到右的顺序，依次阻塞等待对应位置的子任务完成（无论成功返回还是抛出错误）
• 等待到某一位置的子任务抛出错误时，会立刻向所有其他尚未完成的async let子任务传递取消信号，随后将该错误向外抛出
• 整个等待逻辑完全不感知子任务的实际完成/报错先后顺序，行为完全由开发者书写的await元组顺序决定

对你三个测试场景的解释 #

所有测试输出都完全匹配上述规则：

• 场景1：await顺序为(animals, people)，animals任务1秒后报错，此时people任务还在等待中，运行时立刻取消people任务，总耗时约1秒，抛出animal错误，符合预期
• 场景2：await顺序为(animals, people)，虽然people任务1秒就会报错，但运行时首先阻塞等待排在第一位的animals任务，people抛出的错误会暂存在子任务上下文中不会触发取消逻辑，直到2秒后animals任务报错，才会向外抛出错误，因此总耗时约2秒，抛出animal错误
• 场景3：await顺序调整为(people, animals)，运行时首先等待people任务，1秒后people报错，立刻取消还在运行的animals任务，总耗时约1秒，抛出person错误，符合预期

设计逻辑说明 #

该行为是Swift并发刻意选择的确定性语义：

• 避免"谁先报错就抛谁"带来的非确定性——如果采用按实际完成顺序抛错的逻辑，同一段代码可能因为系统调度波动、资源占用变化，每次运行抛出的错误、总耗时都不一致，上层业务无法做稳定的错误分支处理
• 将控制权完全交给开发者：你可以根据业务优先级，通过调整await元组内的顺序，决定优先等待哪个任务、优先处理哪个任务的错误，不需要修改任务创建逻辑

实现"先报错就立刻终止"效果的方案 #

如果你需要"任意子任务先报错就立刻取消所有其他任务、抛出最早返回的错误"的行为，不要直接使用元组形式的try await，可以通过withThrowingTaskGroup实现，示例代码如下：

let start = Date()
do {
    try await withThrowingTaskGroup(of: Void.self) { group in
        // 提交所有并行任务
        group.addTask {
            try await self.requester.getAnimals(waitingFor: 2, throwError: true)
        }
        group.addTask {
            try await self.requester.getPeople(waitingFor: 1, throwError: true)
        }
        // 等待第一个返回的结果
        guard let firstResult = await group.nextResult() else { return }
        // 第一个结果为错误时，取消所有剩余任务并抛出错误
        if case .failure(let error) = firstResult {
            group.cancelAll()
            throw error
        }
        // 可选：等待剩余所有任务成功完成
        for try await _ in group {}
        print("No error")
    }
} catch {
    print("error: ", error)
}
print(Date().timeIntervalSince(start))

上述代码在你之前的场景2参数下，会在1秒时捕获到people任务抛出的错误，立刻取消animals任务，总耗时约1秒。

内容的提问来源于stack exchange，提问作者Nuno Gonçalves