I\'m wondering if it\'s guaranteed that in a Java program, the boolean expression on the right of a conjunction (exp2 above) will NOT be evaluated as long as the expression
No, java uses Short circuit evaluation. If expr1 is false, expr2 will not be evaluated, thus your && usage is perfectly safe.
expr1
false
expr2
&&
Also, if you have if (exp1 || exp2) { .. } - exp2 will not be evaluated if exp1 is true.
if (exp1 || exp2) { .. }
exp2
exp1
true