小编lcn*_*lcn的帖子

当我在Martin Odersky的Scala编程中尝试抽象类型的Animal/Food示例时,

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 …