Java：如何让多个静态方法共用同一泛型类型？

正确实现代码 #

public class SelectionSort {
    // 泛型T约束为实现Comparable<T>，确保元素具备可比较能力
    public static <T extends Comparable<T>> void sort(T[] array) {
        for (int i = 0; i < array.length; i++) {
            int min = i;
            for (int j = i + 1; j < array.length; j++) {
                if (less(array[j], array[min])) {
                    min = j;
                }
            }
            exch(array, i, min);
        }
    }

    // 复用统一泛型T，参数直接使用T类型（已满足Comparable约束）
    private static <T extends Comparable<T>> boolean less(T v, T w) {
        return v.compareTo(w) < 0;
    }

    // 交换方法无需Comparable约束，仅处理元素交换逻辑
    private static <T> void exch(T[] a, int i, int j) {
        T swap = a[i];
        a[i] = a[j];
        a[j] = swap;
    }
}

错误原因分析 #

你之前的实现存在两个核心问题：

1. 泛型约束不统一：sort方法的泛型<T>未绑定Comparable约束，且参数类型为Comparable<T>[]，导致调用less方法时，编译器无法将sort的T与less的<T extends Comparable<T>>匹配，触发类型推断错误。
2. 冗余的类型包装：将数组类型定义为Comparable<T>[]而非T[]，既不符合面向接口的编程逻辑，也增加了泛型推断的复杂度。

修改要点说明 #

• 在sort方法的泛型定义中直接约束<T extends Comparable<T>>，让T本身具备可比较能力，数组类型直接使用T[]。
• less方法复用同一泛型约束，参数直接用T类型，避免额外的Comparable<T>包装。
• exch方法仅负责元素交换，无需Comparable约束，简化为通用的<T>泛型方法即可。

这样修改后，既消除了原始类型的警告，又保持了方法的静态特性，完全符合现代Java泛型规范。

内容的提问来源于stack exchange，提问作者Aman