Scala не разрешает X как Y, хотя X расширяет Y

Question

[См. Фрагмент ниже] Я читал, что у меня есть X, который является Piece, и у меня есть Player, для которого требуется Piece. Игрок Me пытается определить эту пьесу с пьесой X. Тем не менее Scala не признает X как часть, а скорее видит «X.type». Что означает X.type? Я не совсем уверен, что моя проблема, поэтому мне трудно найти время.

Я не вижу, как это может быть тип затенения [см. Scala really weird Type Mismatch], так как я не указываю другую «Пьесу», вместо этого я указываю только, что мне требуется «Пьеса».

Кажется, что есть что-то, что препятствует Скале разрешать Х как Кусок.

Чтобы попробовать в РЕПЛ

trait Piece { val piece: Char } 
case class X extends Piece { val piece: Char = 'X' } 

trait Player { val piece: Piece } 
case class Me extends Player { val piece: Piece = X } 

Результат

error: type mismatch; 
found : X.type 
required: Piece 
     case class Max extends Player { val piece: Piece = X } 

Answer 1

Это, вероятно, потому что X вы только описывающего класс (так что это на самом деле типа), в то время как Scala ожидает a объект (или экземпляр) типа Piece. Вы бы получить ту же ошибку, делая это в первом случае:

case class X extends Piece { val piece: Char = Char } 

Как вы можете видеть, ваша версия работает, потому что вы передаете специфический характер, а не тип. Если вы хотите, чтобы ваш код работать, вы, возможно, придется создать новый объект и передать его в:

case class Me extends Player { val piece: Piece = new X } 

EDIT: Как было отмечено ОП в комментарии ниже, с помощью X() также работает, потому что, как Х случай класса становится метод неявного применить():

case class Me extends Player { val piece: Piece = X() } 

Answer 2

Вы присваивая тип X переменной piece, а не экземпляр X.

Answer 3

Когда вы пишете case class X, вы также создание спутника object X, который имеет элемент apply, что позволяет говорить X(). Все это очевидно после некоторого опыта работы с Scala.

X.type - одноэлементный тип объекта X. Он не имеет ничего общего с «назначением типа», как указывают другие ответы.

Когда вы говорите X в качестве значения, это означает, что объект. Это термин (то есть значение), а не тип.

Чтобы создать новый X, каждый пишет X(), что равно X.apply(), и никогда new X(). Никогда? Да, почти никогда.

Обратите внимание, что безразмерные классы классов давно устарели.

Answer 4

Примеры классов без параметров устарели. Вместо этого используйте case class X() и case class Me(). Таким образом вам нужно будет создать объект класса X с вызовом X(), как описано в других ответах.

В качестве альтернативы вы можете использовать case object S:

case object X extends Piece { val piece: Char = 'X' }. 

В самом деле, если вы используете случай объект здесь, ваш код начнет работать:

case class Me extends Player { val piece: Piece = X } // Works fine 

Это зависит от ваших требований, хотя. Возможно, вам нужны несколько экземпляров X; то объект объекта не для вас.