路徑依賴類型和泛型

Question

我正在看抽象成員的一個例子。 我們有以下路徑依賴類型的示例。

class Food

abstract class Animal {
  type SuitableFood <: Food

  def eat(food: SuitableFood): String
}

class DogFood extends Food

class Dog extends Animal {
  type SuitableFood = DogFood

  override def eat(food: DogFood): String = food.toString
}

val lassie = new Dog
lassie eat new lassie.SuitableFood

假設我們想以下列方式在課堂上吃飯

class D[T <: Animal] {
  def blah(t: T, p: T): String = {
    t.eat(t)
  }
}

我的type mismatch; expected t.SuitableFood, actual: T type mismatch; expected t.SuitableFood, actual: T 。 我看到我正在進入泛型和路徑依賴類型的水域。 我很感激任何幫助。

謝謝

Answer 1

我怎么說它的類型為SuitableFood？

def blah(t: T)(food: t.SuitableFood) = ...

請注意，它必須位於單獨的參數列表中以依賴於t 。

def blah(t: T, food: T#SuitableFood)不起作用的原因是因為它允許下面的代碼：

val lassie: Animal = new Dog
val cat: Animal = new Cat
val catFood: Animal#SuitableFood = new cat.SuitableFood
blah(lassie, catFood)