Question

在JDK 1.6的源代码中，Collections类的swap方法如下所示：

public static void swap(List<?> list, int i, int j) {
    final List l = list;
    l.set(i, l.set(j, l.get(i)));
}

创建传递列表的最终副本有什么原因？他们为什么不直接修改传递的列表？在这种情况下，您还会获得原始类型警告。

Answer 1

没有列表的副本，只有列表的引用副本。最终关键字并不重要。但是，使用原始类型很重要。如果使用该参数，编译器将报告错误：

public static void swap(List<?> list, int i, int j) {
    // ERROR: The method set(int, capture#3-of ?) in the type List<capture#3-of ?>
    // is not applicable for the arguments (int, capture#4-of ?)
    list.set(i, list.set(j, list.get(i)));
}

这意味着，他们正在使用中间变量来规避泛型的缺点，并摆脱错误信息。

有趣的问题是：为什么他们不使用通用方法？以下代码有效：

public static <T> void swap(List<T> list, int i, int j) {
    list.set(i, list.set(j, list.get(i)));
}

答案是，此方法在旧代码中使用原始类型调用方法时会产生警告：

List list = ...;
// WARNING: Type safety: Unchecked invocation swap2(List, int, int)
// of the generic method swap2(List<T>, int, int) of type Swap
Collections.swap(list, 0, 1);

为什么Collections.swap将目标列表分配给原始类型的变量？

1 个答案: