我正在尝试为 Array 类编写一个实用函数。
该函数应返回所有可比较类型的最小元素。
我的问题是该函数应该具有哪个签名:
-
public static <E> E min (Comparable**<E>**[] arr) -
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> 时那么同样的调用就可以了。
谢谢
最佳答案
第二个签名有效，因为 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)
关于java - Array 类 : Comparable<E> or Comparable<? super E> 实用函数的正确签名？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/59657568/