当我在 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)
^
马丁最初的例子是bessy.eat(new Fish)
,这肯定会失败,但我没想到它会失败Grass
以及。通过让bessy
be Cow
代替Animal
: val bessy:Cow = new Cow
.
这是否意味着动态绑定在这里不起作用?
Edited:Scala 中常规继承的简单动态绑定:
abstract class Parent {
def sig:String = "Parent"
}
class Child extends Parent {
override def sig:String = "Child"
}
我有这个,在哪里x:Parent
gave Child还有:
scala> new Child().sig
res1: String = Child
val x:Parent = new Child()
x: Parent = Child@3a460b07
x.sig
res2: String = Child
Scala 是静态类型的。任意动物不能吃草,而您刚刚尝试给任意动物喂草。它恰好是一头牛,但你已经说过(与: Animal
)编译器可能只假设它是一种动物。
如果你让编译器知道bessy
is a Cow
(val bessy = new Cow
),然后她就可以吃草了。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)