Swift - 與where子句的協議中的關聯類型？

Question

考慮以下：

protocol SomeProtocol {
  typealias F: Foo
  typealias FB: FooBar where FB.Foo == F
}

但是這不能編譯，因為我們不能把where子句放在typealias中。

我必須在這里遺漏一些東西，因為這可以通過type parameterization輕松完成，如下所示：

struct SomeStruct<F: Foo, FB: FooBar where FB.Foo == F> {}

什么是associated type的where子句等效 ？

Answer 1

Swift（2.1）目前不支持協議中關聯類型的類型參數化。

雖然在這種情況下你甚至不需要where子句來實現功能。 您可以通過以下方式獲得更多便利：

func someFunc<T: SomeProtocol>(someProt: T, foo: T.F) {
    ...
}

// Instead of this:

func someFunc<T: SomeProtocol>(someProt: T, foo: T.FB.Foo) {
    ...
}