스칼라 다형성

Question

나는 다음과 같은 코드가 있습니다

trait SuperX { 
val v: Int 
} 

class SubY(val v: Int, var z: SuperX) extends SuperX 

class SubZ(val v: Int) extends SuperX 

을하고 난 다음

var test = new SubY(1, new SubZ(-1)) 

로 작성하는 경우 나는이

var test: SuperX = new SubY(1, new SubZ(-1)) 
println(test.z.v) 

수없는 이유를 이해하지 않습니다 I 할 수 없다

test = test.z 

저는 스칼라를 처음 접해 보았습니다. 그래서 어떤 것들은 상당히 혼란 스럽습니다. 특성 대신 인터페이스를 사용하여 Java에서 가능하다는 것을 알고 있습니다.

도움 주셔서 감사합니다.

Answer 1

들입니다

test: SubY = SubY@7ee12d58 

SuperX로 선언 컴파일러는 test은 SuperX입니다. 그리고 SuperX 유형은이 특정 인스턴스가 수행하는 경우에도 z을 가질 수 있습니다.

당신은 쓸 때 :

var test = new SubY(1, new SubZ(-1)) 

test의 종류가 너무 test.z 괜찮 호출 z을 가지고있는 SubY로 추정된다.

Answer 2

REPL은 결과 유형 호출 한 후에 무엇을 말할 것이다 : 이것은 당신이 예상대로 추정 형 참조 SubY하지 SuperX 것을 보여줍니다

scala> var test = new SubY(1, new SubZ(-1)) 

. Scala는 타입을 제공하지 않으면 유추 된 타입을 상속받습니다.

var test: SuperX = new SubY(1, new SubZ(-1)) 

당신은 명시 적으로 얘기하고 있습니다 : 첫 번째 예는 명시 적 그러므로 당신이 호출 할 수있는 유일한 방법과 변수는이 라인에 SubY