7-21.【高级特性】泛型函数、泛型 struct 与 associatedtype 的组合使用有哪些设计技巧？

在 Swift 的进阶设计中，泛型函数、泛型 Struct 与 associatedtype 的组合使用，实际上是在构建一套“编译期协议框架”。这种组合能让你写出既有强类型安全，又具备极高抽象能力的组件。

以下是几种核心的设计技巧与模式：

---

1. 策略模式 (Strategy Pattern) 的泛型化

利用泛型 Struct 作为容器，通过 associatedtype 定义策略接口。

设计技巧： 将“逻辑”从“数据结构”中分离。

Swift

// 定义协议，使用 associatedtype 确定输入/输出
protocol ValidationStrategy {
    associatedtype Input
    func validate(_ input: Input) -> Bool
}

// 泛型 Struct 作为容器，由泛型参数决定其校验逻辑
struct Validator<S: ValidationStrategy> {
    let strategy: S
    
    func check(_ item: S.Input) -> Bool {
        strategy.validate(item)
    }
}

• 优点：你可以为同一个 Validator 提供不同的实现（如 EmailStrategy 或 PasswordStrategy），而 Validator 本身的代码无需改动。

---

2. 依赖注入与类型擦除的平衡

当你在协议中使用 associatedtype 后，它就不能再作为普通的类型使用了（除非用 any）。此时，泛型函数是最好的桥梁。

设计技巧： 使用泛型函数来处理带有关联类型的协议，避免过早陷入 any 的性能损耗。

Swift

protocol Processor {
    associatedtype Payload
    func process(_ data: Payload)
}

// 技巧：不要写 func run(p: any Processor)
// 而是使用泛型约束，保留类型信息
func executeProcessor<P: Processor>(_ processor: P, with data: P.Payload) {
    processor.process(data)
}

---

3. 幻象类型 (Phantom Types) 的约束

幻象类型是指在 Struct 声明中出现了泛型参数，但在存储属性中并未使用它。它常与 where 子句配合，在编译期强制执行状态检查。

设计技巧： 利用泛型参数作为“状态标记”。

Swift

enum Unvalidated {}
enum Validated {}

struct UserForm<Status> {
    let username: String
    let email: String
}

// 只有状态为 Unvalidated 时才能调用的扩展
extension UserForm where Status == Unvalidated {
    func validate() -> UserForm<Validated> {
        return UserForm<Validated>(username: self.username, email: self.email)
    }
}

// 只有状态为 Validated 时才能调用的扩展
extension UserForm where Status == Validated {
    func submit() { /* 提交逻辑 */ }
}

---

4. 主要关联类型 (Primary Associated Types)

在 Swift 5.7+ 中，你可以像使用泛型一样约束协议。

设计技巧： 在协议名后的尖括号中声明主要的关联类型，使代码更具可读性。

Swift

protocol Repository<Element> { // Element 是 Primary Associated Type
    associatedtype Element
    func fetchAll() -> [Element]
}

// 泛型 Struct 组合
struct DataManager<E, R: Repository<E>> {
    let repo: R
    func load() -> [E] { repo.fetchAll() }
}

---

5. 组合技巧总结表

技术组合	解决的问题	核心优势
Struct + Phantom Type	状态流转安全	编译期 拦截非法操作（如未校验就提交）。
Protocol + associatedtype	定义抽象接口	允许实现者定义自己的具体数据模型。
Generic Function + where	深度约束	能够要求多个泛型参数之间的关联关系（如 A 的元素必须是 B）。
Protocol + Default Impl	减少样板代码	通过 extension 给带有特定的关联类型的协议提供默认行为。

---

避坑指南

• 不要过度设计：如果简单的闭包能解决，就不要用 associatedtype + Generic Struct。
• 优先使用 some：在返回泛型组合结果时，优先考虑 some 以保持静态分发的性能。