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

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

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

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

Главная идея — отделить вычисление исходных значений от их записи. Это делает операции вроде обмена двух переменных компактными и предсказуемыми.

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

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

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

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

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

package main

import "fmt"

func main() {
    x, y := 1, 2
    x, y = y, x
    fmt.Println(x, y)
}

В примере сначала вычисляются y и x, то есть 2 и 1. После этого значения записываются в x и y, поэтому результатом будет 2 1.

Это правило не означает, что вся операция неделима для других горутин. Между чтением и записью могут возникать гонки, если переменные совместно используются без подходящей синхронизации. Для межпоточного доступа нужны, например, каналы, mutex или атомарные операции — в зависимости от задачи.

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

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

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

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

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

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

Означает ли множественное присваивание атомарное обновление для других горутин?

Нет. Гарантия относится к семантике вычисления и присваивания в рамках одной последовательности выполнения, а не к межпоточному наблюдению. Другие горутины могут одновременно читать или изменять те же данные, что создаёт гонку; множественное присваивание само по себе её не устраняет.
Что происходит при смешении обычных переменных и вызовов функций в левой части?

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

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