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

Question

Joshua Bloch 提出了 PECS，它规定了何时使用 ? extends T 的规则。和? super T 。如果您从集合框架的角度考虑 PECS，那么它就非常简单了。如果向数据结构添加值，请使用 ? super T 。如果从数据结构中读取，请使用 ? extends 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) 

我看到比较器使用 ? 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 使用 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);