内容提要
Swift 的并发模型引入了关键字，如 Sendable、@unchecked Sendable、@Sendable、sending 和 nonsending，帮助开发者理解跨隔离域传递的安全性，确保数据竞争问题得到有效管理。通过 actor 和 @MainActor 实现的隔离域概念，确保同一时刻只有一个任务访问受保护状态。理解这些关键字对编写安全的并发代码至关重要。
关键要点
-
Swift 的并发模型引入了关键字，如 Sendable、@unchecked Sendable、@Sendable、sending 和 nonsending。
-
隔离域概念确保同一时刻只有一个任务访问受保护状态，避免数据竞争问题。
-
Sendable 是一个编译时契约，声明某个类型可以安全地跨隔离域传递。
-
编译器会自动推断符合 Sendable 特性的类型，但在 Swift 6 中某些场景不再支持自动推断。
-
@unchecked Sendable 允许开发者绕过编译器的安全检查，需谨慎使用。
-
@Sendable 用于闭包，确保闭包可以安全地跨隔离域传递。
-
sending 参数修饰符允许转移所有权，适用于迁移非 Sendable 的遗留代码。
-
nonsending 与 nonisolated 配合使用，表示异步方法应继承调用者的隔离域。
-
理解这些关键字对编写安全的并发代码至关重要，帮助快速定位和解决问题。
延伸问答
Swift 的 Sendable 是什么？
Sendable 是一个编译时契约，声明某个类型可以安全地跨隔离域传递，编译器会验证其安全性。
如何使用 @unchecked Sendable？
@unchecked Sendable 允许开发者绕过编译器的安全检查，适用于已经通过其他机制确保线程安全的类型。
Swift 6 中的 sending 参数修饰符有什么作用？
sending 参数修饰符允许转移所有权，适用于迁移非 Sendable 的遗留代码，确保在转移后不再使用已转移的值。
nonsending 和 nonisolated 有什么关系？
nonsending 与 nonisolated 配合使用，表示异步方法应继承调用者的隔离域，而不是脱离当前隔离域运行。
Swift 并发模型中的隔离域概念是什么？
隔离域是一个管理串行队列的概念，确保同一时刻只有一个任务访问受保护状态，从而避免数据竞争问题。
Swift 6 中对 Sendable 的自动推断有什么变化？
在 Swift 6 中，某些之前可以自动推断为 Sendable 的场景不再被支持，建议开发者显式添加 Sendable 标注。
