关于Java和Scala中的泛型

Question

我被泛型子类型搞糊涂了。

在Java中，如果类型a是b的子类型，则泛型类型c和c是不变的。例如，arraylist不是arraylist 的子类型。

但是，在Scala中，如果类型a是B的子类型，则泛型类型C和C是协变的。那么Scala中泛型类的属性是什么而Java中没有呢？

Answer 1

首先要注意，方差是泛型类型参数的属性，而不是参数化类型本身的属性。

其次：关于scala类型的参数在默认情况下是不变的，您是错误的。让我们调查一下！

Java有use-site差异注释。也就是说，可以这样声明方法：

boolean addAll(Collection<? extends T> c);

然而，有一种形式的“参数化类型”（我用的是松散的术语），其中类型参数是协变的：Java数组！（这实际上是疯狂的，因为数组是可变的，因此很容易绕过类型系统）。请考虑以下内容：

public static void subvert(Object[] arr) { arr[0] = "Oh Noes!"; }

后来呢：

Integer[] arr = new Integer[1];
subvert(arr); //this call is allowed as arrays are covariant
Integer i = arr[0];

trait Function1[-I, +O]

这表示特征function1有两个类型参数i和o，它们分别是反变量和协变量。如果没有声明+/-注释，则类型参数是不变的。例如，Set在其类型参数中是不变的：

scala> def foo(set: Set[Any]) = ()
foo: (set: Set[Any])Unit

scala> Set(1)
res4: scala.collection.immutable.Set[Int] = Set(1)

scala> foo(res4)
<console>:10: error: type mismatch;
 found   : scala.collection.immutable.Set[Int]
 required: Set[Any]
Note: Int <: Any, but trait Set is invariant in type A.
You may wish to investigate a wildcard type such as `_ <: Any`. (SLS 3.2.10)
              foo(res4)
                  ^

然而，列表被声明为协变的：

scala> def bar(list: List[Any]) = ()
bar: (list: List[Any])Unit

scala> List(1)
res6: List[Int] = List(1)

scala> bar(res6)

演示这一点的另一种方法是直接向编译器询问子类型证据：

scala> class Cov[+A]
defined class Cov

scala> implicitly[Cov[Int] <:< Cov[Any]]
res8: <:<[Cov[Int],Cov[Any]] = <function1>

但具有不变类型参数

scala> class Inv[A]
defined class Inv

scala> implicitly[Inv[Int] <:< Inv[Any]]
<console>:9: error: Cannot prove that Inv[Int] <:< Inv[Any].
              implicitly[Inv[Int] <:< Inv[Any]]
                        ^

最后，违反：

scala> class Con[-A]
defined class Con

scala> implicitly[Con[Any] <:< Con[Int]]
res10: <:<[Con[Any],Con[Int]] = <function1>

另请参见标识符<:<