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

Переполнение знакового целого во время выполнения в Go не вызывает панику. Результат определяется фиксированной разрядностью и представлением конкретного типа; для обычных целых это приводит к циклическому переходу через границу диапазона. Например, увеличение максимального значения int8 даёт минимальное значение int8.

Это отличается от переполнения нетипизированной константы: оно обнаруживается компилятором и приводит к ошибке компиляции.

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

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

Цена такого подхода — ответственность разработчика за контроль диапазона там, где переполнение меняет смысл вычисления: в денежных суммах, размерах буферов, счётчиках и индексах.

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

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

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

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

Диапазон int8 — от -128 до 127, int16 — от -32768 до 32767. При переполнении результат вычисляется в рамках разрядности типа и затем интерпретируется как знаковое значение.

package main

import "fmt"

func main() {
    var x int8 = 127
    x++
    fmt.Println(x)
}

Программа выведет -128. Операция x++ разрешена и не вызывает исключения, но значение счётчика больше не соответствует ожидающемуся монотонному росту.

Разрядность int зависит от архитектуры: обычно это 32 или 64 бита. Поэтому код, рассчитанный на конкретный диапазон, должен использовать явно выбранный тип, например int32 или int64, а не полагаться на размер int.

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

Проверка переполнения должна выполняться до операции либо вычисление нужно проводить в типе с достаточным диапазоном. Для произвольно больших целых применяют math/big.Int, а не обычные встроенные типы.

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

Сервис подсчитывает количество обработанных объектов в int32. При длительной работе счётчик достигает максимума и после следующего увеличения становится отрицательным. Метрики начинают выглядеть некорректно, а фильтрация по условию count >= 0 перестаёт учитывать часть данных.

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

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

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

Вызывает ли переполнение знакового целого панику?

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

Одинаково ли ведут себя переменная и константа при переполнении?

Нет. Переменная может переполниться во время выполнения, а переполненная нетипизированная константа обычно приводит к ошибке компиляции. Компилятор обязан проверить, что константное значение представимо в типе назначения.

Почему нельзя всегда использовать int для счётчиков и размеров?

Размер int зависит от целевой архитектуры, поэтому диапазон значения и результат переполнения могут различаться между сборками. Для протокольных полей, форматов данных и алгоритмов с заданным диапазоном лучше использовать тип фиксированной разрядности, а для больших значений — int64 или специальную арифметику с контролем переполнения.