Wegabhängige Typen und Generika

Question

Ich schaue mir ein Beispiel aus Abstract Members an. Wir haben das folgende Beispiel für pfadabhängige Typen.

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 

sagen wir in einer Klasse in der folgenden Weise mit essen arbeiten wollen

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

ich type mismatch; expected t.SuitableFood, actual: T. Ich sehe, dass ich in das Wasser von Generika und wegabhängigen Typen eintrete. Ich würde mich über jede Hilfe freuen.

Dank

Answer 1

Wie sage ich es vom Typ SuitableFood ist?

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

Beachten Sie, dass es in einer separaten Parameterliste sein muss, auf t abzuhängen.

Der Grund def blah(t: T, food: T#SuitableFood) nicht der Fall funktioniert, weil es unter Code erlauben würde:

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