İşlev türüne ilişkili genel parametre

Question

Neden işlev bildirim satırında Inheritance from non-protocol, non-class type aşağıdakilerle başarısız olur?

protocol Foo { 
    associatedtype AType 
} 

struct Container<F: Foo> { 

    let foo: F 

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

Answer 1

Not olduğunu aşağıdaki derler: Ancak

protocol Foo { 
    associatedtype A 
} 

struct Container<F: Foo> { 

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

, söz konusu:

struct Container<F: Foo> { 

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

... iyi olabilir, böylece tip F.A tamamen kısıtsız olduğunusözdizimini kullanamayacağınız veya bunlarla uyumlu olamayacağınız bir Int. Eğer gerçekten (a: F.A) daha genel bir çözüm gerekiyorsa

sonra bu satırlar boyunca bir şey bunu yapabilir:

protocol Bar { } 

protocol Foo { 
    associatedtype A : Bar 
} 

struct Container<F: Foo> { 

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

Artık Bar protokolü kullanılarak a parametresi hakkında herhangi bir beklentileri ifade edebilir.

Daha da iyisi, sen Foo bir uzantısı olarak yöntemini uygulamak mümkün olabilir: Benim kullanım durumunda

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) { } 
}