java - Collections类里的swap函数，源码为什么要新定义一个final的List型变量l指向传入的list？

Question

JDK1.7 源码如下：

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

其中的这句final List l = list 有什么意义？直接操作传进来的list不也一样的结果吗？

本人是自学java的新手，看到这里有点想不通，希望前辈们能帮我解惑，不胜感谢！

Answer 1

试一下：

import java.util.List;

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

编译错误：

.\Test.java:7: 错误: 无法将接口 List<E>中的方法 set应用到给定类型;
        list.set(i, list.set(j, list.get(i)));
                        ^
  需要: int,CAP#1
  找到: int,CAP#2
  原因: 参数不匹配; Object无法转换为CAP#1
  其中, E是类型变量:
    E扩展已在接口 List中声明的Object
  其中, CAP#1,CAP#2是新类型变量:
    CAP#1从?的捕获扩展Object
    CAP#2从?的捕获扩展Object
1 个错误

因为list的类型是List<?>，不知道具体的类型，所以只能从列表里取出一Object，不能往列表插入。

所以转成List。

或者换成List<T>:

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