java - PECS 对于非集合中的泛型

Question

Joshua Bloch 提出了 PECS，它规定了何时使用 的规则？扩展 T 和 ？ super T。如果您从集合框架的角度考虑 PECS，那么它非常简单。如果向数据结构添加值，请使用 ? super T。如果从数据结构中读取，使用？扩展 T。例如:

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

如果我检查

的签名

public static <T> void sort(List<T> list, Comparator<? super T> c) 

我看到 Comparator 使用 ？ super，所以它应该是一个消费者。看代码，比较器c只是用来产生东西的，因为它被问到比较的逻辑。

一方面，我理解为什么它是一个 super 类，因为作为开发人员，我想使用 T 类的比较器以及父类(super class) T 的比较器，因为对象T 也是T 的父类(super class)类型。但是，当我尝试从 PECS 的角度思考时，我却无法理解。

PECS 是否仅适用于 Collections 框架？如果不是，有人可以向我解释比较器在 Collections.sort 中消耗了什么吗？

Answer 1

为了这个答案，我们取 Comparator作为主要的指导性示例。

如果仔细考虑，您会发现 Comparator实际上接收两个T类型的参数并返回它们的比较结果(由 int 表示)。换句话说，它消耗两个 T 类型的实例并且产生一个int值(value)。因此，根据 PECS 规则，它是 T 的消费者 ，因此使用 ? super T .

更一般地说，您应该从主要类型的角度考虑生产者 和消费者，并考虑其每个泛型参数的类型。如果一些Comparator type consumes T 类型的对象, PECS 规则规定此类 Comparator<T> 的用户可以用它来比较类型是 T 子类型的对象.

举个具体的例子，如果你碰巧已经有了比较两个通用 Number 的逻辑实例(不管它们的具体类型实际上是什么)，你可以使用它来比较 Double实例，因为 double 毕竟是数字。

考虑以下比较器:

Comparator<Number> c = Comparator.comparingInt(Number::intValue);

在这里，比较器 c比较Number实例(任何)只考虑它们的组成部分。

如果您有以下 Double 的列表实例:

List<Double> doubles = Arrays.asList(2.2, 2.1, 7.3, 0.2, 8.4, 9.5, 3.8);

以及以下sort方法:

static <T> void sort(List<T> list, Comparator<T> c) {
    list.sort(c);
}

(注意 ? super T 参数中没有通配符 Comparator)。

然后，如果你想对 List<Double> doubles 进行排序名单，上面的签名sort方法将要求您传递一个具体的 Comparator<Double> .但是，如果您想使用之前定义的 c 怎么办？比较器对 List<Double> doubles 进行排序？

因为比较器的类型是 Comparator<Number> , 作为 doubles列表的类型是 List<Double> ，以下代码会产生编译错误:

sort(doubles, c);

幸运的是，作为Comparator是它比较的元素类型的消费者，您可以更改 sort 的签名方法:

static <T> void sort(List<T> list, Comparator<? super T> c) {
    list.sort(c);
}

现在，这段代码可以编译:

sort(doubles, c);