Java中数组和泛型的类型规则

Question

在有效Java（第2版）第25项的最后一段中说：

Answer 1

你没有提到如果你对某个特定的概念感到困惑，所以我将试着给出协方差和不变性的基本定义。

协方差保留类型顺序，不变性不保留。这意味着子类型被保留或不被保留（在逆变的情况下被颠倒）。

因此，如果您有以下类

public class A {

  public void go() {

    System.out.println("A");
  }
}

还有...

public class B extends A {

  @Override
  public void go() {

    System.out.println("B");
  }
}

对于协变类型（例如数组），函数

public static void go(A[] as) {

  for (A a : as)
    a.go();
}

完全有效用作

A[] as = new A[8];
B[] bs = new B[8];

go(as);
go(bs);

换句话说，数组类型被公开给运行库或被具体化。

对于不变类型（例如泛型），不保留子类型。因此，例如，x与x没有类型关系，而不是x。这在一定程度上是泛型类型未公开给运行库或未擦除的结果。

但是，您仍然可以分别使用extends和super在Java中显式地表示协方差和逆方差。例如使用类

public class X<T extends A> {

  private T t_;

  public X(T t) {
   t_ = t;
  }

  public void go() {

    t_.go();
  }
}

该功能

public static void go(X<?> x) {

  x.go();
}

将有效用作

X<A> xa = new X<A>(a);
X<B> xb = new X<B>(b);

go(xa);
go(xb);