作为学习的练习，我将在Swift中重写我的验证库。

我有一个ValidationRule协议定义了各个规则的外观：

protocol ValidationRule {
    typealias InputType
    func validateInput(input: InputType) -> Bool
    //...
}

关联的类型InputType定义要验证的输入的类型（例如，字符串）。它可以是显式的或通用的。

这是两个规则：

struct ValidationRuleLength: ValidationRule {
    typealias InputType = String
    //...
}

struct ValidationRuleCondition<T>: ValidationRule {   
    typealias InputType = T
    // ...
}

在其他地方，我有一个函数，用于验证带有ValidationRules 集合的输入：

static func validate<R: ValidationRule>(input i: R.InputType, rules rs: [R]) -> ValidationResult {
    let errors = rs.filter { !$0.validateInput(i) }.map { $0.failureMessage }
    return errors.isEmpty ? .Valid : .Invalid(errors)
}

我以为这行得通，但是编译器不同意。

在下面的例子中，即使输入是一个字符串，rule1的InputType是一个字符串，并且rule2Ş InputType是一个String
…

func testThatItCanEvaluateMultipleRules() {

    let rule1 = ValidationRuleCondition<String>(failureMessage: "message1") { $0.characters.count > 0 }
    let rule2 = ValidationRuleLength(min: 1, failureMessage: "message2")

    let invalid = Validator.validate(input: "", rules: [rule1, rule2])
    XCTAssertEqual(invalid, .Invalid(["message1", "message2"]))

}

…我收到了非常有用的错误消息：

_无法转换为ValidationRuleLength

哪个是神秘的，但建议类型应该完全相等？

所以我的问题是…如何将所有都符合协议且具有关联类型的不同类型附加到集合中？

不确定如何实现我正在尝试的目标，或者甚至有可能实现？

编辑

这是没有上下文的：

protocol Foo {
    typealias FooType
    func doSomething(thing: FooType)
}

class Bar<T>: Foo {
    typealias FooType = T
    func doSomething(thing: T) {
        print(thing)
    }
}

class Baz: Foo {
    typealias FooType = String
    func doSomething(thing: String) {
        print(thing)
    }
}

func doSomethingWithFoos<F: Foo>(thing: [F]) {
    print(thing)
}

let bar = Bar<String>()
let baz = Baz()
let foos: [Foo] = [bar, baz]

doSomethingWithFoos(foos)

在这里我们得到：

协议Foo只能用作通用约束，因为它具有Self或关联的类型要求。

我明白那个。我需要说的是这样的：

doSomethingWithFoos<F: Foo where F.FooType == F.FooType>(thing: [F]) {

}