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

При обращении через оператор индексации к отсутствующему ключу Python вызывает метод missing(key) у подкласса dict. Возвращённое методом значение становится результатом чтения; если метод возбуждает исключение, оно передаётся вызывающему коду. Сам ключ автоматически не добавляется в словарь.

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

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

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

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

Разработчик может ожидать, что missing будет вызываться при любом отсутствии ключа. Это неверно: специальный метод участвует только в определённом пути доступа, поэтому использование get, проверки вхождения или методов обновления может дать другой результат.

Неверное предположение особенно опасно в конфигурациях и кэшах. Например, чтение через квадратные скобки может вернуть вычисленное значение, а чтение через get — вернуть None, что приведёт к разным веткам бизнес-логики.

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

Если объект является экземпляром подкласса dict, а стандартная реализация dict.getitem не находит ключ, Python проверяет наличие метода missing у типа объекта и вызывает его с отсутствующим ключом.

Метод может вернуть любое значение, включая None. Возврат не изменяет словарь автоматически: последующее чтение снова может вызвать missing. Чтобы сохранить вычисленное значение, метод должен явно записать его в словарь, если такая мемоизация действительно нужна.

Хук не вызывается автоматически методами get, setdefault, оператором in и обычным перебором ключей. Он также не относится к точному экземпляру встроенного dict, поскольку у него нельзя объявить собственный метод missing; механизм предназначен для подклассов.

Минимальный пример:

class Defaults(dict):
    defaults = {'timeout': 30}

    def __missing__(self, key):
        if key in self.defaults:
            return self.defaults[key]
        raise KeyError(key)

config = Defaults()
print(config['timeout'])       # 30
print(config.get('timeout'))   # None
print('timeout' in config)     # False

В примере чтение через квадратные скобки вызывает missing, но ключ timeout не появляется в config. Метод get напрямую возвращает значение по умолчанию самого метода и не использует этот хук.

Главный компромисс — предсказуемость против удобства. Ленивое значение без записи экономит память и не мутирует объект, но повторяет вычисление; запись результата ускоряет последующие чтения, однако добавляет состояние и может создать проблемы при изменении источника значения.

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

В конфигурационном объекте часть параметров имеет централизованные значения по умолчанию, а неизвестные параметры должны считаться ошибкой. Возможны три варианта: вызывать get в каждом месте, переопределить getitem полностью или определить missing.

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

Выбран подкласс dict с missing, который возвращает значение только для известного набора параметров и возбуждает KeyError для остальных. Это даёт единый контракт чтения, не скрывает опечатки и не добавляет значения в конфигурацию без явного решения.

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

Вызывается ли missing при использовании метода get?

Нет. Метод dict.get самостоятельно обрабатывает отсутствие ключа и возвращает переданное значение по умолчанию либо None. Он не делегирует такую ситуацию в missing, поэтому нельзя считать get и индексированный доступ взаимозаменяемыми.

Добавляет ли missing возвращённое значение в словарь автоматически?

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

Что произойдёт, если missing сам возбудит исключение?

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