Swift 4:实现以协议作为关联类型的通用协议

Question

我在 Swift 3.1 到 Swift 4 代码库迁移过程中遇到了问题。

当您尝试实现一个泛型协议方法时，就会出现问题，该方法采用带有泛型参数的闭包，并将协议作为关联类型。这比听起来容易:)

以下代码在 Swift 3.1 中运行良好：

protocol FooType {
    associatedtype BarType
    func foo(bar: BarType)
    func foo(action: (BarType) -> Void)
}
protocol Bar {}
class Foo: FooType {
    typealias BarType = Bar
    // Compiles in both 3.1 and 4
    func foo(bar: Bar) {
    }
    // ERROR: Candidate has non-matching type (Bar) -> Void
    func foo(action: (Bar) -> Void) {     
    }
}

但是，在 Swift 4 编译器中，我遇到了一个关于类Foo不符合协议FooType的错误foo(action:)缺少方法实现。

顺便说一下，Xcode 9"fix-it"生成了与我相同的实现。

如果我使用 BarType 作为参数类型，代码会编译，但丢失具体的类型信息并不好。

Answer 1

事实证明，删除该行

typealias BarType = Bar

解决了问题。这是公平的 - 类型推断可以完成它的工作。

尽管如此，它应该是一个法律代码，似乎是编译器中的一个错误。

据此报告。

Answer 2

我们应该使用 typealias 泛型变量将类型提供给关联的协议类型。我会在函数中使用类型别名通用变量名称。这更有意义和合法，但我仍然不知道为什么编译器不知道闭包中的 typealias 参数。

class Foo: FooType {
    typealias BarType = Bar

    func foo(bar: BarType) {
     /*Code*/
    }

    func foo(action: (BarType) -> Void) {
      /*Code*/
    }
}