java - 集合排序/二进制搜索方法

Question

我有一个关于 Collections API 二进制搜索和排序方法声明的查询。binarySearch 中的 list 参数使用上限通配符。但是 sort 方法中的 list 参数没有使用上界通配符。为什么这些不同？

对于sort，list不使用上界通配符。

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

对于 binarySearch，list 使用上限通配符。

static <T> int binarySearch(List<? extends T> list, T key, Comparator<? super T> c)

我想知道为什么在 sort 方法中不需要上界。

Answer 1

这是因为当你有一个 List<? extends T> ，您不能向其中添加元素或从中删除元素，因为您不知道该列表中元素的类型。它可能只是 T , 它可能是 Object ，或 T 的任何父类(super class)之间。参见 Java Generic with ArrayList<? extends A> add element获取更多信息。

作为@Lino - Vote don't say Thanks说above , 这对 binarySearch 没问题，因为它不必从给定列表中添加或删除元素 - 只要比较器可以比较每个元素，它就会很高兴。然而，sort确实必须四处移动元素，因此它需要列表是已知类型。

_{这并不意味着它实际上被利用了:java.util.Collections.java sources (OpenJDK 8)}