При обходе словаря изменение его размера приводит к ошибке, а изменение значения существующего ключа обычно нет. Каким механизмом Python различает эти случаи?
Итератор словаря отслеживает структурные изменения: добавление или удаление ключей меняет размер и нарушает безопасный обход, поэтому Python обычно завершает его с RuntimeError. Изменение значения уже существующего ключа размер словаря не меняет, поэтому такой обход обычно продолжается.
Словари — изменяемые коллекции, а их итераторы обходят внутреннюю структуру, которая может перестраиваться при добавлении или удалении ключей. Без обнаружения такой модификации итератор мог бы пропустить элементы, вернуть отдельные элементы повторно или работать с некорректным состоянием.
Поэтому Python использует защиту от изменения размера словаря во время обхода. Это не делает словарь неизменяемым, а ограничивает только опасный сценарий одновременной структурной модификации и итерации.
Обход словаря хранит состояние текущей позиции. Если во время обхода добавить или удалить ключ, расположение элементов и набор ключей могут измениться, а ожидаемая последовательность обхода перестанет быть определённой.
Изменение значения существующего ключа не меняет множество ключей и размер словаря. Однако это не означает, что любые действия с изменяемыми значениями безопасны: значение может быть объектом со своим внутренним состоянием, и его изменение способно повлиять на логику программы.
При создании итератора словаря Python связывает его с текущим состоянием структуры. Во время получения следующего элемента проверяется, не произошло ли структурное изменение, прежде всего изменение количества ключей. При обнаружении такого изменения итератор выбрасывает RuntimeError вместо продолжения потенциально некорректного обхода.
Обновление существующего ключа не добавляет и не удаляет элемент, поэтому проверка размера обычно не срабатывает. Например, при обходе ключей можно заменить значение текущего ключа:
Здесь изменяются значения, но набор ключей остаётся прежним. Напротив, добавление или удаление ключа во время такого обхода обычно приводит к RuntimeError: dictionary changed size during iteration.
Безопасный способ структурно изменить словарь — сначала обойти снимок ключей или сформировать отдельный список изменений, а затем применить их после завершения итерации. Компромисс состоит в дополнительной памяти и, иногда, дополнительном проходе, зато порядок действий становится явным и предсказуемым.
Не следует рассчитывать на продолжение обхода после изменения структуры даже в случаях, когда конкретный запуск случайно не завершился ошибкой. Код, зависящий от такого поведения, хрупок и может отличаться между реализациями или версиями Python.
Сервис обрабатывает словарь активных задач и должен удалить задачи, завершившиеся с ошибкой. Прямое удаление ключей внутри обхода приводит к RuntimeError, поэтому этот вариант неприемлем.
Первый вариант — создать список ключей и удалять элементы из исходного словаря во время обхода списка. Он прост и сохраняет работу с исходным словарём, но требует дополнительной памяти, пропорциональной числу ключей.
Второй вариант — сначала собрать ключи для удаления, а затем удалить их отдельным циклом. Он также использует дополнительную память, зато лучше разделяет принятие решения и изменение состояния, упрощая тестирование и отладку.
Третий вариант — создать новый словарь только с нужными элементами. Это делает преобразование декларативным и удобно для массовой фильтрации, но требует памяти для второго словаря и может быть менее подходящим, если важна идентичность исходного объекта.
Для изменяемого общего словаря выбран второй вариант: сначала формируется список ключей для удаления, затем выполняются удаления. Такой подход сохраняет объект словаря, не нарушает контракт итератора и даёт предсказуемый результат.
Вопрос: Можно ли безопасно добавлять ключи в словарь после завершения текущего обхода?
Ответ: Да. Ошибка относится к изменению словаря во время конкретной активной итерации, а не к запрету на последующее изменение словаря. После выхода из цикла итератор больше не используется, поэтому словарь можно изменять обычным образом.
Вопрос: Что изменится, если обходить не ключи, а значения или пары ключ–значение?
Ответ: Представления ключей, значений и пар ключ–значение используют итерацию по словарю и также подвержены проблеме структурных изменений. Добавление или удаление ключей во время их обхода обычно приводит к RuntimeError; изменение существующего значения не меняет размер словаря, хотя уже полученная пара могла содержать старое значение.
Вопрос: Почему создание списка ключей перед изменением словаря устраняет проблему?
Ответ: Список является отдельной коллекцией и не связан с текущей структурой исходного словаря. Итератор обходит неизменяемый снимок ключей, а удаления выполняются уже в словаре; поэтому итератор списка не обнаруживает изменения исходного словаря. Цена решения — дополнительная память и то, что список может устареть, если словарь изменится между созданием снимка и применением изменений.