ava has well-defined rules for evaluating expressions, including operator precedenceoperator associativity, and order of operand evalution. We describe each of these three rules.

Operator precedence.

 Operator precedence specifies the manner in which operands are grouped with operators. For example, 1 + 2 * 3 is treated as 1 + (2 * 3), whereas 1 * 2 + 3 is treated as (1 * 2) + 3 because the multiplication operator has a higher precedence than the addition operator. You can use parentheses to override the default operator precedence rules.

Operator associativity.

 When an expression has two operators with the same precedence, the operators and operands are grouped according to their associativity. For example 72 / 2 / 3 is treated as (72 / 2) / 3 since the division operator is left-to-right associate. You can use parentheses to override the default operator associativity rules.

Most Java operators are left-to-right associative. One notable exception is the assigment operator, which is right-to-left associative. As a result, the expression x = y = z = 17 is treated as x = (y = (z = 17)), leaving all three variables with the value 17. Recall that an assignment statement evaluates to the value of its right-hand side. Associativity it not relevant for some operators. For example, x <= y <= z and x++– are invalid expressions in Java.

Precedence and associativity of Java operators.

 The table below shows all Java operators from highest to lowest precedence, along with their associativity. Most programmers do not memorize them all, and, even those that do, use parentheses for clarity.

LevelOperatorDescriptionAssociativity
16()
[]
.
parentheses
array access
member access
left-to-right
15++
unary post-increment
unary post-decrement
left-to-right
14+

!
~
++
unary plus
unary minus
unary logical NOT
unary bitwise NOT
unary pre-increment
unary pre-decrement
right-to-left
13()
new
cast
object creation
right-to-left
12* / %multiplicativeleft-to-right
11+ –
+
additive
string concatenation
left-to-right
10<< >>
>>>
shiftleft-to-right
9< <=
> >=
instanceof
relationalleft-to-right
8==
!=
equalityleft-to-right
7&bitwise ANDleft-to-right
6^bitwise XORleft-to-right
5|bitwise ORleft-to-right
4&&logical ANDleft-to-right
3||logical ORleft-to-right
2?:ternaryright-to-left
1 =   +=   -=
*=   /=   %=
&=   ^=   |=
<<=  >>= >>>=
assignmentright-to-left
0->lambda expression arrowright-to-left


You’ll find different (and usually equivalent) operator precedence tables on the web and in textbooks. They typically disagree in inconsequential ways because some operators cannot share operands, so their relative precedence order does not matter (e.g, new and !). There is no explicit operator precedence table in the Java Language Specification. Instead, the operator precedence and associativity rules are inferred via the grammar that defines the Java language.

Order of operand evaluation in Java.

 Associativity and precedence determine in which order Java groups operands and operators, but it does not determine in which order the operands are evaluated. In Java, the operands of an operator are always evaluated left-to-right. Similarly, argument lists are always evaluated left-to-right. So, for example in the expression A() + B() * C(D(), E()), the subexpressions are evaluated in the order A(), B(), D(), E(), and C(). Although, C() appears to the left of both D() and E(), we need the results of both D() and E() to evaluate C(). It is considered poor style to write code that relies upon this behavior (and different programming languages may use different rules).

Short-circuit evaluation. With three exceptions (&&||, and ?:), Java evaluates every operand of an operator before the operation is performed. For the logical AND (&&) and logical OR (||) operators, Java evaluate the second operand only if it is necessary to resolve the result. This is known as short-circuit evaluation. It allows statements like if ((s != null) && (s.length() < 10)) to work reliably (i.e., invoke the length() method only if s is not null). Programmers rarely use the non short-circuiting versions (& and |) with boolean expressions.

Operator precedence gone awry.

 Sometimes the precedence order defined in a language do not conform with mathematical norms. For example, in Microsoft Excel, -a^b is treated as (-a)^b instead of -(a^b). So -3^2 evaluates to 9 instead of -9, which is the value that most mathematicians would expect. One wonders whether the programmer was relying on the C precedence order in which unary operators have higher precedence than binary operators. This rule agrees with mathematical conventions for all C operators, but fails with the addition of the exponentiation operator. Once the order was established in Microsoft Excel 2.0, it could not easily be changed without breaking backward compatibility.

Operator associativity gone awry.

 Sometimes the associativty of an operator is implemented left-to-right in one programming language but right-to-left in another. In Wolfram Alpha and Google Sheets, the exponentiation operator is right-to-left associative, so 2 ^ 2 ^ 3 is treated as 2 ^ (2 ^ 3), which is 256. However, in Matlab and Excel, the exponentiation operator is left-to-right associative, so 2 ^ 2 ^ 3 is treated as as (2 ^ 2) ^ 3, which is 64. Exponentiation is not a binary operator in Java.

Leave a Reply

Your email address will not be published.