什么是泛型约束？

泛型约束（Generic Constraints）是一种在使用泛型时限制可接受类型的方式。它允许我们对泛型类型参数进行限定，以确保只有符合特定条件的类型才能被使用。

泛型约束的作用是提供更精确的类型控制和更强的类型安全性。通过约束泛型类型参数，我们可以在编译时捕获错误，并防止不合适的类型被传递给泛型代码。

使用泛型约束的语法是在泛型类型参数后面使用 extends 关键字，然后指定一个基类、接口或其他泛型类型。这样，泛型类型参数就会被限制为必须是指定类型或其子类型。

下面是一个使用泛型约束的示例：

// 定义一个泛型方法，要求类型实现 Comparable 接口
public <T extends Comparable<T>> T findMax(T[] array) {
    if (array == null || array.length == 0)
        return null;

    T max = array[0];
    for (int i = 1; i < array.length; i++) {
        if (array[i].compareTo(max) > 0) {
            max = array[i];
        }
    }

    return max;
}

// 使用泛型方法
Integer[] numbers = { 5, 2, 8, 1, 9 };
Integer maxNumber = findMax(numbers);  // 返回 9

String[] words = { "apple", "banana", "orange" };
String maxWord = findMax(words);       // 返回 "orange"

在上面的示例中，我们定义了一个泛型方法 findMax，它接受一个实现了 Comparable 接口的类型数组，并返回数组中最大的元素。通过使用泛型约束 <T extends Comparable<T>>，我们限制了泛型类型参数 T 必须是可比较的类型。

在使用泛型方法时，我们传递了一个整数数组和一个字符串数组作为参数，并分别获取了最大的整数和最大的字符串。

通过使用泛型约束，我们可以确保只有符合特定条件的类型才能被传递给泛型代码，从而提高代码的可靠性和安全性。