От чего зависит тип результата бинарного арифметического выражения в Java при разных примитивных типах?
Тип результата определяется правилами двоичного числового продвижения. Для операторов +, -, *, / и % операнды приводятся к общему типу: при наличии double результат имеет тип double, затем по приоритету идут float, long, а во всех остальных случаях — int. Поэтому операции над byte, short и char обычно дают результат типа int.
Java использует фиксированный набор примитивных числовых типов и статическую типизацию. Для арифметических операторов нужен единый предсказуемый алгоритм выбора типа, чтобы результат не зависел от конкретной реализации виртуальной машины.
Правила числового продвижения также предотвращают неявное выполнение арифметики в слишком узком типе. Например, вычисления над byte не продолжаются в byte, поскольку промежуточный результат может выйти за диапазон этого типа.
Если разработчик ожидает, что сложение двух byte вернёт byte, присваивание результата переменной типа byte не скомпилируется без явного преобразования. Неверное понимание правил приводит к ошибкам компиляции или к потере данных при последующем приведении результата к более узкому типу.
Кроме того, выбор типа влияет на переполнение. Даже если операнды имеют небольшой тип, после продвижения до int переполнение происходит уже относительно диапазона int, а явное приведение результата обратно к byte может отбросить старшие биты.
Перед выполнением бинарной арифметической операции Java применяет двоичное числовое продвижение. Если операнды имеют типы byte, short или char, каждый из них преобразуется к int.
Если среди операндов есть double, второй операнд приводится к double. Иначе при наличии float оба становятся float; при наличии long — long. Если ни одного из этих типов нет, используется int.
В выражении left + right оба операнда продвигаются до int, поэтому результат имеет тип int. В выражении sum + large значение sum расширяется до long, и результат становится long.
Правила относятся именно к арифметическим операторам. Сдвиги имеют отдельные правила: тип результата у них зависит от типа левого операнда, а правый операнд продвигается до int.
Есть важное исключение для константных выражений. Результат выражения, составленного только из констант времени компиляции, может быть неявно присвоен более узкому типу, если его значение представимо в этом типе. Это специальное правило присваивания, а не изменение общего результата арифметической операции.
В обработчике бинарного протокола разработчик хранит отдельные байты сообщения, а затем вычисляет контрольное значение. Простое сложение байтов даёт int, поэтому вариант с немедленным приведением каждого операнда к byte усложняет код и может скрыть переполнение.
Можно использовать byte для всех промежуточных значений: это экономит формальный размер переменных, но требует частых приведений и повышает риск потери старших битов. Можно привести итог к byte: код проще, однако переполнение становится частью алгоритма и должно быть явно предусмотрено.
Предпочтительное решение — вести вычисление в int, а к byte приводить только на границе формата, если спецификация протокола действительно требует байтового результата. Такой вариант соответствует правилам Java, упрощает проверку диапазонов и делает место возможного переполнения очевидным.
byte имеет тип int?Потому что byte участвует в двоичном числовом продвижении: перед арифметикой каждый byte преобразуется к int. Это не связано с размером фактического значения и не означает, что Java сначала вычисляет результат в byte, а затем расширяет его.
char в арифметическом выражении?char также продвигается до int. Его значение рассматривается как беззнаковое число в диапазоне от 0 до 65535, поэтому арифметика с char обычно даёт int, а не char.
byte без приведения?Компилятор умеет вычислять константные выражения во время компиляции. Если результат такого выражения помещается в диапазон byte, специальное правило разрешает присваивание. Для выражения с обычными переменными это правило не применяется: после продвижения операндов результат имеет тип int, и требуется явное преобразование.