Scala中涉及抽象类型时没有动态绑定?

时间:2013-12-24 02:39:01

标签: scala dynamic-binding abstract-type

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

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)
                            ^

Martin的原始示例是bessy.eat(new Fish),这肯定会失败,但我没想到Grass也会失败。允许bessyCow而不是Animalval 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

1 个答案:

答案 0 :(得分:6)

Scala是静态类型的。任意动物都不能吃草,而你刚刚尝试将草喂给任意动物。它碰巧是一头牛,但你已经说过(: Animal)编译器可能只假设它是动物。

如果您允许编译器知道bessyCowval bessy = new Cow),那么她就会吃草。