Swift中Task捕获变量：为何async函数告警而task修饰符无告警？

1. SwiftUI .task的特殊上下文待遇 #

SwiftUI的.task修饰符并非普通的异步任务发起方式：它的闭包与View生命周期强绑定，由SwiftUI框架全权调度。当body这个同步计算属性执行时，局部变量num在同步环境中创建，.task闭包捕获的是该变量的值副本（值类型场景下），且SwiftUI框架会隐式处理变量生命周期的延长。更关键的是，.task闭包默认在与UI相关的串行调度环境中执行，不存在多并发执行体同时访问变量的情况，因此编译器判定该场景安全，不会触发告警。

2. 普通async函数的通用并发检查逻辑 #

在普通async函数printScore中，局部变量score处于通用异步上下文。你创建的两个独立Task可能被调度到不同的并发线程上，一旦涉及变量的读写操作，就存在数据竞争风险。Swift的严格并发检查会精准识别这类场景——无论变量是值类型还是引用类型，只要存在多Task并发访问的可能，就会抛出告警，因为通用异步环境没有内置的调度约束。

3. 严格并发检查的框架豁免机制 #

即便将Strict Concurrency Checking设置为Complete，SwiftUI的核心框架API（包括.task）仍属于编译器的信任列表。这些API的闭包逻辑已被Apple验证不会引入并发风险，因此编译器会跳过对它们的通用并发检查，自然不会出现告警。

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