Swift - assoziierte Typen im Protokoll mit Where-Klausel?

Question

Beachten Sie Folgendes:

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

Aber dies nicht kompiliert, da wir nicht where Klausel in typealias so sagen kann.

ich hier etwas fehlt muss, da diese leicht mit type parameterization wie dies getan werden kann:

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

Was ist die where Klausel Äquivalent für associated type?

Answer 1

Die Typparametrisierung zugehöriger Typen in Protokollen wird derzeit in Swift (2.1) nicht unterstützt.

Obwohl Sie in diesem Fall nicht einmal die Where-Klausel für die Funktionalität benötigen. Es ist mehr die Bequemlichkeit, die Sie bekommen, wo Sie dies tun können:

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

// Instead of this: 

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