Swift Actor隔离上下文捕获变量突变编译错误咨询

问题代码 #

actor TestActor<Event> {
    private let _send: (isolated TestActor, Event) -> Void
    
    init(transform: @escaping @Sendable (Event) -> () async -> Void) {
        var a: [UUID: Task<Void, Never>] = [:]
        
        _send = { actor, event in
            actor.assertIsolated()
            let id = UUID()
            a[id] = Task {
                actor.assertIsolated()
                let f = transform(event)
                await f()
                actor.assertIsolated()
                a[id] = nil // <= 编译错误：Mutation of captured var 'a' in concurrently-executing code
            }
        }
    }

    func send(event: Event) {
        _send(self, event)
    }
}

问题核心 #

代码意图通过带isolated参数的闭包_send绑定Actor隔离上下文，让捕获的局部变量a在Actor环境内安全操作。但编译器仅允许闭包直接对a做修改，却禁止闭包内创建的Task修改a——即便运行时actor.assertIsolated()断言始终通过，静态分析阶段编译器无法确认Task会严格继承Actor的隔离上下文，因此判定存在并发访问风险。

解决方案 #

将局部变量a改为Actor的私有成员变量，让编译器明确管控其访问范围，确保所有操作都处于Actor隔离上下文内：

actor TestActor<Event> {
    private let _send: (isolated TestActor, Event) -> Void
    private var a: [UUID: Task<Void, Never>] = [:]

    init(transform: @escaping @Sendable (Event) -> () async -> Void) {
        _send = { actor, event in
            actor.assertIsolated()
            let id = UUID()
            actor.a[id] = Task {
                actor.assertIsolated()
                let f = transform(event)
                await f()
                actor.assertIsolated()
                actor.a[id] = nil
            }
        }
    }

    func send(event: Event) {
        _send(self, event)
    }
}

该版本在Swift 5.9中可正常编译，且能从语法层面保证a的操作无数据竞争。

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