03_Wildcards_with_super.md

《《《 返回首页
《《《 上一节

通配符和超类

• 下面是一个方法，它将方便类集合中的源列表中的所有元素复制到目标列表中：

    public static <T> void copy(List<? super T> dst, List<? extends T> src) {
      for (int i = 0; i < src.size(); i++) {
        dst.set(i, src.get(i));
      }
    }

• 这个奇怪的短语? super T意味着目的地列表可能有元素任何类型都是T的超类型， 就像源列表可能有任何类型的元素是T的子类型:

• 这是一个调用示例：

    List<Object> objs = Arrays.<Object>asList(2, 3.14, "four");
    List<Integer> ints = Arrays.asList(5, 6);
    Collections.copy(objs, ints);
    assert objs.toString().equals("[5, 6, four]");

• 与任何泛型方法一样，可以推断或者可以明确给出类型参数。 在这种情况下， 有四种可能的选择，所有这些类型检查和所有这些都具有相同的效果：

    Collections.copy(objs, ints);
    Collections.<Object>copy(objs, ints);
    Collections.<Number>copy(objs, ints);
    Collections.<Integer>copy(objs, ints);

• 第一次调用离开类型参数隐式; 它被认为是Integer，因为这是最有效的选择。 在第三行中，类型参数T取为Number。 该调用被允许，因为objs的类型是List<Object>， 它是List<? super Number>的子类型（因为对象是一个数字的超类型，通配符的要求）和整数有List<Integer>， 这是List<? extends Number>的子类型（因为Integer是Number的子类型， 正如扩展通配符所要求的那样）。

• 我们也可以用几个可能的签名来声明这个方法。

    public static <T> void copy(List<T> dst, List<T> src)
    public static <T> void copy(List<T> dst, List<? extends T> src)
    public static <T> void copy(List<? super T> dst, List<T> src)
    public static <T> void copy(List<? super T> dst, List<? extends T> src)

• 第一种限制性太强，因为只有当目的地和来源具有完全相同的类型时才允许调用。 其余三个对于使用隐式类型参数的调用是等效的，但是对于显式类型参数不同。 对于上面的示例调用，第二个签名仅在类型参数为Object时起作用，第三个签名仅在类型参数为Integer时起作用， 最后一个签名对所有三个类型参数起作用（如我们所见），即Object ，Number和Integer。 在签名中始终使用通配符，因为这样可以实现最广泛的调用。

《《《 下一节
《《《 返回首页