Control Flow: If, Switch Pattern Matching & Guard Statements

In Plain English

Branch execution safely. Learn if-else conditionals, exhaustive switch statements with tuple and interval pattern matching (no break required), and the signature Swift guard statement for early return validation.

The Mental Model

"A standard if-else ladder is like climbing a staircase with branches on every step. A guard statement is a security bouncer at the front door: if you lack a valid badge, you are ejected immediately (return), keeping the entire room inside clean and un-nested."

Deep Dive: How It Works

Exhaustive Switch: switch statements in Swift must cover every possible value or include a default case.

No Implicit Fallthrough: Swift cases execute and break automatically without needing break; use fallthrough explicitly if needed.

Pattern Matching: Switch cases can match intervals (1...10), tuples ((0, 0)), and value bindings (case let (x, y)).

The guard Statement: guard condition else { return } requires an early exit, transferring unwrapped variables into the outer function scope.

Syntax Blueprint

guard let user = currentUser else {
    return
}
// user is available here without nesting!

Use guard for early exit conditions; unwrapped variables remain accessible in subsequent code.

Core Rules to Remember

Exhaustive Switches: The compiler ensures every possible enum case or numeric range is handled.

Guard Prevents Pyramid of Doom: Flattens nested if statements into linear, readable precondition checks.

Where Clauses: Add extra boolean filters to switch cases: case let x where x > 100:.

Common Beginner Traps & How to Fix Them

Mistake:Forgetting to exit the scope inside a guard else block.

Why it happens: guard else blocks must leave the current function (return, throw, break, or fatalError()).

How to fix: Always include a return or throw statement inside the guard else body.

Pro Tip: Prefer guard over if when validating function prerequisites to eliminate deep nesting and keep the happy path left-aligned.

Live Interactive Example

Hit Run Code to see it live

Switch Pattern Matching and Guard Validation

Swift 5.10 / LLVM

Output Console

Click "Run Code" to view the rendered output.

How it works: switch pattern-matched interval 90...100, and guard validated age and safely exited on 15.

Your Turn: Micro Challenge

No pressure! Edit the starter code below and test your solution with instant feedback.

Micro Exercise

Implement HTTP Status Classifier

Write a function classifyHTTP(_ code: Int) -> String.
Use a switch statement: 200...299 => "Success", 400...499 => "Client Error", 500...599 => "Server Error", default => "Unknown".
In top-level code, call print(classifyHTTP(200)) and print(classifyHTTP(404)).

Sandbox Output

Click "Run & Check" to test your solution.

Finished reading and practicing?

Mark this lesson as completed to update your course progress.

Deep Dive: How It Works

Exhaustive Switch: switch statements in Swift must cover every possible value or include a default case.

No Implicit Fallthrough: Swift cases execute and break automatically without needing break; use fallthrough explicitly if needed.

Pattern Matching: Switch cases can match intervals (1...10), tuples ((0, 0)), and value bindings (case let (x, y)).

The guard Statement: guard condition else { return } requires an early exit, transferring unwrapped variables into the outer function scope.