Swift 中如何实现支持关联类型协议的复合泛型校验器？

问题原因 #

你的报错核心是 Swift 语法限制：带关联类型的协议无法直接作为具体类型使用，只能用作泛型约束，因此你代码中写的Validator<Value>、[Validator<Value>]都是不合法的写法。

实现方案 #

我们可以通过泛型约束加闭包包装的方式实现需求，不需要额外定义类型擦除结构体，完全符合你期望的调用方式：

struct CompoundValidator<Value> {
    // 存储包装后的校验逻辑闭包，规避关联类型协议不能直接当类型的限制
    private let validators: [(Value) -> Bool]
    
    // 初始化时用泛型约束，要求所有传入的校验器关联类型和当前复合校验器的Value一致
    init<V: Validator>(_ validators: V...) where V.Value == Value {
        self.validators = validators.map { validator in
            { value in validator.validate(value) }
        }
    }
    
    func validate(_ value: Value) -> Bool {
        // 所有校验规则都通过才返回true，任意一条不通过直接返回false
        validators.allSatisfy { $0(value) }
    }
}

使用示例 #

完全支持你期望的调用方式：

// 构造字符串类型的复合校验器，同时校验必填和邮箱格式
let compoundValidator = CompoundValidator<String>(EmailValidator(), RequiredValidator())

// 测试
print(compoundValidator.validate("")) // 输出false，必填校验不通过
print(compoundValidator.validate("test")) // 输出false，邮箱格式不合法
print(compoundValidator.validate("test@example.com")) // 输出true，所有校验通过

可选扩展 #

如果你后续需要把复合校验器也作为普通校验器嵌套使用，只需要让它遵守Validator协议即可，关联类型会自动推断不需要额外声明：

extension CompoundValidator: Validator {}

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