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) {...}