將函數泛型參數約束到關聯的類型

Question

爲什麼在函數聲明行中出現以下錯誤：Inheritance from non-protocol, non-class type？

protocol Foo { 
    associatedtype AType 
} 

struct Container<F: Foo> { 

    let foo: F 

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

Answer 1

注意下面的編譯：

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完全不受約束，因此它很可能是，比如說，一個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) { } 
}