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

long a=111111111111L; float f = a; a = (long) f; print(a);

Результатом будет: 111111110656

Обратное преобразование — сужение — означает, что переход осуще­ствляется от более емкого типа к менее емкому. При таком преобразова­ли есть риск потерять данные. Например, если число типа int было боль­ше 127, то при приведении его к byte значения битов старше восьмого бу­дут потеряны. В Java такое преобразование должно совершаться явным образом, т.е. программист в коде должен явно указать, что он намеревает­ся осуществить такое преобразование и готов потерять данные.

Следующие 23 преобразования являются сужающими:

• от byte к char

• от short к byte, char

• от char к byte, short

• от int к byte, short, char

• от long к byte, short, char, int

• от float к byte, short, char, int, long

• от double к byte, short, char, int, long, float

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

print((byte)383); print((byte)384); print((byte)-384);

Результатом будет:

127

-128

-128

Видно, что знаковый бит при сужении не оказал никакого влияния, так как был просто отброшен — результат приведения обратных чисел (384 и -384) оказался одинаковым. Следовательно, может быть потеряно Не только точное абсолютное значение, но и знак величины.

Это верно и для типа char:

char с=40000; Pn'nt((short)c);

Результатом будет:

-25536

Сужение дробного типа до целочисленного является более сложной процедурой. Она проводится в два этапа.

На первом шаге дробное значение преобразуется в long, если целе­вым типом является long, или в int - в противном случае (целевой тип byte, short, char или int). Для этого исходное дробное число сначала ма­тематически округляется в сторону нуля, то есть дробная часть просто от­брасывается.

Например, число 3,84 будет округлено до 3, а -3,84 превратится в -3. При этом могут возникнуть особые случаи:

• если исходное дробное значение является NaN, то результатом первого шага будет 0 выбранного типа (т.е. int или long);

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