java - Java中如何保证只能对 `Comparable`个元素进行排序？

Question

我已经在 J​​ava 中实现了一种处理整数列表的排序算法。现在我想扩展它以支持通用类型。具体来说，它应该能够对可比较的元素列表进行排序(例如，通过实现 Comparable 接口(interface))。

在 Haskell 中，我可以将它们声明为 Ord 的实例，将 sort 函数声明为 Ord a => [a] -> [a] 并让编译器保证只有具有排序的元素可以被排序。

我的问题是:

How to guarantee that only elements having an ordering (e.g., by implementing the Comparable interface) can be sorted in Java?

Answer 1

使用约束类型参数定义排序方法:

public static <T extends Comparable<? super T>> List<T> sort(List<T> xs) { ... }