如何在 Java 泛型方法中限制类型参数？

为了在 Java 泛型方法中限制类型参数，需使用 <T extends Bound> 语法，其中 Bound 为类型或接口。如此，参数仅接受继承自 Bound 类型或实现 Bound 接口的类型。例如，<T extends Comparable<T>> 限制 T 为可与自身比较的类型。

如何在 Java 泛型方法中限制类型参数

前言

Java 泛型让你能够创建可重用代码，无论传递给代码的实际类型如何。有时，需要限制泛型类型参数以确保代码的行为预期的方式。

界限使用

使用 < 和 extends 限定符可以限制泛型类型参数。通过指定类型或接口，可以限制参数只能接受继承自该类型或实现该接口的类型。

语法：

public <T extends Bound> void someMethod(T arg) {
    // ...
}

实战案例

考虑一个比较两个元素大小的 compare 方法：

public <T extends Comparable<T>> void compare(T a, T b) {
    if (a.compareTo(b) > 0) {
        System.out.println("a is greater than b");
    } else if (a.compareTo(b) < 0) {
        System.out.println("a is less than b");
    } else {
        System.out.println("a is equal to b");
    }
}

在此，T 类型的参数被限制为实现了 Comparable 接口，这意味着它可以与自己进行比较。

其他界限

• 多个界限：可以使用 & 操作符指定多个界限。例如，<T extends Comparable<T> & Serializable>。
• 原生类型：可以通过使用包装器类来限制原生类型。例如，<T extends Number>。
• 通配符：可以使用 ? 通配符来进一步限制类型，无需指定具体类型。例如，<T <? extends Number>。

注意事项

• 确保类型参数满足指定的界限，否则可能会出现编译错误。
• 限制类型参数有助于确保代码鲁棒性和可维护性。

附加资源

• [官方 Java 文档：泛型](https://docs.oracle.com/javase/tutorial/java/generics/)