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

Если несколько ветвей select готовы к немедленному выполнению, Go выбирает одну из них псевдослучайно. Порядок ветвей в исходном тексте не задаёт приоритет и не гарантирует последовательный выбор.

Если готова только одна ветвь, выполняется она. Если не готова ни одна, конструкция блокируется, кроме случая с ветвью default: тогда выбирается default.

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

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

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

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

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

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

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

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

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

Если готовых операций нет, поведение зависит от наличия default:

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

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

package main

import "fmt"

func main() {
    left := make(chan string, 1)
    right := make(chan string, 1)
    left <- "left"
    right <- "right"

    select {
    case v := <-left:
        fmt.Println(v)
    case v := <-right:
        fmt.Println(v)
    }
}

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

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

Сервис читает команды из рабочего канала и сигнал завершения из отдельного канала. Если оба канала готовы, обычный select может сначала обработать команду, а не завершение. Для большинства приложений это приемлемо: завершение происходит после обработки некоторого уже принятого объёма работы.

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

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

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

Гарантирует ли select строгую справедливость между постоянно готовыми ветвями?

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

Когда вычисляются выражения в ветвях select?

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

Что произойдёт с default, если одновременно готова обычная ветвь?

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