Я знаю, что этот вопрос уже задавали раньше, но либо ответы не относятся к этому случаю, либо я их не понимаю.
В принципе, почему не работает следующий (простой пример, который воссоздает мою проблему)?
class Test[+T] {
var list: List[T] = _
}
У меня проблема в том, что у меня есть объект, которому я хочу передать экземпляр Test[Nothing] (пустой Test), и это не сработает, если я не сделаю Test ковариантным в T.
Создание ковариантного теста в T означает, что Test[A] является подтипом Test[Any] для любого A. Итак, давайте создадим Test:
val test_string = new Test[String]
Теперь у нас есть Test[String], а содержащийся list имеет тип List[String].
Поскольку Test[String] является подтипом Test[Any], должно быть разрешено следующее:
val test_any : Test[Any] = test_string
И теперь у нас есть Test[Any], и, следовательно, test_any.list имеет тип List[Any], что означает следующее:
test_any.list = List[Any]()
Это означает, что мы только что присвоили List[Any] члену списка test_strings, что не должно быть разрешено, поскольку предполагается, что это List[String], а не List[Any]. Это также означает, что вы можете добавить к списку что угодно, так как это тип List[Any].
list a val: class Test[+T](val list: List[T]), но это не всегда может быть вариантом, в зависимости от того, когда вы инициализируете список.
- person Malte Schwerhoff; 29.01.2013
list как var, компилятор автоматически предоставляет метод мутатора def list_=(l: List[T]): Unit, и в этом методе параметр типа T не находится в ковариантной позиции. То же самое произойдет, если вы попытаетесь установить T как контравариантный из-за соответствующего метода доступа. Обходного пути нет, кроме установки T как невариантного или использования val для вашего списка.
- person pagoda_5b; 29.01.2013
