Java泛型快速排序编译错误：K无法满足Comparable约束求助

嘿，我一眼就看出问题出在哪了——你的fastSort方法里的泛型参数K没加Comparable约束，但你调用的quicksort方法明确要求K必须是可比较的类型。虽然你在quicksort和partition里给K加了extends Comparable，但fastSort作为入口方法，它的K是没有任何限制的，编译器自然会质疑：你怎么保证传入的K能被用来排序？这就是编译错误的根源。

下面一步步帮你修复：

1. 给fastSort的K加上泛型约束 #

把fastSort的泛型声明改成这样，让K也满足Comparable的要求：

public static <K extends Comparable<K>, V extends Comparable<V>> ArrayList<K> fastSort(HashMap<K, V> results) {
    ArrayList<K> sortedUrls = new ArrayList<K>();
    sortedUrls.addAll(results.keySet());
    quicksort(sortedUrls, 0, sortedUrls.size()-1);
    return sortedUrls;
}

这里顺带把V的约束也改成V extends Comparable<V>了——原始的V extends Comparable属于泛型原始类型用法，会触发编译器警告，这样写更规范。

2. 统一其他方法的泛型声明 #

你的quicksort和partition方法里的K extends Comparable也建议改成K extends Comparable<K>，这是泛型比较的标准写法，确保K只能和同类型的对象比较，避免潜在的类型转换问题：

private static <K extends Comparable<K>> void quicksort(ArrayList<K> elements, int beg, int end){
    if(beg>=end) return;
    if(beg<0) return;
    if(end>elements.size()-1) return;
    int pivot = partition(elements, beg, end);
    quicksort(elements, beg, pivot-1);
    quicksort(elements, pivot+1, end);
}

private static <K extends Comparable<K>> int partition(ArrayList<K> elements, int beg, int end){
    // 这里顺便帮你修复了随机pivot的计算错误！
    int random = beg + (int)(Math.random() * (end - beg + 1));
    int last = end;
    swap(elements, random, end);
    end--;
    while(beg <= end){
        if(elements.get(beg).compareTo(elements.get(last)) < 0)
            beg++;
        else {
            swap(elements, beg, end);
            end--;
        }
    }
    swap(elements, beg, last);
    return beg;
}

额外提示：修复随机pivot的bug #

你原来的随机pivot计算代码int random = beg + ((int)Math.random()*(elements.size()))/(end-beg+1);是错的，很可能生成超出[beg, end]范围的索引，导致数组越界异常。正确的写法应该是beg + (int)(Math.random() * (end - beg + 1))，这样才能保证随机数落在当前排序区间内。

为啥会出现这个泛型错误？ #

泛型约束是自上而下要求的：当你调用一个有泛型约束的方法时，调用方的泛型参数必须满足被调用方的约束。fastSort作为调用quicksort的入口，它的K必须和quicksort的K一样满足Comparable约束，否则编译器无法确认类型安全，就会抛出你看到的错误。

另外，用Comparable<K>代替原始的Comparable是Java泛型的最佳实践，能避免未经检查的类型转换警告，让代码更健壮。

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