Основы работы с целыми числами в коде

Иван Корнев·21.05.2024·⏱5 мин

Величина целого типа — это число без дробной части, которое компьютер хранит в памяти как фиксированный набор битов (обычно 8, 16, 32 или 64). В отличие от математических чисел, у таких величин есть строгий предел: если результат вычисления выходит за границы этого диапазона, происходит переполнение, ведущее к ошибочным данным. Понимание этих ограничений критически важно для написания безопасного и эффективного кода.

Природа целочисленных данных

Целые типы (integer) используются для представления счетчиков, индексов массивов, идентификаторов и любых данных, где дробная часть не имеет смысла. Их главное преимущество перед числами с плавающей запятой (float, double) — скорость вычислений и предсказуемость хранения в памяти.

Компьютер не хранит числа «как есть». Он кодирует их в двоичной системе. Количество выделенных бит определяет максимальное значение, которое можно сохранить.

Ключевое отличие: Математическое множество целых чисел бесконечно, а машинная величина целого типа всегда ограничена размером ячейки памяти.

Знаковые и беззнаковые типы

При выборе типа данных первым вопросом является необходимость хранения отрицательных значений. От этого зависит способ интерпретации битов.

Знаковые типы (Signed)

Используют один бит (старший) для хранения знака числа, а остальные — для значения. Чаще всего применяется кодирование «дополнение до двух» (two's complement).

Диапазон 8 бит: от −128 до +127.
Особенность: Половина диапазона уходит на отрицательные числа.

Беззнаковые типы (Unsigned)

Все биты используются только для величины числа. Отрицательные значения невозможны.

Диапазон 8 бит: от 0 до 255.
Применение: Идеально для размеров файлов, количества элементов, цветовых каналов (RGB), где отрицательные числа физически не существуют.

Опасность смешивания: Операции между знаковыми и беззнаковыми типами без явного приведения часто приводят к логическим ошибкам. Например, сравнение -1 (signed) и 1 (unsigned) может дать неожиданный результат, так как -1 будет интерпретировано как огромное положительное число.

Таблица стандартных диапазонов

Ниже приведены наиболее распространенные размеры типов, встречающиеся в современных языках (C++, Java, C#, Go).

Размер (бит)	Тип (Signed)	Диапазон (Signed)	Тип (Unsigned)	Диапазон (Unsigned)
8	`int8_t`, `byte`	−128 … 127	`uint8_t`	0 … 255
16	`int16_t`, `short`	−32 768 … 32 767	`uint16_t`	0 … 65 535
32	`int32_t`, `int`	−2·10⁹ … 2·10⁹	`uint32_t`	0 … 4·10⁹
64	`int64_t`, `long`	−9·10¹⁸ … 9·10¹⁸	`uint64_t`	0 … 1.8·10¹⁹

Проблема переполнения

Переполнение (overflow) возникает, когда результат арифметической операции превышает максимально возможное значение типа. Поведение системы зависит от языка программирования:

Циклическое переполнение (Wrap-around): Характерно для C, C++, Rust (в режиме релиза). Если к максимальному значению uint8 (255) добавить 1, результат станет 0. Это часто используется в криптографии, но опасно в бизнес-логике.
Исключение (Exception): Языки вроде C# (в контексте checked) или Swift выбрасывают ошибку времени выполнения, останавливая программу.
Автоматическое расширение: В Python и JavaScript (BigInt) целые числа могут занимать столько памяти, сколько нужно, поэтому классическое переполнение отсутствует (ценой производительности).

Как правильно выбрать тип

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

Для счетчиков циклов и индексов: Обычно достаточно int (32 бита). Даже если массив занимает гигабайты, 32 бита позволяют адресовать до 4 млрд элементов.
Для финансовых расчетов (копейки): Используйте 64-битные знаковые типы (long), чтобы избежать переполнения при суммировании больших оборотов. Никогда не используйте float для денег.
Для сетевых протоколов и форматов файлов: Строго следуйте спецификации. Если протокол требует 16-битное поле, используйте uint16_t, даже если язык поддерживает большие типы по умолчанию.
Для экономии памяти в больших массивах: Если вы храните миллионы объектов, где значение не превышает 100, использование byte вместо int сократит потребление памяти в 4 раза, что улучшит работу кэша процессора.

Правило безопасности: При выполнении умножения или сложения потенциально больших чисел временно приводите операнды к типу большего размера (например, к 64 битам), выполняйте операцию и только потом проверяйте, влезает ли результат в исходный тип.

Особенности в популярных языках

C / C++: Размер типа int зависит от платформы (может быть 16, 32 или 64 бит). Для переносимости кода рекомендуется использовать фиксированные типы из заголовка <stdint.h> (например, int32_t).
Java: Размеры типов строго фиксированы спецификацией (int всегда 32 бита, long всегда 64). Нет беззнаковых примитивных типов (кроме char).
Python: Тип int имеет произвольную точность. Программисту не нужно думать о переполнении, но стоит помнить о снижении скорости при работе с гигантскими числами.
JavaScript: Все числа — это 64-битные вещественные (IEEE 754). Точное целое представление гарантировано только в диапазоне от −2⁵³ до +2⁵³. Для больших целых необходим тип BigInt.

Частые ошибки

Неявное усечение: Присваивание результата вычисления long переменной типа int без проверки границ.
Бесконечные циклы: Использование беззнакового типа для счетчика цикла с условием i >= 0. Поскольку беззнаковое число никогда не станет меньше нуля, цикл станет вечным после переполнения (перехода в 0).
Среднее арифметическое: Формула (a + b) / 2 может вызвать переполнение суммы, даже если результат помещается в тип. Безопаснее писать a + (b - a) / 2.

FAQ

В чем разница между int и Integer? В таких языках, как Java или C#, int — это примитивный тип (хранится непосредственно в стеке, быстрее), а Integer — это объект-обертка (хранится в куче, может иметь значение null, медленнее).

Можно ли хранить дробные числа в целочисленном типе? Да, используя технику «фиксированной запятой». Например, хранить деньги не в рублях (10.50), а в копейках (1050) как целое число. Это исключает ошибки округления, свойственные типу float.

Что делать, если диапазон данных неизвестен заранее? Если язык поддерживает типы произвольной точности (Python, BigInt в JS/C#), используйте их. В статически типизированных языках (C++, Rust) выбирайте максимально широкий стандартный тип (int64_t), если память не является критическим ресурсом.