java通配符泛型和含义，下限或上限

Question

在这个例子中：假设我需要一个selectionSort的版本，它可以使用调用方提供的外部可比性来处理任何类型T。

第一次尝试：

public static <T> void selectionSort(T[] arr, Comparator<T> myComparator){....}

假设我有：

• 定义的车辆类别
• 创建VehicleComparator实现比较器，同时根据车辆的价格比较车辆。
• 创建的卡车扩展车辆
• 实例化卡车[]arr；VehicleComparator MyComparator

现在，我有：

selectionSort(arr, myComparator);

public static <T> void selectionSort(T[] arr, Comparator<? super T> myComparator){....}

这个宣言会起作用，但我不完全确定我一直在做什么...我知道使用是要走的路。如果“超T”的意思是“T的未知超型”，那么我是强加了一个上界还是下界？为什么超级？我的意图是让T的任何子类使用myComparator，为什么“？超级T”。好困惑...如果你对此有任何见解，我将不胜感激。

前面谢谢！

Answer 1

首先，您可以通过使用vehicle[]，然后将trucks添加到其中来解决这个问题。

您需要<的原因？super T>回到泛型规则，即comparator 不是comparator 的子类型；无界类型t必须完全匹配，但它没有。

为了传入合适的比较器，它必须是被比较的类的比较器或它的任何超类，因为在OO语言中，任何类都可以被视为超类的实例。因此，比较器的泛型类型是什么并不重要，只要它是数组组件类型的超类型。