抽象類型涉及Scala時沒有動態綁定？

Question

當我試圖在斯卡拉在馬丁·奧德斯基的編程抽象類型的動物/食品例，

class Food 
abstract class Animal { 
    type SuitableFood <: Food 
    def eat(food:SuitableFood) 
} 
class Grass extends Food 
class Cow extends Animal { 
    type SuitableFood=Grass 
    override def eat(food:SuitableFood) {} 
} 
val bessy:Animal = new Cow 
bessy.eat(new Grass) 

我得到了以下錯誤：

scala> <console>:13: error: type mismatch; 
found : Grass 
required: bessy.SuitableFood 
        bessy.eat(new Grass) 
          ^

原例如通過馬丁bessy.eat(new Fish) ，這肯定會失敗，但我沒想到它也會因爲Grass而失敗。通過讓bessy爲Cow而不是Animal：val bessy:Cow = new Cow可以避免上述錯誤。

這是否意味着動態綁定在這裏不起作用？

編輯： 簡單的動態進行定期繼承Scala中綁定：

abstract class Parent { 
    def sig:String = "Parent" 
} 
class Child extends Parent { 
    override def sig:String = "Child" 
} 

而且我有這個，在x:Parent給兒童還有：

scala> new Child().sig 
res1: String = Child 

val x:Parent = new Child() 
x: Parent = Child@3a460b07 

x.sig 
res2: String = Child 

Answer 1

Scala是靜態類型。一個任意的動物不能吃草，而你剛剛試圖給任意一隻動物喂草。它恰好是一頭牛，但你已經說過（與: Animal），編譯器可能只能假設它是一隻動物。

如果你允許編譯器知道bessy是Cow（val bessy = new Cow），那麼她會吃草很好。