java - Array 类 : Comparable or Comparable 实用函数的正确签名？

Question

我正在尝试为 Array 类编写一个实用函数。

该函数应返回所有可比较类型的最小元素。

我的问题是该函数应该具有哪个签名:

1. public static <E> E min (Comparable**<E>**[] arr)
2. public static <E> E min (Comparable**<? super E>**[] arr)

在 Java 中，数组是变体，这意味着如果 B 扩展 A，那么 A[] 和 B[] 也相关，但是 ArrayList<A>和ArrayList<B>没有相同的连接。

这是完整的代码:

@SuppressWarnings("unchecked")
public static <E> E min (Comparable<E>[] arr){

    E min= null;

    if(arr.length > 0)          
        min = (E) arr[0];

    for (int i = 1; i < arr.length; i++) {

        if( (arr[i].compareTo((E) min)) < 0)
            min = (E) arr[i];
    }

    return min; 
}

评论:我有两个类A实现Comparable A和B延伸A

当签名为Comparable<? super E>时然后调用(从主函数)到:

A aArr[] = new A[] {new A(1), new B(2), new B(-1)};
B bb = min(aArr);

是一个编译错误:cannoot convert from ...A to ... B ，但是当 min() 的签名为 Comparable<? super E> 时那么同样的调用就可以了。

谢谢

Answer 1

第二个签名有效，因为 A 是 B 类的父类(super class)，而它适合通配符条件 ? super B。

如果您希望函数返回任何可比较类型数组的最小值，您只需这样做。

public static <E extends Comparable<E>> min (E[] arr)

这将允许您使用该方法来操作所有类型的数组，其值具有可比较的类型。就您而言，您希望 A 和 B 相关。因此，您还应该允许您的方法采用 E 类及其父类(super class)的参数。但是，只有当您尝试将 A 转换为 B 时才需要它，如您的示例所示。这使得您希望您的方法采用 E 的父类(super class)(因为 A 是 B 的父类(super class))并且仍然返回 E 类型的值。

public static <E extends Comparable<? super E>> min (E[] arr)