Насколько мне известно, Scala проверяет, что все контравариантные типы встречаются только на позициях аргументов, а все ковариантные типы -- на позициях возвращаемых значений.
Ваше выражение не проходит проверку из-за того, что наличие поля x
подразумевает то, что его можно получить из этого класса, т.е. использовать в ковариантной позиции. Из-за этого не поможет и сделать поле x
константным.
Насколько я понимаю, вы хотите сделать изменяемую ячейку.
Мне не очень понятно, для чего может потребоваться изменяемая ячейка со свойством контравариантности. Единственное, что я могу предложить для того, чтобы этот пример компилировался -- это написать следующий код:
class GenericCellMut[+T](val x:T)
Это будет неизменяемая ячейка со свойством ковариантности (замечу, что у неё теперь не очень подходящее название). Сделать поле изменяемым нельзя, так как это будет требовать наличия метода установки значения x
, что, в свою очередь, требует поставить тип T
в контравариантную позицию.
Если вы хотите иметь изменяемую ячейку, то придётся сделать её инвариантной:
class GenericCellMut[T](val x:T)
var
надо убрать, т.к.val
(иvar
) неявно создают геттер (и сеттер) дляx
, т.е. получилась бы штуковина с контравариантом по возвращаемому типу, что потом доставило бы при попытке с возвращенным значением что-то сделать. Но я в скале не шарю :)