Понимание ковариации Пример

Question

Scala in Depth представляет этот пример при совпадении.

Определить класс T с параметром совместного варианта. Со-вариант означает, что создание экземпляра T[+A] является законным, если параметр является подтипом или равен A.

scala> class T[+A] {} 
defined class T 

инстанцировать T[...] с AnyRef.

scala> val x = new T[AnyRef] 
x: T[AnyRef] = T@11e55d39 

Затем назначьте x к T[Any]. Any является родителем AnyRef.

В результате мы можем создать T[Any] с T[AnyRef], так как AnyRef является подтипом Any.

scala> val y : T[Any] = x 
y: T[Any] = T@11e55d39 

Однако, мы не можем сделать то же самое с T[String] после Any является не суб-типа `String.

scala> val z : T[String] = x 
<console>:7: error: type mismatch; 
found : T[AnyRef] 
required: T[String] 
val z : T[String] = x 

Это понимание правильное?

Answer 1

Вы в основном правы. Я бы просто сказать, что это так:

• Поскольку String является подтипом AnyRef, T[String] является подтипом T[AnyRef].
• С Integer является подтипом AnyRef, T[Integer] является подтипом T[AnyRef].

Так что я не могу сказать,

var s:T[AnyRef] = new T[String] 
val i:T[AnyRef] = new T[Integer] 
s = i 

На самом деле, нет, я не могу сказать, что третья линия.

Нельзя допускать этого, потому что это означает, что T делает что-то, что применимо только к Integer, которое теперь можно сделать для String.

Таким образом, вы используете тип, ограничивающий его решение.