Основы программирования на Java
Шрифт:
| № | Оператор | Результат | № | Оператор | Результат |
| 1 | & | побитовое И (AND) | 8 | &= | Побитовое И (AND) с присваиванием |
| 2 | 1 | побитовое ИЛИ (OR) | 9 | |= | побитовое ИЛИ (OR) с присваиванием |
| 3 | ^ | побитовое исключающее ИЛИ (XOR) | 10 | ^= | побитовое исключающее ИЛИ (XOR) с присваиванием |
| 4 | >> | сдвиг вправо | 11 | >>= | сдвиг вправо с присваиванием |
| 5 | >>> | сдвиг вправо с заполнением нулями | 12 | >>>= | сдвиг вправо с заполнением нулями с присваиванием |
| 6 | << | сдвиг влево | 13 | <<= | сдвиг влево с присваиванием |
| 7 | ~ | побитовое унарное отрицание (NOT) |
|
|
|
В таблице 4.3 показано, как каждый из операторов битовой арифметики воздействует на возможные комбинации битов своих операндов.
Таблица 4.3
| А | В | OR | AND | XOR | NOT А |
|
| 0 | 0 | 0 | 0 | 0 | 1 | |
| 1 | 0 | 1 | 0 | 1 | 0 | |
| 0 | 1 | 1 | 0 | 1 | 1 | |
| 1 | 1 | 1 | 1 | 0 | 0 |
Оператор << выполняет сдвиг влево всех битов своего левого операнда на число позиций, заданное правым операндом. При этом часть битов в левых разрядах выходит за границы и теряется, а соответствующие правые позиции заполняются нулями.
Оператор >> означает в языке Java сдвиг вправо. Он перемещает все биты своего левого операнда вправо на число позиций, заданное правым операндом. Когда биты левого операнда выдвигаются за самую правую позицию слова, они теряются. При сдвиге вправо освобождающиеся старшие (левые) разряды сдвигаемого числа заполняются предыдущим содержимым знакового разряда. Сделано это для того, чтобы при сдвиге вправо числа сохраняли свой знак.
Часто требуется, чтобы при сдвиге вправо расширение знакового разряда не происходило, а освобождающиеся левые разряды заполнялись бы нулями. С этой целью используется оператор беззнакового сдвига вправо >>>.
Для того чтобы можно было сравнивать два значения, в Java имеется набор операторов, описывающих отношение и равенство. Список таких операторов приведен в таблице 4.4.
Таблица 4.4
| № | Оператор | Результат |
| 1 | = = | равно |
| 2 | != | не равно |
| 3 | > | больше |
| 4 | < | меньше |
| 5 | >= | больше или равно |
| 6 | <= | меньше или равно |
Значения любых типов, включая целые и вещественные числа, символы, логические значения и ссылки, можно сравнивать, используя оператор проверки на равенство == и неравенство !=. Обратите внимание — в языке Java проверка на равенство обозначается последовательностью (==). Один знак (=) — это оператор присваивания.
Операторы отношения могут применяться только к операндам числовых типов. С их помощью можно работать с целыми, вещественными и символьными типами. Каждый из операторов отношения возвращает результат типа boolean, т.е. либо true, либо false.
Булевы логические операторы, перечень которых приведен в таблице 4.5, оперируют только с операндами типа boolean. Все бинарные логические операторы воспринимают в качестве операндов два значения типа boolean и возвращают результат того же типа.
Таблица 4.5. Таблица булевых логических операторов
| № | Оператор | Результат | № | Оператор | Результат |
| 1 | & | логическое И (AND) | 7 | &= | И (AND) с присваиванием |
| 2 | | | логическое ИЛИ (OR) | 8 | = | ИЛИ (OR) с присваиванием |
| 3 | ^ | логическое исключающее ИЛИ (XOR) | 9 | ^= | исключающее ИЛИ (XOR) с присваиванием |
| 4 | || | оператор OR быстрой оценки выражений (short circuit OR) | 10 | == | равно |
| 5 | && | оператор AND быстрой оценки выражений (short circuit AND) | 11 | != | не равно |
| 6 | ! | логическое унарное отрицание (NOT) | 12 | ? : | тернарный оператор if-then-else |
Логические булевы операторы AND (И), OR (ИЛИ) и XOR (исключающее ИЛИ) выполняют над логическими величинами те же операции, что и их аналоги из семейства битовой логики. Унарный оператор NOT (НЕ) инвертирует логическое значение. В таблице 4.6 показаны результаты воздействия логических операторов на различные комбинации значений операндов.
Таблица 4.6
| A | В | OR | AND | XOR | NOT A |
| false | false | false | false | false | true |
| true | false | true | false | true | false |
| false | true | true | false | true | true |
| true | true | true | true | false | false |
Существуют два дополнения к набору логических операторов. Это альтернативные версии операторов AND и OR, служащие для быстрой оценки логических выражений. Если первый операнд оператора OR имеет значение true, то независимо от значения второго операнда результатом операции будет величина true. Аналогично в случае оператора AND, если первый операнд — false, то значение второго операнда на результат не влияет — он всегда будет равен false. Если вы используете операторы & & и || вместо обычных форм & и |, то Java не производит оценку правого операнда логического выражения, если ответ ясен из значения левого операнда. Общепринятой практикой является использование операторов && и || практически во всех случаях оценки булевых логических выражений. Версии этих операторов & и | применяются только в битовой арифметике.
Общая форма оператора if-then-else такова:
В качестве первого операнда — «выражение 1» — может быть использовано любое выражение, результатом которого является значение типа boolean. Если результат равен true, то выполняется оператор, заданный вторым операндом, то есть «выражение2». Если же первый операнд равен false, то выполняется третий операнд — «выражениеЗ». Второй и третий операнды, то есть «выра- жение2» и «выражениеЗ», должны возвращать значения одного типа и не должны иметь тип void. В приведенной ниже программе этот оператор используется для проверки делителя перед выполнением операции деления. В случае нулевого делителя возвращается значение 0.