假设我有这些协议:
protocol SomeProtocol {
}
protocol SomeOtherProtocol {
}
现在，如果我想要一个采用泛型类型的函数，但该类型必须符合SomeProtocol，我可以:
func someFunc<T: SomeProtocol>(arg: T) {
// do stuff
}
但是有没有办法为多个协议添加类型约束？
func bothFunc<T: SomeProtocol | SomeOtherProtocol>(arg: T) {
}
在类似的情况下，它会使用逗号.这是我试过的.
<T: SomeProtocol | SomeOtherProtocol>
<T: SomeProtocol , SomeOtherProtocol>
<T: SomeProtocol : SomeOtherProtocol>
您可以使用where clause，它允许您指定任意数量的要求(所有要求都必须满足)，并用逗号分隔
func someFunc<T where T:SomeProtocol, T:SomeOtherProtocol>(arg: T) {
// stuff
}
func someFunc<T: SomeProtocol & SomeOtherProtocol>(arg: T) {
// stuff
}
或者更强大的where子句:
func someFunc<T>(arg: T) where T:SomeProtocol, T:SomeOtherProtocol{
// stuff
}
当然，您可以使用协议组合(例如protocol<SomeProtocol, SomeOtherProtocol>)，但它的灵活性稍差.
使用where可以处理涉及多种类型的情况.
您可能仍然希望编写协议，以便在多个位置重用，或者只是给编写的协议起一个有意义的名称.
func someFunc(arg: SomeProtocol & SomeOtherProtocol) {
// stuff
}
这感觉更自然，因为协议就在争论的旁边.