Short Circuit Logical Operators in Java
When there are two or more relational expressions in a decision-making statement, logical operators are utilized to combine them. The logical operators short circuit and not-short circuit fall into two categories. When they operate, they both employ Boolean values and evaluate to Boolean values. The terms "Boolean operators" and "logical operators" refer to operators that do and do not short-circuit, respectively.
Short-circuit and not-short-circuit logical operator work logically on Boolean expressions, but the former only evaluates the latter expression when it is essential. For instance, if you want to do a logical AND between expr-1 and expr-2, the result will always be false if expr-1 returns false, regardless of what expr-2 returns. If Expr-2 in the example is disregarded, the outcome of the AND operation won't be affected. It speeds up the procedure. In contrast, the not-short circuit logical operation executes all Boolean expressions that are submitted for execution.
When a logical expression is evaluated using Java logical operators and ends before it has fully evaluated, this is referred to as a short-circuit. A short circuit occurs when the result is returned even before the expression has been completely evaluated. Short circuit analysis prevents pointless labor and promotes effective processing.
The various types of short circuits that can happen in Java are listed below:
- AND(&&) short circuit:
Since the result will always be false regardless of the extra criterion, the phrase for AND is tested up until one false result is obtained. When the first operand of an expression with the symbol &&(logical AND) is false, a short circuit occurs, the next expression is not examined, and false is returned.
The short-circuit operator, often called a logical AND or a conditional AND operator, evaluates its second input under certain conditions. The expression's value is false if the first operand evaluates to false, regardless of the value of the second operand. As a result, to save time, the Java interpreter skips the second operand.
Example: Using the AND(&&) operator to short-circuit.
// Java code that uses the && operator to show short circuiting
import java.io.*;
class AND {
public static void main(String arg[])
{
//Evaluation ends, and false is returned because the first operand is false and the operator is &&.
if (f && t && t) {
System.out.println("this output”+” was printed”+” due to a short circuit”);
}
else {
System.out.println("This output "
+ "will not "
+ "be printed");
}
// No true will be met before the last condition; hence the entire expression will be evaluated.
if (f || f || t) {
System.out.println("Given that”+” there won't be”+” a short circuit”);
}
else {
System.out.println("this output "
+ "is "
+ " printed");
}
}
}Output
Actually, a short circuit caused this output to print. Due to the absence of a short circuit, this output is printed.
- OR(||) short circuit:
- The expression is tested until only one true result is found because, regardless of the additional criteria, the result of OR is always true. When the first operand of an expression is true and the symbol ||(logical OR) is present, a short circuit occurs, the evaluation is halted, and the value true is returned.
Example: Short-circuiting using OR( || ).
// A Java application that uses OR to show short circuiting
class OR {
public static void main(String arg[])
{
// Evaluation comes to an end, and true is returned since the first operand is true and the operator is ||.
if (t || f || f) {
System.out.println("this output”+” was printed”+” due to a short circuit”);
}
else {
System.out.println("This output "
+ "will not "
+ "be printed");
}
// No true will be met before the last condition; hence the entire expression will be evaluated.
if (f || f || t) {
System.out.println("Given that”+” there won't be”+” a short circuit”);
}
else {
System.out.println("this output "
+ "is "
+ " printed");
}
}
}Output
Actually, this output was printed due to a short circuit. Given that there won't be a short circuit, this output is printed.