Пути-зависимые типы и генерические средства

Question

Я рассматриваю пример от Abstract Members. У нас есть следующий пример зависимых от пути типов.

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. Я вижу, что я вхожу в воды дженериков и зависимых от пути типов. Буду признателен за любую помощь.

Благодаря

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)