Операторы и выражения

Выражение — это комбинация операндов и операторов, которая после вычисления даёт значение: в 2 + 3 * 4 операнды — числа, операторы — плюс и звёздочка, результат — 14. Набор операторов в Go компактный, три группы: арифметика (+ - * / %), сравнения (== != < > <= >=) и логика (&& || !). Плюс унарный минус для чисел: -a — это текущее значение a, взятое с обратным знаком.

Два расширения сверх чистой математики. Первое: плюс работает и со строками — склейка "Go" + "-" + "учим" даёт "Go-учим". Второе: операторы в Go нельзя перегружать — свои варианты плюса для своих типов определить не выйдет, как в C++ или Kotlin. Комитет Go считает перегрузку источником нечитаемого кода: увидели плюс — знаете точно, что он делает. Это решение в одном ряду с отказом от тернарного оператора, о котором ниже: меньше выразительных средств — меньше способов написать то, что читается иначе, чем работает.

Когда в выражении несколько операторов, порядок задаёт приоритет: *, / и % считаются раньше, чем + и -, поэтому 2 + 3 * 4 — это 14, а не 20. Операторы одного уровня вычисляются слева направо — на делении это видно мгновенно: 20 / 2 * 5 равно 50, потому что сначала деление, потом умножение; интуиция «сначала всё умножение» здесь ломается. Сравнения стоят ниже арифметики — a + 1 > b читается как (a + 1) > b, что совпадает с ожиданием. Логические операторы завершают иерархию: ! сильнее &&, а && сильнее || — мы проходили это в уроке про bool и логику.

Скобки меняют любой порядок и ничего не стоят ни во время выполнения, ни в читаемости. Моё правило простое: если в выражении встретились операторы из разных уровней — ставьте скобки, даже когда помните приоритет. Компилятору скобки безразличны, а вот человеку, который через полгода будет править строку salary * 12 / bonus + tax, приятнее видеть, что именно вы имели в виду.

Здесь Go делает то, чего не делает почти никто из родственников C: i++ — это не оператор, а отдельная инструкция, и значения она не возвращает. i := 5; i++; fmt.Println(i) напечатает 6 — всё честно. Но написать j := i++ не получится: компилятор ответит ошибкой про неожиданный ++, потому что присваиванию нечего присваивать. По той же причине не существует префиксной формы ++i — только постфиксная, только как отдельная строка.

Зачем такое ограничение? Из-за него исчезает классика C вроде a[i++] = i — код, где одно выражение одновременно читает и двигает счётчик, и порядок вычислений становится головоломкой. В Go инкремент — ровно один шаг: увеличил на единицу и всё. Если нужен другой шаг или «увеличить и использовать», пишите честно: i += 3 или две строки. К слову, i++ — это просто сокращение для i += 1, а его основная работа происходит в заголовке цикла for — до него дойдём в уроке про цикл for.

Каждому арифметическому оператору соответствует составное присваивание: +=, -=, *=, /=, %=. Запись total += 4 означает «прибавь к total четыре и запиши обратно» — то же, что total = total + 4, только короче и без повторения имени переменной. На коротких именах выигрыш скромный, а на длинных — заметный: userProfile.Wallet.Balance -= fee читается лучше, чем та же строка с полным повторением пути слева от равенства.

Отдельная красота — += со строками: log += "готово; " дописывает строку к строке. Присваивание в этом списке — самое «низкое» по приоритету действие: сначала считается вся правая часть, потом результат записывается в левую. И не путайте пары: = — присваивание, := — объявление с выводом типа; после того как переменная объявлена, обновляйте её одинарным равенством или составным оператором, второй раз := для той же переменной в той же области видимости компилятор не пропустит — это из урока про переменные и константы.

В C, JavaScript и Python короткое условие пишется в одну строку: x > 0 ? "плюс" : "минус". В Go такого оператора нет — только развёрнутый if/else из четырёх строк. Спорное решение, к которому я после пары лет на языке пришёл с согласием: тернарник читается хорошо, пока выражения короткие, а дальше превращается в полосу препятствий — вложенные знаки вопроса, скобки ради приоритета, условия внутри условий. Развёрнутый if длиннее, зато читается сверху вниз без прокрутки глазами вправо.

Практический компромисс: когда короткая запись всё-таки нужна, её собирают из двух строк — вычислить в if с начальным присваиванием, сохранить в переменную, присвоить ветку. Идиоматичный вид у этого появляется в уроке про условия: в Go if умеет объявлять переменную в заголовке, и связка «вычислил — проверил» становится почти такой же компактной, как тернарник. Если вам совсем тесно — это честный сигнал, что язык не ваш, и это нормально: выбор инструмента дело личное.

Go не складывает операнды разных типов: int + float64 без явного преобразования не скомпилируется, о чём подробно говорилось в уроке про числовые типы. Строка с числом тоже не склеится: "версия " + 2 — ошибка о несовпадении типов, даже если на первый взгляд желание понятно. Чтобы получить строку из числа, нужен пакет strconv — например, strconv.Itoa(2), а удобнее всего готовый Sprintf из fmt, где глагол %d сам превращает число в текст — к этому перейдём в уроке про вывод.

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