스칼라에 관련된 추상 유형이 없을 때 동적 바인딩이 없습니까?

Question

내가 스칼라에 마틴 오더 스키의 프로그래밍에 추상적 인 유형의 동물/식품 예를하려고했다

,

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) 

나는 다음과 같은 오류있어 : 마틴에 의해 원래의 예는 bessy.eat(new Fish)

scala> <console>:13: error: type mismatch; 
found : Grass 
required: bessy.SuitableFood 
        bessy.eat(new Grass) 
          ^

했다 , 확실히 실패 할 것입니다, 그러나 나는 그것이 Grass을 위해 또한 실패 할 것이라는 점을 예상하지 않았습니다. 위 오류는 을 Animal : val bessy:Cow = new Cow 대신 Cow이되도록 놓으면 피할 수 있습니다.

여기서 동적 바인딩이 작동하지 않는다는 의미입니까?

편집 : 간단한 동적 스칼라에서 일반 상속 바인딩 :

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 

Answer 1

스칼라는 정적으로 입력됩니다 . 임의의 동물은 풀을 먹을 수 없으며, 당신은 방금 임의의 동물에게 풀을 먹이려고했습니다. 그것은 암소가 되겠지만 컴파일러가 동물이라고 추정 할 수 있다고 명시했습니다 (: Animal 포함).

bessy이 Cow (val bessy = new Cow)이라는 것을 컴파일러에서 알게되면 잔디를 잘 먹게됩니다.