Правило контравариантности в Scala

#scala

Скомпилируется ли следующий код? 

class GenericCellMut[-T](var x:T)


Если да, то почему?
Если нет, то почему, и как сделать так, чтобы скомпилировался? 

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

Пробовал читать статьи про ко/контравариантности, но так для себя ничего и не вынес.
    

Ответы

Ответ 1

Насколько мне известно, Scala проверяет, что все контравариантные типы встречаются
только на позициях аргументов, а все ковариантные типы -- на позициях возвращаемых
значений. 

Ваше выражение не проходит проверку из-за того, что наличие поля x подразумевает
то, что его можно получить из этого класса, т.е. использовать в ковариантной позиции.
Из-за этого не поможет и сделать поле x константным.



Насколько я понимаю, вы хотите сделать изменяемую ячейку.

Мне не очень понятно, для чего может потребоваться изменяемая ячейка со свойством
контравариантности. Единственное, что я могу предложить для того, чтобы этот пример
компилировался -- это написать следующий код:

class GenericCellMut[+T](val x:T)


Это будет неизменяемая ячейка со свойством ковариантности (замечу, что у неё теперь
не очень подходящее название). Сделать поле изменяемым нельзя, так как это будет требовать
наличия метода установки значения x, что, в свою очередь, требует поставить тип T в
контравариантную позицию.

Если вы хотите иметь изменяемую ячейку, то придётся сделать её инвариантной:

class GenericCellMut[T](val x:T)