泛型约束（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 必须是可比较的类型。
在使用泛型方法时，我们传递了一个整数数组和一个字符串数组作为参数，并分别获取了最大的整数和最大的字符串。
通过使用泛型约束，我们可以确保只有符合特定条件的类型才能被传递给泛型代码，从而提高代码的可靠性和安全性。
