当我在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>: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
Rex Kerr.. 6
Scala是静态类型的.任意动物都不能吃草,而你刚刚尝试将草喂给任意动物.它碰巧是一头牛,但你已经声明(: Animal
编译器)可能只假设它是动物.
如果你允许编译器知道它bessy
是一个Cow
(val bessy = new Cow
),那么她会吃草就好了.
Scala是静态类型的.任意动物都不能吃草,而你刚刚尝试将草喂给任意动物.它碰巧是一头牛,但你已经声明(: Animal
编译器)可能只假设它是动物.
如果你允许编译器知道它bessy
是一个Cow
(val bessy = new Cow
),那么她会吃草就好了.