Краткий ответ

Метод subList возвращает не независимую копию, а представление диапазона исходного списка. Поэтому изменения элементов через исходный список и представление могут быть видны с обеих сторон, а структурное изменение исходного списка вне представления может нарушить его корректность и привести к ConcurrentModificationException.

Исторический контекст

В Java Collections Framework представления нужны для работы с частью коллекции без немедленного копирования всех элементов. Такой подход экономит память и позволяет выполнять операции над диапазоном, сохраняя связь с исходным списком.

Цена этой оптимизации — общие данные и более сложный жизненный цикл. Разработчик должен понимать, что представление зависит от состояния исходной коллекции и не является самостоятельным списком.

Постановка проблемы

Если передать subList в другой компонент, его изменения могут менять исходный список. Это опасно, когда вызывающая сторона ожидает независимый снимок данных или одновременно изменяет исходный список другим способом.

Особенно рискованно структурно менять исходный список напрямую после создания представления. Для обычного ArrayList это может сделать операции представления некорректными с точки зрения его ожидаемого диапазона и вызвать ConcurrentModificationException.

Подробное решение

subList хранит ссылку на исходный список, смещение начала диапазона и его текущий размер. Операции чтения, замены, добавления и удаления выполняются с учётом этого диапазона, а изменения структуры, разрешённые через само представление, синхронно отражаются в исходном списке.

import java.util.ArrayList;
import java.util.List;

List<String> source = new ArrayList<>(List.of("A", "B", "C"));
List<String> part = source.subList(1, 3);

part.set(0, "X");
System.out.println(source); // [A, X, C]

В примере part ссылается на элементы исходного списка, поэтому set меняет его содержимое. При этом set не меняет размер списка и является незатратной по структуре операцией для ArrayList.

Структурные изменения через part допустимы: они изменяют и диапазон, и исходный список. Но структурное изменение source напрямую после создания part нарушает ожидаемое состояние представления; конкретным практическим последствием обычно становится ConcurrentModificationException при последующей операции.

Если нужна независимая коллекция, следует явно создать копию, например new ArrayList<>(part). Копия расходует дополнительную память и время O(n), зато её дальнейшие изменения не зависят от исходного списка.

Ситуация из практики

Сервис получает большой список записей и передаёт subList в задачу пакетной обработки. В первом варианте исходный список очищается или пополняется параллельно с обработкой диапазона. В результате обработчик получает ConcurrentModificationException либо работает с неожиданным набором элементов.

Рассматривались два варианта. Синхронизация доступа к исходному списку могла бы уменьшить риск гонки, но не превращает представление в независимый снимок и усложняет координацию. Передача копии требует дополнительной памяти и копирования, но изолирует пакет от последующих изменений.

Для пакетной обработки выбран ArrayList-снимок диапазона. Небольшая стоимость копирования оказалась предпочтительнее неявной связи с жизненным циклом исходной коллекции; границы и содержимое пакета стали стабильными.

Что кандидаты часто упускают

Всегда ли изменение элемента через исходный список видно в subList?

Да, если список поддерживает такие операции и изменение происходит в пределах диапазона представления. Замена значения не меняет структуру списка, поэтому представление продолжает ссылаться на тот же диапазон и видит новое значение.

Чем subList отличается от копии по сложности и памяти?

Представление обычно создаётся за O(1) дополнительной работы и не копирует элементы, но сохраняет зависимость от исходного списка. Копия требует O(n) времени и памяти для диапазона из n элементов, зато после создания независима и предсказуемее при передаче между компонентами.

Можно ли безопасно изменить исходный список после создания subList, если изменение происходит вне диапазона?

Нельзя полагаться на безопасность такого сценария. Структурное изменение исходного списка вне представления может изменить его размер или расположение элементов и нарушить согласованность диапазона; последующая операция над subList может завершиться ConcurrentModificationException. Безопасные варианты — выполнять структурные изменения через само представление либо заранее создать независимую копию.