Почему Collections.swap копирует список ввода?

В исходном коде JDK 1.6 метод swap класса Collections записан так:

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

Какая причина для создания окончательной копии переданного списка? Почему они просто не изменяют переданный список напрямую? В этом случае вы также получаете предупреждение необработанного типа.

Ответы

Ответ 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);