Используется инвалидированный collection index

V-COR-04 · Дефект

Используется инвалидированный collection index

Индекс связан с состоянием коллекции. Изменение структуры может сделать сохранённый индекс недействительным.

Пример проблемы и направление исправления

Учебные сокращённые фрагменты Swift или схемы протокола. Вспомогательные API условны. Это не тестовые oracle и не обещание, что текущий subset выдаст диагностику именно на этот код.

var values = [10, 20]
let index = values.index(before: values.endIndex)
values.removeAll()
print(values[index])

values.removeAll()
if let first = values.first { print(first) }

Что изменить и что сохранить

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

Что подтверждено сейчас

Принят bounded source subset по контракту задачи. Подтверждение распространяется только на допущенные source forms, профиль сборки, positive/negative и unknown-границы из приёмки. Пример выше и весь класс похожих программ автоматически принятыми не становятся.

Владелец реализации

T011: точная область и ограничения прослеживаются во внутреннем source manifest.

Стратегия первого результата

Узкий проверяемый случай — план реализации, не maturity

Смысл результата

Дефект — не уровень severity

Профиль реестра

native-experimental.swift-6.3.3

Автоисправление и CI

Эта страница не заявляет autocorrect, default enablement или blocking CI.

Ключ происхождения

VISION