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

В Python 3.8 и новее выражение ключа вычисляется раньше выражения значения для каждого элемента словарного включения. Это гарантированный порядок языка, поэтому побочный эффект ключа будет наблюдаться до побочного эффекта значения.

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

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

В Python 3.8 порядок был явно закреплён: сначала вычисляется ключ, затем значение. Изменение связано с необходимостью предсказуемого поведения выражений и поддержкой assignment expressions, но сам порядок важен независимо от их использования.

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

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

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

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

Для каждого элемента источник обхода обрабатывается в обычном порядке: вычисляется очередная итерация, проверяются фильтры if, затем вычисляется выражение ключа и после него выражение значения. После этого пара добавляется в словарь.

Минимальный пример для Python 3.8 и новее:

log = []

def make_key(value):
    log.append("ключ")
    return value

def make_value(value):
    log.append("значение")
    return value * 2

result = {make_key(3): make_value(3) for _ in [None]}
print(log)
print(result)

Результат будет таким:

['ключ', 'значение']
{3: 6}

Гарантия относится к вычислению ключа и значения одной пары. Она не означает, что сначала вычислятся все ключи, а потом все значения: выражения выполняются поэлементно.

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

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

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

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

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

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

Применяется ли этот порядок ко всем элементам сразу?

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

Определяет ли порядок вычисления ключа и значения порядок элементов в словаре?

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

Делает ли гарантированный порядок побочные эффекты безопасными?

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