💡
原文中文，约5800字，阅读约需14分钟。
📝
内容提要
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 配合使用，表示异步方法应继承调用者的隔离域。
- 理解这些关键字对编写安全的并发代码至关重要，帮助快速定位和解决问题。
➡️
