Async/Await捕获可变对象的安全性：为何两种写法报错不同？

核心区别在于并发执行模式与编译器的检查规则 #

1. await fetchId(for: user)的安全逻辑 #

这行代码不会报错，关键原因有两个：

• 串行执行，无并发修改：await会暂停当前Task的执行，直到fetchId异步函数完全执行完毕。也就是说，在fetchId运行的5秒里，当前Task不会推进到后续代码，完全不存在“当前Task修改user”和“fetchId访问user”并发发生的场景。
• 值类型的拷贝语义：User是结构体（值类型），调用fetchId(for: user)时会立即创建user的副本传递给函数。即使后续有修改（你的示例里没有），也只会影响当前Task里的user变量，不会改变fetchId内部拿到的副本。

2. async let name = fetchName(for: user)的报错原因 #

async let的行为和await完全不同，触发报错的逻辑是：

• 并发执行的子任务：async let会立即启动一个独立的子任务去执行fetchName，而当前Task会继续往下执行后续代码（也就是你写的user = User(...)修改操作）。这就导致子任务的执行和当前Task对user的修改是并发进行的。
• 编译器的风险拦截规则：Swift编译器会拦截这种“在并发子任务中捕获可变变量，且当前Task后续修改该变量”的写法——不管user是值类型还是引用类型。因为如果user是引用类型（比如class），这种并发修改会直接引发线程安全问题，所以编译器一刀切地禁止这种潜在风险模式，哪怕值类型的拷贝语义不会实际引发问题。

补充验证 #

如果给await的场景加后续修改，依然不会报错：

var user = User(id: UUID(), name: "Taylor Swift", age: 26)
let _ = await fetchId(for: user)
user = User(id: UUID(), name: "Taylor", age: 27) // 无报错，因为是串行执行

因为修改操作是在fetchId完成后才执行的，不存在并发。

而如果把async let之后的修改去掉，也不会报错：

async let name = fetchName(for: user)
// 去掉 user = ... 的修改
await print("Found \(name) name.")

因为此时没有并发修改的风险，编译器允许这种写法。

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