深入理解Java泛型中的下界通配符：以Arrays.sort为例

本文深入探讨了java泛型中下界通配符` super t>`在`arrays.sort`方法中的应用及其重要性。通过对比`comparator super t>`与`comparator`的签名，文章阐释了前者如何提升泛型方法的灵活性，允许使用父类型比较器对子类型数组进行排序，从而避免不必要的类型转换，并提升代码的通用性和健壮性。

泛型中的类型边界概述

Java泛型引入了类型参数，使得代码可以操作各种类型的对象，同时在编译时提供类型安全。为了进一步控制类型参数的范围，泛型引入了类型边界，主要分为两种：

上界通配符 (? extends T)：表示类型参数必须是T或T的子类型。它主要用于“生产者”场景，即从泛型结构中获取数据时，可以安全地将获取到的元素视为T类型。下界通配符 (? super T)：表示类型参数必须是T或T的父类型。它主要用于“消费者”场景，即向泛型结构中写入数据时，可以安全地将T类型或T的子类型元素存入。

理解这两种通配符对于编写灵活且类型安全的泛型代码至关重要。

Arrays.sort 方法的签名解析

Java标准库中的Arrays.sort方法是一个典型的泛型应用，其用于对对象数组进行排序的签名如下：

public static  void sort(T[] a, Comparator c)

在这个签名中：

立即学习“Java免费学习笔记（深入）”；

声明了一个类型参数T。T[] a 表示要排序的数组，其元素类型为T。Comparator c 是一个比较器，它能够比较类型为T或T的任何父类型的对象。这里的正是本文关注的焦点。

为什么需要 Comparator？

为了理解的必要性，我们首先考虑如果Arrays.sort的签名是public static void sort(T[] a, Comparator c)，会带来什么限制。

假设我们有一个String类型的数组，并且我们想根据字符串的长度进行排序。我们可能会有一个Comparator，因为它是一个更通用的比较器，可以比较任何CharSequence的子类（包括String）。

如果sort方法的签名是sort(T[] a, Comparator c)，那么当T是String时，它会严格要求一个Comparator。这意味着我们不能直接传入一个Comparator，即使从逻辑上讲，一个能比较任意两个CharSequence的比较器，当然也能比较任意两个String。

TextCortex

AI写作能手，在几秒钟内创建内容。

62 查看详情

考虑以下示例代码：

import java.util.Arrays;import java.util.Comparator;public class GenericsSortExample {    public static void main(String[] args) {        // 创建一个比较器，用于比较任何 CharSequence 对象的长度        Comparator onLength = Comparator.comparingInt(CharSequence::length);        // 创建一个 String 数组        String[] testStrings = {"hello", "you", "a", "world"};        // 使用 Arrays.sort 进行排序        // 如果 sort 方法签名是 sort(T[] a, Comparator c)，这里会编译失败        // 但由于实际签名是 sort(T[] a, Comparator c)，这里编译通过        Arrays.sort(testStrings, onLength);        System.out.println(Arrays.toString(testStrings)); // 输出: [a, you, hello, world]    }}

在上述代码中，testStrings数组的元素类型是String，因此T被推断为String。我们传入的比较器是Comparator。由于String是CharSequence的子类型，CharSequence是String的父类型，所以Comparator满足Comparator的要求。

如果没有，即签名为Comparator，编译器会认为Comparator与Comparator是两种不兼容的类型，从而导致编译错误。这是因为泛型在默认情况下是不支持协变或逆变的（即List不是List