Swift TaskGroup显式指定Actor隔离时的并发错误疑问

错误现象 #

Swift 6编译时会抛出如下错误：

Sending value of non-Sendable type '() async throws -> ()' risks causing data races

该错误出现在任务组的addTask函数中显式为闭包指定Actor隔离上下文的场景，示例代码如下：

func test() async throws {
    try await withThrowingTaskGroup { group in
        group.addTask { @MainActor in                    // <== 错误位置
            try await Task.sleep(nanoseconds: 1_000_000)
        }
        try await group.waitForAll()
    }
}

核心疑问 #

无法理解为什么这个闭包不具备Sendable特性，编译器为何将其判定为非Sendable类型？

补充信息与实际测试场景 #

addTask的方法签名如下：

mutating func addTask(
    priority: TaskPriority? = nil,
    operation: sending @escaping @isolated(any) () async throws -> ChildTaskResult
)

实际测试的场景中，同样触发该错误：
首先定义一个带@Sendable标记的函数（注解仅用于强调特性）：

@Sendable
func requiresIsolation(isolated: isolated any Actor = #isolation) async throws {}

调用代码：

func test() async throws {
    try await withThrowingTaskGroup { group in
        group.addTask { @SomeActor in
            try await requiresIsolation()
        }
        try await group.waitForAll()
    }
}

临时解决尝试 #

尝试给闭包显式添加@Sendable注解后，编译器不再报错，修改后的代码如下：

func test() async throws {
    try await withThrowingTaskGroup { group in
        group.addTask { @Sendable @MainActor in   // <== 添加`@Sendable`
            try await requiresIsolation()
        }
        try await group.waitForAll()
    }
}

但不确定这种解决方式是否正确。

问题解析与结论 #

1. Sendable推导规则：在Swift 6中，当你为闭包显式指定@MainActor这类隔离上下文注解时，编译器不会自动推导该闭包符合Sendable协议。这是因为显式绑定隔离上下文的闭包，理论上可能捕获该隔离上下文中的非Sendable状态，编译器无法默认确认其安全性，因此不会自动赋予Sendable特性。

2. addTask的参数要求：addTask的operation参数带有sending修饰符，这要求传入的闭包必须符合Sendable——因为任务组需要将闭包跨actor安全传递并调度执行，Sendable是保证这种操作无数据竞争的核心约束。

3. 解决方式的正确性：显式添加@Sendable注解是正确的做法。只要你的闭包没有捕获任何非Sendable的变量/状态（比如示例中的闭包仅执行无捕获的异步操作），标注@Sendable就符合Swift的安全规则，编译器也会认可这种显式的安全声明。

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