Swift 中 Sendable 协议的作用是什么？

推荐答案

Sendable 协议是 Swift 5.5 引入的一个协议，用于标记可以在并发环境中安全传递的类型。它主要用于确保在并发代码中传递的数据是线程安全的，从而避免数据竞争和其他并发问题。

本题详细解读

1. Sendable 协议的作用

Sendable 协议的主要作用是标记那些可以在并发环境中安全传递的类型。这些类型包括值类型（如结构体和枚举）以及一些特定的引用类型（如不可变的类实例）。通过实现 Sendable 协议，开发者可以确保这些类型在多线程环境中是安全的，不会引发数据竞争。

2. Sendable 协议的实现

在 Swift 中，Sendable 协议是一个标记协议（marker protocol），它没有定义任何方法或属性。实现 Sendable 协议的类型需要满足以下条件：

• 对于值类型（如结构体和枚举），它们默认是 Sendable 的，因为它们的实例是独立的，不会共享状态。
• 对于引用类型（如类），只有不可变的类实例才能实现 Sendable 协议。这意味着类的属性必须是不可变的（即 let 声明的），并且这些属性的类型也必须是 Sendable 的。

3. Sendable 协议的使用场景

Sendable 协议通常用于并发编程中，特别是在使用 Swift 的 async/await 和 Task API 时。通过将数据标记为 Sendable，开发者可以确保这些数据在并发任务之间传递时是安全的，从而避免潜在的数据竞争问题。

4. 示例代码

// www.javascriptcn.com code example
struct User: Sendable {
    let name: String
    let age: Int
}

final class UserManager: @unchecked Sendable {
    private let queue = DispatchQueue(label: "com.example.userManager")
    private var users: [User] = []

    func addUser(_ user: User) {
        queue.async {
            self.users.append(user)
        }
    }
}

在这个示例中，User 结构体实现了 Sendable 协议，因为它是值类型且所有属性都是不可变的。UserManager 类通过使用 DispatchQueue 来确保线程安全，并使用 @unchecked Sendable 来标记它为 Sendable，尽管它是一个引用类型。

5. 注意事项

• 不是所有类型都可以安全地实现 Sendable 协议。特别是那些包含可变状态或非线程安全的引用类型，应该谨慎使用 Sendable。
• 在使用 Sendable 协议时，开发者需要确保类型的所有属性也是 Sendable 的，否则编译器会报错。