Swift结合ReactiveSwift map使用Equatable协议约束遇错求助

为什么会出现any SpecificProtocol？ #

Swift中，带有Self约束的协议（比如Equatable，它要求static func ==的参数是Self）无法直接作为具体类型使用。当你把[CommonProtocol]向下转型为[SpecificProtocol]时，Swift会自动将其处理为[any SpecificProtocol]——这是类型擦除后的存在类型，它代表“任意符合SpecificProtocol的实例”，但不再是具体的、单一的类型。

而Equatable协议的核心要求是：两个实例必须是同一具体类型才能比较。any SpecificProtocol作为类型擦除容器，运行时无法保证两个容器内的实例是同一类型，因此它本身无法遵循Equatable，这就是报错的原因。

而[ConreateItem]是具体类型的数组，ConreateItem明确遵循Equatable，所以能正常通过skipRepeats()的约束检查。

正确实现协议的Equatable约束并适配高阶函数 #

1. 修正协议的Equatable默认实现 #

你原来的协议扩展存在冗余：SpecificProtocol已经继承了Equatable，不需要再添加where Self: Equatable约束，直接扩展协议即可为所有遵循者提供默认实现：

protocol CommonProtocol {}

protocol SpecificProtocol: CommonProtocol, Equatable {}

// 直接扩展协议，为所有遵循者提供默认==实现
extension SpecificProtocol {
    static func == (lhs: Self, rhs: Self) -> Bool {
        return true // 根据实际需求修改逻辑
    }
}

class ConreateItem: SpecificProtocol {}

2. 适配ReactiveSwift的高阶函数需求 #

因为any SpecificProtocol无法遵循Equatable，我们可以通过类型擦除包装器将其转换为具体的、遵循Equatable的类型，从而满足skipRepeats()的要求：

步骤1：创建类型擦除的包装器

class AnySpecificProtocol: CommonProtocol, Equatable {
    private let base: any SpecificProtocol
    // 存储具体类型的相等比较逻辑
    private let equals: (AnySpecificProtocol) -> Bool
    
    // 初始化方法，接收具体的SpecificProtocol实例
    init<T: SpecificProtocol>(_ base: T) {
        self.base = base
        self.equals = { other in
            // 检查另一个包装器的实例是否和当前是同一类型，再调用==比较
            guard let otherBase = other.base as? T else {
                return false
            }
            return base == otherBase
        }
    }
    
    static func == (lhs: AnySpecificProtocol, rhs: AnySpecificProtocol) -> Bool {
        return lhs.equals(rhs)
    }
}

步骤2：在map中转换为包装器数组

修改你的ReactiveSwift链式调用，将[any SpecificProtocol]转换为[AnySpecificProtocol]：

var messages = MutableProperty<[CommonProtocol]?>(nil)

messages.producer
    .map { items in
        items?.compactMap { $0 as? any SpecificProtocol } // 过滤出符合SpecificProtocol的实例
            .map(AnySpecificProtocol.init) // 转换为类型擦除的包装器
    }
    .skipRepeats() // 现在能正常编译，因为[AnySpecificProtocol?]遵循Equatable

其他可选方案 #

• 如果你的业务场景中，messages只需要存储SpecificProtocol的实例，可以直接将MutableProperty的类型改为MutableProperty<[any SpecificProtocol]?>(nil)，然后使用上述包装器方案。
• 如果所有SpecificProtocol的遵循者都是值类型，也可以考虑使用enum来封装所有可能的类型，enum天然支持Equatable（只要关联类型都遵循）。

内容的提问来源于stack exchange，提问作者Riddik