一、Sendable协议的核心语义与并发安全模型
Swift从5.5版本开始引入了全新的并发编程模型，其中Sendable协议扮演着至关重要的角色。它被用来标记那些可以安全地跨越并发域传递的类型，所谓并发域可以是不同的Task、actor或者全局隔离上下文。当一个类型的实例被传递到另一个并发域时，如果该类型符合Sendable协议，编译器就会信任这次传递不会引发数据竞争。这种信任建立在Sendable的语义之上：一个Sendable类型的值在传递后，其内部状态要么不可变，要么所有可变状态都通过同步机制进行了保护，确保同时只有一个执行路径能够访问。
Swift中的值类型比如结构体和枚举，如果它们的所有存储属性也都是Sendable类型，那么编译器会自动为该类型合成Sendable的满足条件，无需手动声明。引用类型则要求更严格：类必须被声明为final，并且所有存储属性都是不可变的（使用let声明），或者属性虽然是var但访问被锁保护，同时类本身需要显式声明遵循Sendable。开发者还可以使用@unchecked Sendable来绕过编译器的自动检查，但这意味着需要自己保证线程安全，存在一定风险。理解这些基础规则是后续进行协议组合的前提。
为什么Sendable如此重要？在传统的多线程编程中，数据竞争往往发生在共享可变状态被多个线程同时读写时，这类错误极难复现和调试。Swift的并发模型通过结构化并发和actor隔离来减少共享状态，而Sendable则是在类型系统层面提供了一道防线。当我们在函数签名中要求参数满足Sendable，就相当于告诉调用者：这个值可以放心地交给其他并发任务，不会出现意外共享。这种编译期检查极大地提升了并发代码的可维护性和安全性。
二、协议组合语法与&运算符的适用场景
Swift的协议组合是一种强大且轻量的类型约束方式。通过使用&运算符，可以将多个协议合并成一个复合协议约束，例如ProtocolA & ProtocolB。这个语法既可以应用于泛型约束，也可以用于函数参数类型、返回值类型以及存在类型声明。例如func process<T: Sendable & Equatable>(_ value: T)表示T必须同时满足Sendable和Equatable两个协议。在Swift 5.7及更高版本中，协议组合还支持使用any关键字创建存在类型，但这一特性需要谨慎使用。
在Sendable的上下文中，协议组合的价值在于允许开发者同时表达“值可以在并发域间安全传递”和“值具备某种行为或能力”这两重约束。一个典型的场景是：我们需要一个类型既能作为字典的键，又能安全地跨Task传递。单独的Hashable只保证可以哈希，单独的Sendable只保证并发安全，而Hashable & Sendable则同时满足两个条件。使用协议组合避免了为每一种组合场景创建新的协议继承体系，代码更加简洁直观。
下面是一个具体的示例，演示如何在泛型函数中组合Sendable和Equatable来查找数组中的重复元素。通过协议组合，编译器会在编译期检查传入的类型是否同时满足两个协议，如果传入一个类实例但没有遵循Sendable，代码将无法通过编译。
// 定义一个同时要求 Sendable 和 Equatable 的泛型函数
func findDuplicates<T: Sendable & Equatable>(_ items: [T]) -> [T] {
var result: [T] = []
for i in 0..<items.count {
for j in (i + 1)..<items.count {
if items[i] == items[j] {
result.append(items[i])
}
}
}
return result
}
// 使用结构体，自动满足 Sendable 和 Equatable
struct User: Sendable, Equatable {
let id: Int
let name: String
}
let users = [User(id: 1, name: "Alice"), User(id: 2, name: "Bob"), User(id: 1, name: "Alice")]
let duplicates = findDuplicates(users)
print(duplicates.count) // 输出 1
在上述代码中，泛型约束<T: Sendable & Equatable>明确告诉编译器T必须同时满足两个协议。如果尝试传入一个可变类实例（没有遵循Sendable），编译器会直接报错，从而在编码阶段就阻止了潜在的并发风险。
三、组合Sendable与其他协议时的类型检查与陷阱
虽然协议组合在泛型约束中非常灵活，但当它被用于存在类型（existential types）时，会遇到一些限制。特别是当组合协议中包含具有Self要求或关联类型的协议时，any Sendable & Equatable这样的写法无法通过编译。原因在于Equatable要求==运算符的两个操作数类型完全相同，而这种类型信息在存在类型中被擦除，编译器无法确定两个隐藏的具体类型是否一致。因此，下面的代码会导致编译错误。
// 错误示例：any Sendable & Equatable 无法编译 // let value: any Sendable & Equatable = 42 // error: protocol 'Equatable' can only be used as a generic constraint because it has Self or associated type requirements
正确的做法是将这类协议组合保留在泛型约束的上下文中，而不是作为变量或参数的类型存在。如果确实需要存储一个同时满足Sendable和Equatable的值，可以考虑使用类型擦除技术，例如定义一个包装结构体，内部存储具体类型的实例并实现==运算符。这会增加一些样板代码，但能够保持类型安全。另外，对于Hashable、Codable等同样具有Self要求的协议，也存在类似的限制。
另一个需要注意的陷阱是@unchecked Sendable的使用。当开发者把一个类声明为@unchecked Sendable时，编译器不会检查该类内部的存储属性是否安全，也不会检查泛型参数是否Sendable。如果这个类之后与其他协议进行组合，例如@unchecked Sendable & Equatable，编译器同样会跳过Sendable的检查，这可能会掩盖真正的并发问题。因此，除非有充分的理由（比如使用锁或队列保护了所有可变状态），否则不要轻易使用@unchecked Sendable。
此外，协议组合中如果包含类协议（如AnyObject）和值语义协议，行为会变得复杂。例如AnyObject & Sendable表示一个引用类型且满足Sendable，但具体是哪个类并不确定。在实际使用中，一定要清楚协议组合的语义是“所有约束条件的交集”，而不是“可以从这些协议中自由选择”。
四、实际项目中的协议组合最佳实践
在真实项目中，协议组合最常见的应用场景之一就是并发安全的数据结构设计。以一个actor内部的缓存为例，我们通常希望缓存键既能用于字典查找（需要Hashable），又能安全地从外部Task传入actor（需要Sendable）。使用协议组合可以一次性表达这两个需求，避免定义多余的协议。
import Foundation
actor ConcurrentCache<Key: Hashable & Sendable, Value: Sendable> {
private var storage: [Key: Value] = [:]
func get(_ key: Key) -> Value? {
return storage[key]
}
func set(_ value: Value, for key: Key) {
storage[key] = value
}
func clear() {
storage.removeAll()
}
}
在这个例子中，Key被约束为Hashable & Sendable，Value被约束为Sendable。这意味着任何作为键或值的类型都必须能够安全地跨并发域传递。对于键来说，还需要支持哈希，因为字典的键必须满足Hashable。这个简单的设计让ConcurrentCache可以放心地在多个Task之间共享，无需额外的锁机制，因为actor自身的隔离保证了内部状态的同步访问。
下面展示如何在Task中使用这个缓存。由于String和Int都是标准库中自动满足Sendable和Hashable的类型，因此可以直接用于实例化。如果尝试将自定义的可变引用类型用作键或值，编译器会强制要求该类型满足相应的Sendable约束，否则无法生成缓存实例。
let cache = ConcurrentCache<String, Int>()
Task {
await cache.set(10, for: "answer")
if let value = await cache.get("answer") {
print("从缓存中读取到: (value)")
} else {
print("缓存中没有该键")
}
}
协议组合在并发代码中的另一个优势是能够提升函数的可复用性。假设我们编写一个工具函数，它需要接收一个集合，集合的元素既要能够比较相等性（用于去重），又要能够在多个Task之间传递。如果我们将参数类型写成some Collection where Element: Sendable & Equatable，那么这个函数可以同时处理数组、集合等不同类型的容器，并且所有约束都在编译期得到了验证。这种方式比使用Any或强制类型转换更加安全，也比单独创建新协议更加简洁。
最后需要强调的是，协议组合并非银弹。随着组合的协议数量增多，类型约束会变得更加严格，这可能导致某些合法类型被排除在外。设计时需要权衡：如果某个类型在大多数情况下同时满足多个协议，使用组合是合适的；但如果经常出现部分满足的情况，可能需要拆分约束或者使用更灵活的设计，比如关联类型配合协议继承。在Swift并发编程中，合理运用Sendable的协议组合，能够显著减少数据竞争的风险，同时保持代码清晰且易于维护。
Swift_Sendable协议组合类型安全修改时间：2026-08-13 05:26:41