関数汎用パラメータを関連タイプに制限します

Question

これはなぜ次の場合に失敗しますか？関数宣言行でInheritance from non-protocol, non-class type？しかし、の場合に

protocol Foo { 
    associatedtype A 
} 

struct Container<F: Foo> { 

    func f(a: F.A) { } 
} 

：

struct Container<F: Foo> { 

    func f<A : F.A>(a: A) { } // error: inheritance from non-protocol, non-class type 
} 

...タイプF.Aは完全に拘束されないので、それもあってもよい、

protocol Foo { 
    associatedtype AType 
} 

struct Container<F: Foo> { 

    let foo: F 

    func doWork<S: F.AType>(s: S) { } 
} 

Answer 1

注以下コンパイルされることたとえば、Intは、:構文を継承したり、それに準拠することはできません。あなたが本当に(a: F.A)よりもより一般的な解決策が必要な場合は

その後、これらの線に沿って何かがそれを行う可能性があります：

protocol Bar { } 

protocol Foo { 
    associatedtype A : Bar 
} 

struct Container<F: Foo> { 

    func f<A : Bar>(a: A) { } 
} 

あなたは今Barプロトコルを使用してaパラメータについての期待を表明することができます。

まだ、あなたはFooの延長としてメソッドを実装することができるかもしれないよりよい：

protocol Foo { 
    associatedtype A 

    func f(_: A) // if you want this to be a requirement 
} 

extension Foo /* where A is constrained so you can do something with it */ { 

    func f(a: A) { } 
}