경로 종속 형식 예제가 작동하지 않습니다.

Question

여기에 스칼라 n00b가 있습니다. 확실히 나는 PDT를 이해하지만 확실하게하고 문제를 쳤다. 여기에 내가 여기에 재현 할 수 있습니다 샘플 코드와 이전 문제는 Scala types: Class A is not equal to the T where T is: type T = A입니다 :

1: class Food 
2: class Fish extends Food 
3: class Grass extends Food 
4: 
5: abstract class Animal { 
    6: type SuitableFood <: Food 
    7: def eat(food: SuitableFood) 
8: } 
9: 
10: class Cow extends Animal { 
    11: type SuitableFood = Grass 
    12: override def eat(food: Grass) {} 
13: } 
14: 
15: val bessy: Animal = new Cow // [1] 
16: 
17: bessy eat (new bessy.SuitableFood) // [2] 

원래 포스터는 내가 그것을해야 생각이 컴파일했다,하지만하지 않습니다. 내가 스칼라 REPL에 붙여 넣을 경우 성공적 베시 생성 [1] :

scala> val bessy: Animal = new Cow 
bessy: Animal = Cow@165b8a71 

하지만, [2], 나에게 내가 이해하지 못하는 오류 제공 :

scala> bessy.eat(bessy.SuitableFood) 
<console>:17: error: value SuitableFood is not a member of Animal 
     bessy.eat(bessy.SuitableFood) 
        ^

을 내가 붙여 경우를 파일로 'scalac'그것, 나는 얻는다. 왜? bessy은 암소 개체로 type SuitableFood = Grass이 정의되어 있고 bessy.SuitableFood은 클래스 유형입니다 (그렇지 않습니까?). 무엇이 잘못 되었나요?

Answer 1

1. 당신은 (new bessy.SuitableFood)에서 new 누락되었습니다.

2. 당신이이 문제를 해결 한 후, bessy이 이이 bessy.SuitableFood을 모르는 컴파일러 있도록 입력 Animal하지 Cow이 정의됩니다 Grass이다 : 그것은 단지 추상적 인 유형, 그래서 new bessy.SuitableFood는 (같은 new A 아무튼 작동하지 않습니다 'A이 유형 매개 변수 일 때). 예 : 일부 다른 하위 유형 Animal이 type SuitableFood = Food을 선언하고 new Food을 선언 할 수 있다고 생각하십시오. 2.10.6에서 확인했지만 컴파일 된 버그라고 생각합니다.

는 그러므로 나는 .SuitableFood 가상 유형의 종류 것이기 때문에 적절한 음식을 반환합니다 "새로운 bessy.SuitableFood을"생각 그럼 '암소'때 'SuitableFood은'잔디 '가 될 것입니다. PDT가 그렇게하지 않으면 PDT의 가치를 알 수 없습니다.

여기 PDT와 관련해의 요점은 당신이 경우이 bessy.SuitableFood는 bessy 그것을 먹을 수있다이다; 그녀는 spot.SuitableFood을 먹을 수 없습니다 (컴파일러가 일 경우 정적으로을 알 수 있습니다). 하지만이 예제에서는 bessy.SuitableFood을 생성 할 방법이 없습니다. 이유는 없으므로 (컴파일러에게 알릴 방법이 없습니다) type SuitableFood은 public 매개 변수가없는 생성자가있는 클래스입니다. 당신은 Animal에 메서드를 추가하여 문제를 해결할 수 있습니다

abstract class Animal { 
    type SuitableFood <: Food 
    def eat(food: SuitableFood) 
    def newSuitableFood(): SuitableFood 
} 

class Cow extends Animal { 
    ... 
    def newSuitableFood() = new Grass 
} 

지금 bessy.eat(bessy.newSuitableFood) 컴파일하고 작동합니다.