Scala полиморфизм

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: SuperX = new SubY(1, new SubZ(-1)) 
println(test.z.v) 

Если я пишу это как

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

тогда я не в состоянии сделать

test = test.z 

Я новичок в Scala, поэтому некоторые вещи довольно запутывают. Я знаю, что это возможно в Java с интерфейсом, а не с признаком.

Благодарим за помощь.

Answer 1

На этой линии:

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

Вы явно Рассказывая компилятор, который test является SuperX. А тип SuperX не гарантирует наличие z, даже если этот конкретный экземпляр делает.

Когда вы пишете:

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

Тип test выводится в SubY, который имеет z, поэтому вызов test.z нормально.

Answer 2

РЕПЛ покажет, что результирующий тип после вызова:

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

Это покажет, что ссылка выведенного типа является SubY и не SuperX, как вы ожидали. Scala делает предполагаемые типы, если вы их не предоставили. Ваш первый пример явно объявлен как SuperX

test: SubY = SubY@7ee12d58 

Поэтому единственные методы и переменные, которые вы можете назвать те из SubY