当特殊类型受附加协议约束时，Swift 无法特殊化泛型参数

Question

想象以下场景：

class Food {}

protocol Growable {}

class Animal<T: Food> {}

let animal1 = Animal<Food>() // Ok
let animal2 = Animal<Food & Growable>() // Compile error: 'Animal' requires that 'Food & Growable' inherit from 'Food'

显然，如果我们有一个Food & Growable类型的变量，这个变量也是Food类型的。 然而， Animal类的通用参数T不能特化为Food & Growable类型。 这是为什么？

Answer 1

错误消息有点奇怪，但您尝试执行的操作无效。

您不能使用协议创建泛型。 创建泛型时，您必须使用具体类型。 不是协议。

Food & Growable不是一个具体的类型。

你需要一个子类：

class GrowableFood: Food, Growable {
   ...
}

let animal2 = Animal<GrowableFood>()

或者，如果Food is Growable ，您可以扩展Animal ：

extension Animal where T: Growable {
}