Swift带关联类型协议：仅当关联类型符合Equatable时添加方法

问题分析 #

你尝试的两种写法存在以下问题：

• 第一种写法：Swift不支持给协议内的单个方法添加关联类型的where约束，只能给整个协议扩展或协议继承添加此类约束。
• 第二种写法：协议扩展中仅声明方法而不提供实现是不允许的，编译器要求扩展内的方法必须有具体实现。

方案一：协议扩展提供默认实现（自动获得，可重写） #

当关联类型ThingType遵循Equatable时，通过协议扩展给所有遵循ListOfThings的类型自动添加remove(_:)方法，同时允许类型按需重写该方法。

public protocol ListOfThings {
    associatedtype ThingType
    func append(_ thing: ThingType)
}

extension ListOfThings where ThingType: Equatable {
    // 默认实现，遵循者可根据需求重写
    func remove(_ thing: ThingType) {
        // 示例：针对数组存储结构的默认移除逻辑
        if var mutableItems = self as? [ThingType] {
            mutableItems.removeAll(where: { $0 == thing })
            // 自定义类型需根据自身存储结构调整实现
        }
    }
}

方案二：拆分协议强制实现（显式遵循子协议） #

如果需要确保ThingType遵循Equatable的类型必须实现remove(_:)方法，可以拆分出一个带条件约束的子协议，要求符合条件的类型显式遵循该子协议，从而强制实现方法。

public protocol ListOfThings {
    associatedtype ThingType
    func append(_ thing: ThingType)
}

// 子协议，仅当ThingType遵循Equatable时可被遵循
public protocol EquatableList: ListOfThings where ThingType: Equatable {
    func remove(_ thing: ThingType)
}

// 示例：自定义类型遵循子协议并实现方法
struct MyCustomList<T>: EquatableList {
    private var storage: [T] = []
    
    func append(_ thing: T) {
        storage.append(thing)
    }
    
    func remove(_ thing: T) {
        storage.removeAll(where: { $0 == thing })
    }
}

适用场景 #

• 方案一适合不需要强制实现，仅需提供默认行为的场景，类型可直接使用默认方法或自定义重写。
• 方案二适合需要严格约束符合条件的类型必须实现方法的场景，通过显式遵循子协议来保证约束生效。

内容的提问来源于stack exchange，提问作者AirXygène