What is short circuiting and how is it used when programming in Java?
Solution 1
Short-circuiting is where an expression is stopped being evaluated as soon as its outcome is determined. So for instance:
if (a == b || c == d || e == f) {
// Do something
}
If a == b
is true, then c == d
and e == f
are never evaluated at all, because the expression's outcome has already been determined. if a == b
is false, then c == d
is evaluated; if it's true, then e == f
is never evaluated. This may not seem to make any difference, but consider:
if (foo() || bar() || baz()) {
// Do something
}
If foo()
returns true, then bar
and baz
are never called, because the expression's outcome has already been determined. So if bar
or baz
has some other effect than just returning something (a side effect), those effects never occur.
One great example of short-circuiting relates to object references:
if (a != null && a.getFoo() != 42) {
// Do something
}
a.getFoo()
would normally throw a NullPointerException
if a
were null
, but because the expression short-circuits, if a != null
is false
, the a.getFoo()
part never happens, so we don't get an exception.
Note that not all expressions are short-circuited. The ||
and &&
operators are short-circuited, but |
and &
are not, nor are *
or /
; in fact most operators are not.
Solution 2
Short-circuit evaluation means that when evaluating boolean expressions (logical AND
and OR
) you can stop as soon as you find the first condition which satisfies or negates the expression.
For example, suppose you were evaluating a logical OR
with several sub-expressions, each of which is very costly to evaluate:
if (costlyTest1() || costlyTest2() || costlyTest3()) { // ...
The JVM can stop evaluating the "costlyTest" functions as soon as it finds one that returns true
, since that will immediately satisfy the boolean expression. So if costlyTest1()
returns true then the other tests will be skipped. Similarly:
if (costlyTest1() && costlyTest2() && costlyTest3()) { // ...
The JVM can stop evaluating the functions as soon as it finds one that returns false
, since that immediately negates the expression; so if costlyTest1()
returns false then the other functions will not be called.
These rules pertain with any level of nesting of boolean expressions and can be taken advantage of to avoid unnecessary work, as demonstrated in the examples above.
Solution 3
Short Circuit
: If the first part is true
don't bother evaluating the rest of the expression. Same logic applies for false
in the case of &&
which is also short circuiting
Admin
Updated on November 30, 2020Comments
-
Admin over 3 years
Possible Duplicate:
Does java evaluate remaining conditions after boolean result is known
Why do we usually use||
not|
, what is the difference?I missed my class lecture the other day and I was wondering if anyone could give an explanation what short circuiting is and maybe an example of it being used in a simple Java program. Thanks for your help!
-
biziclop about 12 yearsMore precisely: stop evaluating a logical expression as soon as the result is certain.
-
Jeffrey about 12 yearsYou just said that Java only evaluates the first part of an expression.
-
Admin about 12 yearsAh, I see. That was simple enough. Thanks for your quick and clear explanation!
-
Cratylus about 12 years@Jeffrey:I don't understand your comment.
-
Jeffrey about 12 years@user384706 You said that if the first part of an expression is
true
, any expression, then it doesn't evaluate the rest of the expression. And that it does the same thing if the first part isfalse
. -
Cratylus about 12 years@Jeffrey:Yes.
if(a && b)
ifa
isfalse
then the rest i.e.b
is not evaluated.Likewiseif(a || b)
ifa
istrue
then the rest i.e.b
is not evaluated.Where is the error? -
Jeffrey about 12 years@user384706 You never specify which operations it short circuits on. A literal interpretation of your statement leads to
a || b
only ever evaluatinga
. (You say if the first part of any expression istrue
, then don't bother evaluating the rest of it.) -
Cratylus about 12 years@Jeffrey:To be honest I still don't understand what is your complaint.What is the difference with the statement
if (a == b || c == d || e == f)
orif (costlyTest1() etc
in the other answers that you didn't downvote?You want me to write some concrete expression in place ofa && b
?Really I don't follow -
Jeffrey about 12 years@user384706 Let's look at an example, shall we?
a || b
. Ifa
istrue
, according to your answer, we don't bother evaluating the rest of the expression (okay, good, this makes sense). However, ifa
isfalse
, we also don't bother evaluating the rest of the expression (but what ifb
istrue
?). According to your answer, this is exactly what the JVM does, when in fact, it doesn't. -
Cratylus about 12 years@Jeffrey:Oh, this is what you mean.The
false
applies for&&
of course since this is also a short circuit operator.In the case of||
if the first isfalse
then it will try to evaluate the rest but this is of course common sense otherwise there wouldn't be a question on short circuit but how doesAND
andOR
work