11

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

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

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

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

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

7
  • 1
    О, вот это вопросы! А то в основном попадается «сделайте мне домашку по C++».
    – VladD
    21 дек 2015 в 19:12
  • Я убрал кавычки, надеюсь, не испортил при этом смысл вопроса.
    – VladD
    21 дек 2015 в 19:13
  • @VladD Нет, не испортили. Кавычки лишь от неумения форматировать код на сайте. 21 дек 2015 в 19:15
  • @AndreiHensialevich а чего вы этим кодом хотели добиться? 21 дек 2015 в 20:50
  • 1
    по-моему, var надо убрать, т.к. valvar) неявно создают геттер (и сеттер) для x, т.е. получилась бы штуковина с контравариантом по возвращаемому типу, что потом доставило бы при попытке с возвращенным значением что-то сделать. Но я в скале не шарю :)
    – zRrr
    21 дек 2015 в 22:16

1 ответ 1

8

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

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


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

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

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

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

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

class GenericCellMut[T](val x:T)
1
  • Спасибо огромное. Более менее ситуация прояснилась. Как я уже писал выше, задание не имеет практического применения, это лишь домашнее задание с универа. 21 дек 2015 в 22:50

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.