6

我在网站上看到了处理具有多个参数的泛型的示例，但没有一个适合我的情况。

所以这是交易：我正在尝试学习 Java 泛型，并决定创建一个简单的二进制数组搜索实用程序函数。我正在使用自定义对象和整数对其进行测试。为了获得有关错误和警告的反馈，我正在使用 Eclipse。这是我所拥有的：

public static int binarySearch(Comparable[] array, Comparable item, int start, int end) {
    if(end < start) {
        return -1;
    }
    int mid = (start + end) / 2;
    if(item.compareTo(array[mid]) > 0) {
        return binarySearch(array, item, mid + 1, end);
    } else if(item.compareTo(array[mid]) < 0) {
        return binarySearch(array, item, start, mid - 1);
    } else {
        return mid;
    }
}

所以很明显我得到了原始类型的警告，说泛型应该被参数化。鉴于我有多个参数都需要为相同类型，我该如何正确执行此操作？

解决方案

这是使用具有正确参数检查的泛型的工作解决方案：

public static <T extends Comparable<? super T>> int binarySearch(T[] array, T item, int start, int end) {
    if(array.length == 0) {
        return -1;
    }
    if(item == null) {
        return -1;
    }
    if(start < 0) {
        return -1;
    }
    if(end < start) {
        return -1;
    }
    int mid = (start + end) / 2;
    if(item.compareTo(array[mid]) > 0) {
        return binarySearch(array, item, mid + 1, end);
    } else if(item.compareTo(array[mid]) < 0) {
        return binarySearch(array, item, start, mid - 1);
    } else {
        return mid;
    }
}
4

2 回答 2

9

您可以像这样指定特定于函数的通用参数

public static <T extends Comparable<? super T>> int binarySearch(T[] arr,T elem,int start,int end){
    //...
}
于 2012-05-06T23:05:53.173 回答
5

这是创建泛型函数的典型方法：

public static <T extends Comparable<? super T>> int binarySearch(T[] array, T item, int start, int end) { ... }

为了更加通用，item不必与数组中的事物具有相同的类型，并且数组中的事物不必是因为Comparable您没有将它们与任何东西进行比较，所以

public static <T> int binarySearch(T[] array, Comparable<T> item, int start, int end) { ... }

提供了一些额外的灵活性。

于 2012-05-06T23:05:39.260 回答