Высказывания и предикаты

Приоритеты и ассоциативность операторов языка Java

При вычислении значения выражения в языке Java важны не только приоритеты, но и ассоциативность операторов.

Определение 3.20. Оператор @ является левоассоциативным, если выражение a @ b @ c вычисляется, как (a @ b) @ c ; правоассоциативным, если оно эквивалентно a @ (b @ c) ; неассоциативным — если запись a @ b @ c не имеет смысла.

В этом определении символ @ означает любой из бинарных операторов языка.

Использование круглых скобок для группировки всегда позволяет изменить порядок вычислений, так как выражения в скобках вычисляются в первую очередь. Иногда даже формально лишние скобки в выражении полезны — они облегчают правильное восприятие.

В таблице 3.5 все операторы языка Java разбиты на группы с одинаковым приоритетом (операторы с приоритетом 1 выполняются в первую очередь), левоассоциативность обозначена символом , а правоассоциативность — символом .

Таблица 3.5. Приоритеты и ассоциативность операторов

Пр-т	Оператор	Тип опер.	Асс-ть	Операция
1	++	числовой		пре- и постинкремент
	--	числовой		пре- и постдекремент
	+, -	числовой		унарныe плюс и минус
	~	целый		побитовое дополнение
	!	логический		логическое отрицание
	(type)	любой		преобразование типа
2	*, /, %	числовой		умножение, деление и остаток
3	+, -	числовой		сложение и вычитание
	+	строковый		конкатенация строк
4	<<	целый		сдвиг влево
	>>	целый		сдвиг вправо с размножением знакового бита
	>>>	целый		сдвиг вправо с размножением нуля
5	<, <=	числовой		меньше, меньше или равно
	>, >=	числовой		больше, больше или равно
	instanceof	объект,тип		сравнение типов
6	==	простой		равенство значений простых типов
	!=	простой		неравенство значений простых типов
	==	объект		равенство ссылок на объекты
	!=	объект		неравенство ссылок на объекты
7	&	целый		побитовое И
	&	логический		логическое И
8	^	целый		побитовое исключающее Или
	^	логический		логическое исключающее Или
9	|	целый		побитовое Или
	|	логический		логическое Или
10	&&	логический		условное И
11	||	логический		условное Или
12	?:	логический, любой, любой		оператор условия
13	=	любой		присваивание, присваивание с операцией
	*=, /=, %=
	+=, -=
	<<=, >>=
	>>>=, &=
	^=, |=

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

Задачи для самостоятельного решения

Задача 3.6.Докажите, что выражение является предикатом.

Задача 3.7.Докажите, что выражение — не предикат.

Задача 3.8.Изобразите деревья вывода для каждого из законов эквивалентности.

Задача 3.9.Покажите, что все законы эквивалентности являются тавтологиями.

Задача 3.9.Решите задачу о банке с кофейными зернами (см. задачу 3.1)