Short-circuiting in conditions in Blockchain / Solidity - Step-by-Step Execution

Concept Flow - Short-circuiting in conditions

Evaluate first condition

↓

Is first condition enough to decide?

↓

Return result

↓

Return combined result

↓

END

Check the first condition; if it decides the result, skip the second. Otherwise, check the second condition and combine results.

Execution Sample

Blockchain / Solidity

bool a = true;
bool b = false;
if (a || b) {
  // do something
}

Checks if 'a' is true; if yes, skips checking 'b' because '||' short-circuits.

Execution Table

Step	Condition Evaluated	Value	Short-circuit?	Action Taken
1	a (true)	true	Yes	Skip evaluating b, enter if-block
2	b (false)	Not evaluated	N/A	Skipped due to short-circuit
3	End	N/A	N/A	If-block executed because a is true

💡 First condition 'a' is true, so '||' short-circuits and skips 'b'

Variable Tracker

Variable	Start	After Step 1	After Step 2	Final
a	true	true	true	true
b	false	false	Not evaluated	false

Key Moments - 2 Insights

Why is the second condition 'b' not evaluated?

Because in the execution_table row 1, 'a' is true and the '||' operator stops checking further conditions to save time.

Does short-circuiting happen with both '||' and '&&'?

Yes, but for '||' it stops if the first condition is true, and for '&&' it stops if the first condition is false, as shown in the concept_flow.

Visual Quiz - 3 Questions

Look at the execution_table, what is the value of 'b' at Step 2?

A false

B Not evaluated

C true

D undefined

💡 Hint

Check the 'Condition Evaluated' and 'Value' columns at Step 2 in execution_table.

At which step does short-circuiting occur?

A Step 1

B Step 2

C Step 3

D No short-circuiting

💡 Hint

Look at the 'Short-circuit?' column in execution_table.

If 'a' was false and 'b' true, what would happen?

A Short-circuiting would skip both

B 'b' would not be evaluated

C 'b' would be evaluated and if-block executed

D If-block would not execute

💡 Hint

Think about how '||' works when first condition is false, referencing concept_flow.

Concept Snapshot

Short-circuiting means stopping condition checks early.
For '||', if first is true, skip rest.
For '&&', if first is false, skip rest.
Saves time and avoids unnecessary checks.
Used in blockchain smart contracts for efficiency.

Full Transcript

Short-circuiting in conditions means the program stops checking more conditions once the result is certain. For example, with '||' (OR), if the first condition is true, the whole condition is true, so it skips checking the second. This saves time and gas in blockchain smart contracts. The flow starts by checking the first condition. If it decides the result, it returns immediately. Otherwise, it checks the next condition. In the example, 'a' is true, so 'b' is not checked. This is shown in the execution table where step 1 evaluates 'a' as true and short-circuits, skipping 'b'. Variables 'a' and 'b' keep their values, but 'b' is not evaluated. Beginners often wonder why the second condition is skipped; it's because the first condition already decides the outcome. Also, short-circuiting works differently for '||' and '&&'. The quiz questions help reinforce these ideas by asking about variable values and when short-circuiting happens.