如何檢查泛型參數關聯類型？

Question

為了闡明我的要求，請考慮以下示例：

protocol Food {}
protocol Meat: Food {}

protocol Animal {
    associatedtype Food
    func eat(food: Food)
}

protocol Funny {}

struct Cat: Animal {
    func eat(food: Meat) {
        print("Mewo!")
    }
}

我想做的是將具有特定條件的其他動物與Cat進行比較； 比方說，我們要聲明一個貓比較函數： 有趣的 動物 （比較T了約束：它必須符合拖協議），該方法簽名將被宣布為-in Cat構築物：

func compareWithFunnyAnimal<T: Animal & Funny>(animal: T) {}

效果很好，但是如果我想將貓與必須Meat的動物（基於T關聯類型，即Food ）進行比較該怎么辦？ 我嘗試在Cat結構中執行以下操作：

// animal must eat Meat
func compareWithAnimal<T: Animal & T.Food == Meat>(animal: T) {}

但是-顯然-它沒有用。

關於泛型參數關聯類型，我該如何進行比較？ 有一種解決方法需要添加多個通用參數嗎？

Answer 1

您應該使用泛型where子句檢查T.Food是否為Meat類型。

func compareWithAnimal<T: Animal>(animal: T) where T.Food == Meat {


}

閱讀有關Generic where子句的更多信息