如何创建元素均具有相同关联类型的协议数组？

我完全懂你遇到的这个痛点——带关联类型的协议在处理数组这类集合时，确实容易因为类型不明确被编译器卡壳。咱们先拆解问题，再一步步解决。

首先，你最初的错误核心在于：any Updater是一个存在类型，编译器没法保证数组里所有元素的关联类型T是同一个，所以调用update时自然会报错，毕竟它不知道该传什么类型的thing进去。

你尝试用泛型类来约束类型的思路是对的，但typealias的写法不符合Swift的语法规范。咱们换个正确的方式来实现：

方案一：直接用泛型类 + 明确关联类型的协议存在类型 #

你可以给SomeGeneralUIComponent加上泛型参数T，然后直接把数组类型声明为[any Updater<T>]——这样就明确告诉编译器：这个数组里的所有Updater实例，它们的关联类型都是T。

protocol Updater {
    associatedtype T
    func update(thing: T)
}

class SomeGeneralUIComponent<T> {
    let updaters: [any Updater<T>]
    
    init(updaters: [any Updater<T>]) {
        self.updaters = updaters
    }
}

用法示例 #

比如你有一个处理String类型的具体Updater实现：

struct StringUpdater: Updater {
    func update(thing: String) {
        print("更新字符串：\(thing)")
    }
}

// 创建UI组件实例，指定泛型类型为String
let uiComponent = SomeGeneralUIComponent<String>(updaters: [StringUpdater()])

// 现在调用update完全没问题，编译器知道所有updater都接受String类型
uiComponent.updaters.forEach {
    $0.update(thing: "Hello World")
}

方案二：用类型擦除包装器（更灵活的场景） #

如果不想让整个SomeGeneralUIComponent绑定到特定泛型类型，或者需要隐藏具体的Updater实现细节，可以写一个类型擦除的包装器AnyUpdater<T>，把不同的具体Updater类型统一成同一个类型：

struct AnyUpdater<T>: Updater {
    private let _update: (T) -> Void
    
    // 初始化方法接收任意符合Updater协议且关联类型为T的实例
    init<U: Updater>(_ updater: U) where U.T == T {
        _update = updater.update
    }
    
    func update(thing: T) {
        _update(thing)
    }
}

// 此时UI组件的数组可以直接用AnyUpdater<T>
class SomeGeneralUIComponent<T> {
    let updaters: [AnyUpdater<T>]
    
    init(updaters: [any Updater<T>]) {
        self.updaters = updaters.map(AnyUpdater.init)
    }
}

这种方式的好处是，外部代码不需要知道具体的Updater实现类型，只需要关注T类型即可，适合封装性要求较高的场景。

为什么你之前的typealias写法会报错？ #

你写的typealias MyUpdater: Updater where Updater.T == T不符合Swift的语法逻辑：

• 不能在typealias中直接给协议加上关联类型的约束并关联类的泛型参数
• 正确的做法是直接在数组类型中明确Updater的关联类型，也就是any Updater<T>，这样编译器才能确定所有元素的类型一致性

总结一下：只要明确约束数组中所有Updater的关联类型为同一个具体类型（通过泛型参数或类型擦除），就能解决这个问题啦。

备注：内容来源于stack exchange，提问作者NewShelbyWoo