肘子的Swift记事本 ·

Swift 6: Sendable、@unchecked Sendable、@Sendable、sending and nonsending

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

🔎

延伸解读

理解隔离域的重要性

Swift 的并发模型通过隔离域概念有效管理数据竞争问题。开发者需明确隔离域的边界，以确保在不同任务间安全传递数据。掌握这一概念不仅有助于编写安全代码，还能在调试时快速定位潜在问题。

谨慎使用 @unchecked Sendable

虽然 @unchecked Sendable 允许开发者绕过编译器的安全检查，但滥用可能导致严重的并发问题。开发者应确保在使用此关键字时，确实有其他机制保障线程安全，以免引入难以发现的错误。

sending 与 @Sendable 的区别

sending 参数修饰符与 @Sendable 的主要区别在于所有权管理。sending 允许转移所有权，适用于非 Sendable 的遗留代码，而 @Sendable 则专注于类型安全。理解二者的适用场景，有助于更好地设计并发代码。

❓

延伸问答

Swift 的 Sendable 是什么？

Sendable 是一个编译时契约，声明某个类型可以安全地跨隔离域传递，编译器会验证其安全性。

如何使用 @unchecked Sendable？

@unchecked Sendable 允许开发者绕过编译器的安全检查，适用于已经通过其他机制确保线程安全的类型。

Swift 6 中的 sending 参数修饰符有什么作用？

sending 参数修饰符允许转移所有权，适用于迁移非 Sendable 的遗留代码，确保在转移后不再使用已转移的值。

nonsending 和 nonisolated 有什么关系？

nonsending 与 nonisolated 配合使用，表示异步方法应继承调用者的隔离域，而不是脱离当前隔离域运行。

Swift 并发模型中的隔离域概念是什么？

隔离域是一个管理串行队列的概念，确保同一时刻只有一个任务访问受保护状态，从而避免数据竞争问题。

Swift 6 中对 Sendable 的自动推断有什么变化？

在 Swift 6 中，某些之前可以自动推断为 Sendable 的场景不再被支持，建议开发者显式添加 Sendable 标注。

🏷️