Why Swift loops are safe by default - Visual Breakdown

Concept Flow - Why Swift loops are safe by default

Start Loop

↓

Check Condition

Yes | No↓

Execute Body

↓

Update Loop Variable

↩Back to Check Condition

Swift loops start by checking the condition before running the loop body, ensuring safety by preventing out-of-bounds or infinite loops.

Execution Sample

Swift

for i in 0..<3 {
    print(i)
}

This loop prints numbers 0, 1, and 2 safely by checking the range before each iteration.

Execution Table

Iteration	i	Condition (i in 0..<3)	Action	Output
1	0	true	Execute loop body	0
2	1	true	Execute loop body	1
3	2	true	Execute loop body	2
4	3	false	Exit loop

💡 i reaches 3, condition i in 0..<3 is false, loop stops safely

Variable Tracker

Variable	Start	After 1	After 2	After 3	Final
i	N/A	0	1	2	3

Key Moments - 3 Insights

Why doesn't the loop run when i equals 3?

Because the condition i in 0..<3 is false at iteration 4 (see execution_table row 4), Swift stops the loop before running the body.

What prevents the loop from going beyond the range?

Swift checks the loop condition before each iteration (execution_table column 'Condition'), so it never runs the body if the condition is false.

Can the loop variable i be changed inside the loop?

No, in Swift's for-in loop, i is a constant for each iteration, ensuring safety and preventing accidental changes.

Visual Quiz - 3 Questions

Look at the execution_table, what is the value of i during the third iteration?

A 1

B 2

C 3

D 0

💡 Hint

Check the 'i' column in execution_table row 3.

At which iteration does the loop condition become false?

A Iteration 4

B Iteration 2

C Iteration 3

D Iteration 1

💡 Hint

See the 'Condition' column in execution_table row 4.

If the range changed to 0..<2, how many times would the loop run?

A 3 times

B 1 time

C 2 times

D 0 times

💡 Hint

The loop runs while i is in 0..<2, so check variable_tracker for i values.

Concept Snapshot

Swift loops check the condition before each iteration.
The loop variable is constant and cannot be changed inside the loop.
Loops stop safely when the condition is false.
This prevents out-of-bounds errors and infinite loops.
Use for-in loops with ranges for safe iteration.

Full Transcript

Swift loops are safe because they always check the condition before running the loop body. For example, a for-in loop over a range like 0..<3 runs with i values 0, 1, and 2. When i reaches 3, the condition fails and the loop stops. The loop variable i is constant inside the loop, so it cannot be changed accidentally. This design prevents common errors like running past the end of a collection or infinite loops. The execution table shows each iteration's i value, condition check, and output. The variable tracker shows how i changes from start to finish. Understanding this flow helps beginners see why Swift loops are safe by default.