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

• если любой из аргументов имеет тип double, то и второй приводит­ся к double;

• иначе, если любой из аргументов имеет тип float, то и второй при­водится к float;

• иначе, если любой из аргументов имеет тип long, то и второй при­водится к long;

• иначе оба аргумента приводятся к int.

Бинарное числовое расширение может выполняться при следующих операциях:

• арифметические операции +, -, *, /, %;

• операции сравнения <, <=, >, >=, ==, !=;

• битовые операции &, |, Л;

• в некоторых случаях для операции с условием ? :.

Примеры работы всех этих операторов с учетом расширения подроб­но рассматривались в предыдущих лекциях.

Тип переменной и тип ее значения

Теперь, когда были подробно рассмотрены все примеры преобразо­ваний, нужно вернуться к вопросу переменной и ее значений.

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

Начнем с переменных примитивных типов. Поскольку эти перемен­ные действительно хранят само значение, то их тип всегда точно совпадает с типом значения.

Проиллюстрируем это правило на примере:

byte b=3; char с='А'+3; long m=b+c; double d=m-3F ;

Здесь переменная b будет хранить значение типа byte после сужения целочисленного литерала типа int. Переменная с будет хранить тип char после того, как компилятор осуществит сужающее преобразование ре­зультата суммирования, который будет иметь тип int. Для переменной m выполнится расширение результата суммирования типа от int к типу long. Наконец, переменная d будет хранить значение типа double, получивше­еся в результате расширения результата разности, который имеет тип float.

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

Кроме того, ссылочная переменная любого типа может иметь значе­ние null. Большинство действий над такой переменной, например, обра­щение к полям или методам, приведет к ошибке.