where節でのプロトコルのSwift関連型？

Question

は、次のことを考えてみましょう：

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

しかし、我々はそのようなtypealiasでwhere句を置くことができないので、これはコンパイルされません。

これは簡単にこのような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) { 
    ... 
}