Java，为什么选择集合。sort（）仍适用于非comparator类型的参数？

Question

我知道在java Collections类中，有一个静态方法排序：

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

排序中的第二个参数应该是实现比较器接口及其比较方法的对象。

但当我学习lambda的方法参考时，我看到了以下示例：

public class Test 
{
     public static void main(String[] args) 
    {
        new Test().sortWord();  
    }

    public void sortWord()
    {
        List<String> lst = new ArrayList<>();
        lst.add("hello");
        lst.add("world");
        lst.add("apple");
        lst.add("zipcode");

        Collections.sort(lst, this::compareWord);

        System.out.println(lst);
    }

    public int compareWord(String a, String b)
    {
       return a.compareTo(b);
    }

}

这是实例方法的方法引用示例。compareWord方法与Comparator接口无关，我不明白为什么会这样？有人能解释一下吗？

非常感谢。

Answer 1

比较器接口是一个功能接口：

函数式接口是[...]表示单个函数契约的接口。[...]

对于接口I，设M为抽象方法集，这些抽象方法是I的成员，与类对象的任何公共实例方法没有相同的签名。那么，如果m中存在一个方法m，则I是一个函数接口，对于该方法m，以下两项均为真：

>

m的签名是M中每个方法签名的子签名（§8.4.2）。

对于M中的每个方法，m都是返回类型可替换的（§8.4.5）。

除了通过声明和实例化类（§15.9）创建接口实例的通常过程之外，还可以使用方法引用表达式和lambda表达式创建函数接口实例（§15.13，§15.27）。

它进一步提到比较器作为示例：

函数式接口的定义排除了接口中也是Object中公共方法的方法。这是为了允许对接口进行函数式处理，例如java.util.比较器，它声明了多个抽象方法，其中只有一个是真正的“新”——int比较（T， T）。另一个方法——布尔等于（Object）——是抽象方法的显式声明，否则该方法将被隐式声明，并将由实现该接口的每个类自动实现。

除了@Eran提供的匿名类示例和问题中的方法引用表达式之外，lamba表达式也可以：

Collections.sort(lst, (a, b) -> ...);

Answer 2

这里不需要编写显式字符串比较器。

只要做到以下几点，它就会工作得很好。

Collections.sort(lst);

按照@Eran的解释，在您的场景中，关于compareWord和compare的方法签名是相同的。

Answer 3

int-compareWord（字符串a，字符串b）与比较器的int-compare（字符串o1，字符串o2）方法具有相同的签名

这是一种较短的写作方式：

Collections.sort(lst, new Comparator<String> () {
                     public int compare (String o1, String o2) {
                         return compareWord(o1,o2);
                     }
                 });

在Java 8中，任何功能接口，例如比较器（即具有单个抽象方法的接口），都可以使用方法的方法引用来实现，该方法的签名与该接口的抽象方法的签名相匹配。