一、先举一个案例
上面显示了两者的不同之处,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版本的介绍
总结:
1.协变 [+T], covariant (or “flexible”) in its type parameter T,类似Java中的(? extends T), 即可以用T和T的子类来替换T,里氏替换原则。
2.不变 不支持T的子类或者父类,只知支持T本身。
3.逆变 [-T], contravariant, 类似(? supers T) 只能用T的父类来替换T。是逆里氏替换原则。
4.上界: 只允许T的超类U来替换T。 [U >: T]
5.下界: 只允许T的子类U来替代T。 [U <: T]
参考:
- https://stackoverflow.com/questions/26338964/what-is-the-difference-between-classoft-and-classt
- https://stackoverflow.com/questions/1135248/scala-equivalent-of-java-java-lang-classt-object
- https://hongjiang.info/scala-type-system-classof-and-getclass/
- http://oopsoutofmemory.github.io/scala/2014/11/19/scala-xie-bian-ni-bian-shang-jie-xia-jie-----li-jie-pian/