Программирование на JAVA

int х= 300000; print(x*x);

Результатом такого примера будет: -194313216

Возвращаясь к инвертированию числа -2147483648, мы видим, что математический результат равен в точности +23\ или, в двоичном форма­те, 10....0 (единица и 31 ноль). Но тип int рассматривает первую единицу как знаковый бит, и результат получается равным -2147483648.

Таким образом, явное выписывание в коде литералов, которые слишком велики для используемых типов, приводит к ошибке компиля­ции (см. лекцию 3). Если же переполнение возникает в результате выпол­нения операции, "лишние" биты просто отбрасываются.

Подчеркнем, что выражение типа -5 не является целочисленным ли­тералом. На самом деле оно состоит из литерала 5 и оператора -. Напом­ним, что некоторые литералы (например, 2147483648) могут встречаться только в сочетании с унарным оператором -.

Кроме того, числовые операции в Java обладают еще одной особен­ностью. Хотя целочисленные типы имеют длину 8, 16, 32 и 64 бита, вы­числения проводятся только с 32-х и 64-х битной точностью. А это значит, что перед вычислениями может потребоваться преобразовать тип одного или нескольких операндов.

Если хотя бы один аргумент операции имеет тип long, то все аргу­менты приводятся к этому типу и результат операции также будет типа long. Вычисление будет произведено с точностью в 64 бита, а более стар­шие биты, если таковые появляются в результате, отбрасываются.

Если же аргументов типа long нет, то вычисление производится с точностью в 32 бита, и все аргументы преобразуются в int (это относится к byte, short, char). Результат также имеет тип int. Все биты старше 32-го игнорируются.

Никакого способа узнать, произошло ли переполнение, нет. Расши­рим рассмотренный пример:

int ¡=300000;

print(i*i); // умножение с точностью 32 бита long m=i;

print(m*m); // умножение с точностью 64 бита

print(1/(m-i)); // попробуем получить разность значений int и long

Результатом такого примера будет:

-194313216 90000000000

затем мы получим ошибку деления на ноль, поскольку переменные i и m хоть и разных типов, но хранят одинаковое математическое значение и их разность равна нулю. Первое умножение производилось с точностью в 32 бита, более старшие биты были отброшены. Второе — с точностью в 64 бита, ответ не исказился.