2

Martin Odersky のProgramming in 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)
                            ^

Martin による元の例はbessy.eat(new Fish)で、これは間違いなく失敗しますが、同様に失敗するとは思っていませんでしGrassた。上記のエラーは、 : の代わりに be を使用することで回避できbessyます。CowAnimalval bessy:Cow = new Cow

これは、ここでは動的バインディングが機能しないということですか?

編集: Scala での通常の継承のための単純な動的バインディング:

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

そして、私はこれを持っていました.Childx:Parentも与えました：

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

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

x.sig
res2: String = Child
4

1 に答える 1

7

Scala は静的に型付けされます。任意の動物は草を食べることができず、任意の動物に草を与えようとしました。それはたまたま牛ですが: Animal、コンパイラはそれが動物であるとのみ想定する可能性があると (で) 述べています。

これが( ) でbessyあることをコンパイラに認識させると、コンパイラは問題なく草を食べます。Cowval bessy = new Cow

于 2013-12-24T02:46:51.433 に答える