Swift 5.5并发代码捕获变量突变报错：为何移变量至函数外可编译？

问题场景 #

以下Swift代码编译时会触发报错：

import Foundation

func testAsync() async {

    var animal = "Dog"

    DispatchQueue.main.asyncAfter(deadline: .now() + 2) {
        animal = "Cat"
        print(animal)
    }

    print(animal)
}

Task {
    await testAsync()
}

报错信息 #

Mutation of captured var 'animal' in concurrently-executing code

但将animal变量移出testAsync函数上下文，修改为全局变量后，代码可正常编译：

import Foundation

var animal = "Dog"

func testAsync() async {
    
    DispatchQueue.main.asyncAfter(deadline: .now() + 2) {
        animal = "Cat"
        print(animal)
    }

    print(animal)
}

Task {
    await testAsync()
}

已知该错误是为了防范数据竞争，但为何移动变量位置就会被编译器视为“安全”？

原因解析 #

• 局部变量的风险检测：当animal是testAsync内的局部变量时，它属于Swift异步任务（Task）的上下文范围。而DispatchQueue.main.asyncAfter是GCD的异步任务，会捕获这个局部变量。由于Swift并发Task和GCD队列是两套独立的执行系统，局部变量可能被两个不同的执行流同时访问或修改，存在明确的数据竞争风险。Swift编译器会严格检测这种跨执行系统的变量捕获修改行为，直接抛出错误拦截风险。

• 全局变量的宽松处理：全局变量的写法能通过编译，并非因为它真的线程安全，而是Swift编译器对全局变量的并发安全检查规则更宽松——编译器不会主动拦截全局变量的数据竞争问题。实际上这种写法依然存在隐患：如果多个Task同时调用testAsync，全局变量animal依然会被多个执行流同时修改，引发数据竞争。

简单来说，第一种情况是编译器帮你拦住了明确的风险，第二种情况只是编译器没有强制检测，但代码本身的线程安全问题依然存在。

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