将函数泛型参数约束到关联的类型

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