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

Чтобы узнать результирующий тип всего выражения, необходимо просмотреть описание каждого метода и класса.

Компилятор без труда справится с такой задачей, однако разработ­чику будет нелегко проследить всю цепочку. В этом случае можно вос­пользоваться тождественным преобразованием, выполнив приведение к точно такому же типу. Это ничего не изменит в структуре программы, но значительно облегчит чтение кода:

print((MyFlatlmpl)(getCity().getStreet().getHouse().getFlat()));

Преобразование примитивных типов (расширение и сужение)

Очевидно, что следующие четыре вида приведений легко представ­ляются в виде таблицы 7.1.

ссылочный тип, расширение

ссылочный тип, сужение

Табл. 7.1. Виды приведений.

Что все это означает? Начнем по порядку. Для простых типов расши­рение означает, что осуществляется переход от менее емкого типа к более емкому. Например, от типа byte (длина 1 байт) к типу int (длина 4 байта). Такие преобразования безопасны в том смысле, что новый тип всегда га­рантированно вмещает в себя все данные, которые хранились в старом типе, и таким образом не происходит потери данных. Именно поэтому компилятор осуществляет его сам, незаметно для разработчика:

byte b=3; int a=b;

В последней строке значение переменной b типа byte будет преобра­зовано к типу переменной а (то есть, int) автоматически, никаких специ­альных действий для этого предпринимать не нужно.

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

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

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

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

• от int к long, float, double

• от long к float, double

• от float к double

Обратите внимание, что нельзя провести преобразование к типу char от типов меньшей или равной длины (byte, short), или, наоборот, к short от char без потери данных. Это связано с тем, что char, в отличие от осталь­ных целочисленных типов, является беззнаковым.

Тем не менее, следует помнить, что даже при расширении данные все-таки могут быть в особых случаях искажены. Они уже рассматривались в предыдущей лекции, это приведение значений int к типу float и приведение значений типа long к типу float или double. Хотя эти дробные типы вмеша­ют гораздо большие числа, чем соответствующие целые, но у них меньше значащих разрядов.

Повторим этот пример: