What is wrong with the short circuit logic in this Java code?

Question

Why doesn\'t func3 get executed in the program below? After func1, func2 doesn\'t need to get evaluated but for func3, shouldn\'t it?

if (func1() || func2()          


        

Answer 1

You're using a short-circuited or. If the first argument is true, the entire expression is true.

It might help if I add the implicit parentheses that the compiler uses

Edit: As Chris Jester-Young noted, this is actually because logical operators have to left-to-right associativity:

if (func1() || (func2() && func3()))

After func1 returns, it becomes this:

if (true || (func2() && func3()))

After evaluating the short-circuited or, it becomes:

if (true)