目录
一、classOf[T]、getClass和 class案例
二、关于协变和逆变
三、总结:
一、classOf[T]、getClass和 class案例
上面显示了两者的不同之处,getClass 方法得到的是 Class[A]的某个子类,而 classOf[A] 得到是正确的 Class[A],但是去比较的话,这两个类型是equals为true的。
这里有细微的差别,体现在类型赋值时,因为java里的 Class[T]是不支持协变的,所以无法把一个 Class[_ < : A] 赋值给一个 Class[A]。
二、关于协变和逆变
1、C[T] A B 其中A <: B
若 C[A]:C[B] C 是 cotravariant
如果 C[A]和C[B]没有父子关系 那么C是nonvariant
2、Scala中是允许你自己定义是否是variant的
class C[+A]{…} C是covariant
[+T], covariant (or “flexible”) in its type parameter T,类似Java中的(? extends T), 即可以用T和T的子类来替换T,里氏替换原则。
可以看到List的定义:
type List[+A] = scala.collection.immutable.List[A]
协变的符号是[+A],意味着支持泛型A的子类集合向A进行赋值。 在这个例子里是List的是支持协变的。
class C[-A]{…} C是contrvariant
[-T], contravariant, 类似(? supers T)
if T is a subtype of type S, this would imply that Queue[S] is a subtype of Queue[T]
只能用T的父类来替换T。是逆里氏替换原则。 在 scala.actors.OutputChannel 这个trait是一个逆变的类型。
trait OutputChannel[-Msg] {
......
对于OutputChannel[String], 支持的操作就是输出一个string, 同样OutputChannel[AnyRef]也一定可以支持输出一个string, 因为它支持输出任意一个AnyRef(它要求的比OutputChannel[String]少) 。
但反过来就不行, OutputChannel[String]只能输出String, 显然不能替换OutputChannel[AnyRef]
class C[A] {…} C是nonvariant(默认)
说明:以上是针对Scala-2.10.x版本的介绍
三、总结:
- 协变 [+T], covariant (or “flexible”) in its type parameter T,类似Java中的(? extends T), 即可以用T和T的子类来替换T,里氏替换原则。
- 不变 不支持T的子类或者父类,只知支持T本身。
- 逆变 [-T], contravariant, 类似(? supers T) 只能用T的父类来替换T。是逆里氏替换原则。
- 上界: 只允许T的超类U来替换T。 [U >: T]
- 下界: 只允许T的子类U来替代T。 [U <: T]