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

Если ключ отсутствует, subscript с default предоставляет указанное значение по умолчанию. При изменении этого значения Swift сохраняет его в словаре под данным ключом, поэтому отдельная проверка наличия ключа не нужна.

Простое чтение отсутствующего ключа само по себе не обязано добавлять его в словарь. Вставка происходит, когда результат используется в изменяемом контексте, например при увеличении значения.

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

Обычный subscript словаря возвращает Optional, потому что ключ может отсутствовать. Для операции «получить значение или начальный элемент, затем изменить его» это приводит к дополнительной проверке, распаковке optional и отдельной вставке.

Вариант с default решает именно эту задачу: он объединяет получение значения и подготовку значения для записи. Такой подход особенно удобен для счётчиков, группировки и накопления элементов по ключам.

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

При подсчёте событий нужно корректно обработать два случая: ключ уже есть или встречается впервые. Неверная реализация может потерять первое событие, повторно искать ключ или создать лишнюю промежуточную коллекцию.

Важно не воспринимать default как средство синхронизации. Он упрощает операцию над одним экземпляром словаря, но не делает одновременные обращения из разных потоков безопасными.

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

Выражение с default возвращает существующее значение, если ключ найден. Если ключ отсутствует, оно использует значение по умолчанию; при последующей записи это значение становится новым значением словаря для данного ключа.

Механизм особенно полезен для операций read-modify-write. Оператор изменения получает доступ к значению через изменяемый subscript, изменяет его и записывает результат обратно, поэтому счётчик можно увеличить напрямую.

var counts: [String: Int] = [:]

let preview = counts["ошибка", default: 0]
print(preview)
print(counts.isEmpty)

counts["ошибка", default: 0] += 1
print(counts["ошибка"]!)

После чтения preview словарь остаётся пустым. После операции += в нём появляется ключ со значением 1. Значение default используется только как исходное значение для отсутствующего ключа.

Default-параметр вычисляется по мере необходимости: для уже существующего ключа выражение default не требуется. Это позволяет не выполнять дорогую подготовку значения, если в словаре уже есть нужная запись.

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

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

Сервис собирает количество ошибок по их идентификаторам. Вариант с обычным subscript требует получить optional, выбрать ноль для отсутствующего ключа, увеличить число и снова записать его. Он очевиден, но содержит больше служебной логики и повышает риск ошибиться при обработке отсутствующего значения.

Вариант с updateValue явно разделяет поиск и обновление. Он полезен, когда нужно узнать старое значение или различить факт наличия ключа, но для простого счётчика избыточен.

Выбор subscript с default оправдан, когда нужна именно операция накопления: значение по ключу берётся или создаётся с заданным начальным состоянием, после чего сразу изменяется. В результате код короче, а сценарий первого появления ключа обрабатывается единообразно.

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

Добавляется ли отсутствующий ключ при обычном чтении через default?

Нет, само чтение не должно менять словарь. Если получить значение по умолчанию и не выполнить запись, ключ не появляется; вставка происходит при изменяемом доступе или явном присваивании.
Вычисляется ли выражение default для уже существующего ключа?

Нет, оно вычисляется только когда действительно требуется значение по умолчанию. Это важно для дорогих операций, например создания большого массива или вызова функции загрузки данных. Однако это не означает, что default-выражение является универсальным ленивым вычислением вне данного subscript.
Делает ли subscript с default операцию безопасной при конкурентном доступе?

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