Switch with value binding in Swift - Step-by-Step Execution

Concept Flow - Switch with value binding

Start with a value

↓

Enter switch statement

↓

Match case pattern?

No→Next case

Yes↓

Bind value to variable

↓

Execute case block

↓

Exit switch

The switch checks the value against each case pattern. When a match is found, it binds the matched value to a variable and runs the case code.

Execution Sample

Swift

let point = (2, 0)
switch point {
case (let x, 0):
    print("On the x-axis at \(x)")
case (0, let y):
    print("On the y-axis at \(y)")
default:
    print("Somewhere else")
}

This code checks a point's coordinates and prints which axis it lies on, using value binding to capture the coordinate.

Execution Table

Step	Value	Case Pattern	Match?	Bound Variable	Action	Output
1	(2, 0)	(let x, 0)	Yes	x = 2	Execute first case	On the x-axis at 2
2	(2, 0)	(0, let y)	No	-	Skip case	-
3	(2, 0)	default	No	-	Not reached	-
4	-	-	-	-	Exit switch	-

💡 First case matches because second element is 0, so switch exits after executing it.

Variable Tracker

Variable	Start	After Step 1	Final
point	(2, 0)	(2, 0)	(2, 0)
x	-	2	2
y	-	-	-

Key Moments - 3 Insights

Why does the switch stop after the first case even though there are more cases?

Because the first case matches the value (2, 0), the switch executes that case and then exits immediately, as shown in execution_table step 1 and 4.

What does 'let x' do inside the case pattern?

'let x' binds the matched part of the tuple to variable x so it can be used inside the case block, as seen in execution_table step 1 where x = 2.

Why is the second case not executed?

The second case pattern (0, let y) does not match because the first element of the tuple is 2, not 0, so it is skipped (execution_table step 2).

Visual Quiz - 3 Questions

Look at the execution table, what is the value of 'x' after step 1?

A 2

B 0

C -

D Undefined

💡 Hint

Check the 'Bound Variable' column at step 1 in the execution_table.

At which step does the switch stop checking further cases?

A Step 4

B Step 3

C Step 1

D Step 2

💡 Hint

Look at the 'Match?' and 'Action' columns; the switch exits after the first match.

If the point was (0, 5), which case would match?

A case (let x, 0)

B case (0, let y)

C default

D No case matches

💡 Hint

Refer to the case patterns and how they match tuple elements in the execution_table.

Concept Snapshot

Switch with value binding syntax:

switch value {
case let pattern:
    // use bound variables
default:
    // fallback
}

- Matches value to patterns
- Binds parts to variables
- Executes first matching case
- Exits after match

Full Transcript

This example shows how a Swift switch statement can match a tuple value and bind parts of it to variables using 'let'. The switch checks each case pattern in order. When it finds a match, it binds the matched parts to variables and runs the case code. Then it exits the switch. For example, with point (2, 0), the first case matches because the second element is 0. It binds x = 2 and prints 'On the x-axis at 2'. The other cases are skipped. This helps write clear code that extracts values directly in the switch cases.

Practice

1. What does value binding in a switch statement allow you to do in Swift?

easy

A. Capture parts of the matched value for use inside the case block

B. Change the type of the value being switched on

C. Skip checking the value and run all cases

D. Automatically loop through all possible values

Solution

1. Step 1: Understand value binding concept

   Value binding lets you take a part of the value matched in a case and give it a name to use inside that case.

2. Step 2: Recognize its purpose in switch

   This helps you work with the matched data directly without extra code.

3. Final Answer:

   Capture parts of the matched value for use inside the case block -> Option A

4. Quick Check:

   Value binding = capture matched value parts [OK]

Hint: Value binding captures matched data for use inside cases [OK]

Common Mistakes:

• Thinking it changes the value type
• Believing it skips cases
• Assuming it loops automatically

2. Which of the following is the correct syntax for value binding in a Swift switch case?

easy

A. case x let:

B. case let x:

C. case let:

D. case var:

Solution

1. Step 1: Recall correct value binding syntax

   In Swift, value binding uses let or var before a variable name in the case pattern, like case let x:.

2. Step 2: Check options for correct order

   Only case let x: uses let followed by a variable name correctly.

3. Final Answer:

   case let x: -> Option B

4. Quick Check:

   Correct syntax = case let variable: [OK]

Hint: Remember: 'case let variable:' is the right order [OK]

Common Mistakes:

• Placing variable before let
• Omitting variable name
• Using let without variable

3. What will be the output of this Swift code?

let point = (3, 0)
switch point {
 case let (x, 0):
     print("On the x-axis at \(x)")
 case let (0, y):
     print("On the y-axis at \(y)")
 default:
     print("Somewhere else")
}

medium

A. On the x-axis at 3

B. On the y-axis at 0

C. Somewhere else

D. Syntax error

Solution

1. Step 1: Match the tuple with cases

   The tuple is (3, 0). The first case matches any tuple where the second value is 0, binding the first to x.

2. Step 2: Execute matching case

   Since (3, 0) matches case let (x, 0):, it prints "On the x-axis at 3".

3. Final Answer:

   On the x-axis at 3 -> Option A

4. Quick Check:

   Tuple (3,0) matches x-axis case [OK]

Hint: Check tuple pattern carefully to find matching case [OK]

Common Mistakes:

• Confusing x and y positions
• Choosing default case incorrectly
• Assuming syntax error

4. Identify the error in this Swift switch statement using value binding:

let number = 5
switch number {
 case let x where x > 0:
     print("Positive")
 case let x where x < 0:
     print("Negative")
 case x == 0:
     print("Zero")
}

medium

A. Missing 'let' keyword in the last case

B. Incorrect use of 'where' in first two cases

C. Invalid pattern syntax in the last case

D. Switch statement missing default case

Solution

1. Step 1: Review last case syntax

   The last case uses case x == 0:, which is not valid pattern syntax in Swift.

2. Step 2: Correct pattern usage

   It should use value binding with a where clause, like case let x where x == 0:.

3. Final Answer:

   Invalid pattern syntax in the last case -> Option C

4. Quick Check:

   Pattern must be 'case let x where condition' [OK]

Hint: Use 'case let x where condition' for conditions [OK]

Common Mistakes:

• Writing conditions directly after case without let
• Omitting where keyword
• Assuming default case is mandatory

5. Given an array of optional integers, how can you use a switch with value binding to print only the non-nil values?

let numbers: [Int?] = [3, nil, 7, nil, 1]
for number in numbers {
    switch number {
    case let x:
        print(x)
    case nil:
        print("No value")
    }
}

What is the problem and how to fix it?

hard

A. The order of cases is wrong; put 'case nil' before 'case let x' to match nil first

B. Add a default case to handle nil values

C. Replace 'case let x' with 'case let x!' to unwrap optionals

D. Use 'case let x?' to bind only non-nil values, and 'case nil' for nil

Solution

1. Step 1: Understand optional pattern matching

   Using case let x: matches all values including nil, so case nil: is never reached.

2. Step 2: Use optional pattern binding

   Use case let x?: to match only non-nil values and bind them, and case nil: to match nil explicitly.

3. Final Answer:

   Use 'case let x?' to bind only non-nil values, and 'case nil' for nil -> Option D

4. Quick Check:

   Optional binding uses 'case let x?' [OK]

Hint: Use 'case let x?' to match non-nil optionals [OK]

Common Mistakes:

• Matching nil after a catch-all case
• Using force unwrap (!) in case pattern
• Missing explicit nil case