Why Swift has no implicit fallthrough - Visual Breakdown

Concept Flow - Why Swift has no implicit fallthrough

Start switch statement

↓

Match case?

No→Check next case

Yes↓

Execute case body

↓

Fallthrough?

No→Exit switch

Yes↓

Execute next case body

↓

Repeat fallthrough check

Swift switch checks each case and executes only the matched one unless 'fallthrough' is explicitly used to continue to the next case.

Execution Sample

Swift

let number = 2
switch number {
case 1:
    print("One")
case 2:
    print("Two")
    fallthrough
case 3:
    print("Three")
default:
    print("Other")
}

This code prints "Two" and then "Three" because of the explicit fallthrough after case 2.

Execution Table

Step	Matched Case	Action	Output
1	case 1	Check if number == 1	No
2	case 2	Check if number == 2	Yes
3	case 2	Print "Two"	Two
4	case 2	fallthrough to next case
5	case 3	Execute case 3 body	Three
6	Exit switch	No more fallthrough

💡 No implicit fallthrough, switch exits after case 3 because no fallthrough keyword is used.

Variable Tracker

Variable	Start	After Step 2	After Step 4	Final
number	2	2	2	2

Key Moments - 2 Insights

Why doesn't Swift automatically continue to the next case after a match?

Swift requires explicit 'fallthrough' to continue to the next case, preventing accidental execution of multiple cases as shown in steps 4 and 5 of the execution_table.

What happens if 'fallthrough' is omitted after a matched case?

The switch statement exits immediately after executing the matched case, as seen after step 3 where no fallthrough means no further cases run.

Visual Quiz - 3 Questions

Look at the execution table, what is printed at step 3?

A "Two"

B "Three"

C "One"

D Nothing

💡 Hint

Check the Output column at step 3 in the execution_table.

At which step does the switch statement use fallthrough?

A Step 2

B Step 4

C Step 6

D Step 7

💡 Hint

Look for the 'fallthrough' action in the Action column of the execution_table.

If the 'fallthrough' keyword was removed, what would be the output?

A "Two" and "Three"

B "Three" only

C "Two" only

D "One"

💡 Hint

Refer to the key_moments explanation about what happens without fallthrough.

Concept Snapshot

Swift switch statements do NOT fall through cases by default.
You must use the 'fallthrough' keyword to continue to the next case.
This prevents accidental execution of multiple cases.
Each case is exclusive unless fallthrough is explicit.
This makes code safer and clearer.

Full Transcript

In Swift, switch statements check each case one by one. When a case matches, Swift runs only that case's code and then exits the switch. Unlike some languages, Swift does not automatically continue to the next case. To run the next case, you must write the 'fallthrough' keyword explicitly. This behavior helps avoid bugs where multiple cases run by accident. For example, if number is 2, Swift runs case 2 and prints "Two". If 'fallthrough' is used, it also runs case 3 and prints "Three". Without 'fallthrough', it stops after printing "Two". This clear control flow makes Swift code safer and easier to understand.

Practice

1. Why does Swift require an explicit fallthrough statement in switch cases instead of implicit fallthrough like some other languages?

easy

A. Because implicit fallthrough causes syntax errors in Swift

B. Because Swift does not support switch statements

C. To make switch statements run faster

D. To prevent accidental execution of multiple cases and improve code clarity

Solution

1. Step 1: Understand implicit fallthrough behavior

   In some languages, switch cases automatically continue to the next case unless stopped.

2. Step 2: Swift's design choice

   Swift requires explicit fallthrough to avoid accidental case execution and make code clearer.

3. Final Answer:

   To prevent accidental execution of multiple cases and improve code clarity -> Option D

4. Quick Check:

   Explicit fallthrough = clarity and safety [OK]

Hint: Remember: Swift needs explicit fallthrough to avoid mistakes [OK]

Common Mistakes:

• Thinking Swift switch always falls through automatically
• Believing fallthrough is not allowed in Swift
• Confusing fallthrough with break statements

2. Which of the following is the correct way to explicitly fall through to the next case in a Swift switch statement?

easy

A. Use the keyword fallthrough

B. Use the keyword break

C. Use the keyword continue

D. No keyword is needed; Swift falls through automatically

Solution

1. Step 1: Recall Swift switch syntax

   Swift requires the keyword fallthrough to continue to the next case.

2. Step 2: Identify correct keyword

   continue and break have different meanings; only fallthrough causes case continuation.

3. Final Answer:

   Use the keyword fallthrough -> Option A

4. Quick Check:

   Explicit fallthrough keyword = fallthrough [OK]

Hint: Use fallthrough keyword to continue cases in Swift switch [OK]

Common Mistakes:

• Using continue instead of fallthrough
• Assuming break causes fallthrough
• Forgetting to use any keyword for fallthrough

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

let number = 2
switch number {
 case 1:
     print("One")
 case 2:
     print("Two")
     fallthrough
 case 3:
     print("Three")
 default:
     print("Other")
}

medium

A. Two

B. Two\nThree

C. Three

D. Two\nOther

Solution

1. Step 1: Identify matched case and fallthrough

   The value 2 matches case 2, so "Two" is printed, then fallthrough causes execution to continue to case 3.

2. Step 2: Execute fallthrough case

   Case 3 prints "Three". No further fallthrough, so switch ends.

3. Final Answer:

   Two Three -> Option B

4. Quick Check:

   fallthrough prints both cases [OK]

Hint: fallthrough prints next case output too [OK]

Common Mistakes:

• Assuming only case 2 prints
• Thinking fallthrough skips printing
• Confusing default case execution

4. Consider this Swift code snippet:

let value = 1
switch value {
 case 1:
     print("One")
 case 2:
     print("Two")
     fallthrough
 case 3:
     print("Three")
}

What is the error and how can it be fixed?

medium

A. Missing default case; add a default case to fix

B. No error; code runs fine as is

C. Missing fallthrough in case 1; add fallthrough after print("One")

D. Switch cases must end with break; add break statements

Solution

1. Step 1: Check switch completeness

   Swift requires switch statements to be exhaustive, covering all possible values or have a default case.

2. Step 2: Identify missing default

   Cases 1, 2, and 3 do not cover all Int values; no default case is present, causing a compile error.

3. Final Answer:

   Missing default case; add a default case to fix -> Option A

4. Quick Check:

   Switch must be exhaustive or have default [OK]

Hint: Always add default if cases don't cover all values [OK]

Common Mistakes:

• Thinking fallthrough is required in every case
• Assuming break is needed in Swift switch
• Ignoring missing default case error

5. You want to print all numbers from 1 to 3 using a Swift switch statement with fallthrough. Which code correctly achieves this without errors?

let num = 1
switch num {
 case 1:
     print("One")
     fallthrough
 case 2:
     print("Two")
     fallthrough
 case 3:
     print("Three")
 default:
     break
}

hard

A. This code does not compile because fallthrough is not allowed

B. This code prints only One for num = 1

C. This code prints One, Two, Three for num = 1

D. This code causes a runtime error due to fallthrough

Solution

1. Step 1: Analyze fallthrough chain

   Starting at case 1, it prints "One" then falls through to case 2, prints "Two", then falls through to case 3, prints "Three".

2. Step 2: Confirm no errors

   All cases have valid fallthrough statements; default case prevents incomplete switch error.

3. Final Answer:

   This code prints One, Two, Three for num = 1 -> Option C

4. Quick Check:

   Explicit fallthrough chains print all cases [OK]

Hint: Chain fallthrough to print multiple cases in order [OK]

Common Mistakes:

• Assuming fallthrough causes errors
• Forgetting to add default case
• Expecting implicit fallthrough without keyword