Guard let for early exit in Swift - Step-by-Step Execution

Concept Flow - Guard let for early exit

Start Function

↓

Evaluate guard let

↓

Continue

↓

Rest of [Return

↓

End

The guard let checks if a value exists; if not, it exits early, otherwise continues with the unwrapped value.

Execution Sample

Swift

func greet(name: String?) {
  guard let unwrappedName = name else {
    print("No name provided.")
    return
  }
  print("Hello, \(unwrappedName)!")
}

This function uses guard let to check if 'name' has a value; if not, it prints a message and exits early.

Execution Table

Step	Action	Condition	Result	Branch Taken	Output
1	Call greet(name: nil)	name != nil?	false	Early Exit	No name provided.
2	Return from function	-	-	-	-
3	Call greet(name: "Alice")	name != nil?	true	Continue	-
4	Unwrap name to unwrappedName	-	unwrappedName = "Alice"	Continue	-
5	Print greeting	-	-	-	Hello, Alice!
6	End function	-	-	-	-

💡 Function exits early when 'name' is nil due to guard let condition failing.

Variable Tracker

Variable	Start	After Step 3	After Step 4	Final
name	nil or "Alice"	nil or "Alice"	nil or "Alice"	nil or "Alice"
unwrappedName	nil	nil	"Alice"	"Alice"

Key Moments - 3 Insights

Why does the function exit early when 'name' is nil?

Because the guard let condition fails (see Step 1 in execution_table), the else block runs, printing a message and returning immediately, stopping further code.

What happens to 'unwrappedName' if 'name' is nil?

'unwrappedName' is never assigned because the guard let fails early (Step 1), so the code after guard let does not run.

Why can we safely use 'unwrappedName' after the guard let?

Because the guard let ensures 'unwrappedName' is non-nil before continuing (Step 3 and 4), so the rest of the function can use it safely.

Visual Quiz - 3 Questions

Look at the execution table, what is printed when greet(name: nil) is called?

A "No name provided."

B "Hello, nil!"

C "Hello, Alice!"

D Nothing is printed

💡 Hint

Check Step 1 in the execution_table where the function exits early and prints a message.

At which step does the guard let condition evaluate to true?

A Step 1

B Step 3

C Step 5

D Step 6

💡 Hint

Look at the condition column in execution_table for the call with "Alice".

If the guard let condition fails, what happens next?

A The unwrapped variable is assigned nil

B The function continues normally

C The else block runs and the function returns early

D The function crashes

💡 Hint

See Step 1 and Step 2 in execution_table for the early exit path.

Concept Snapshot

guard let syntax:
guard let variable = optional else {
  // early exit code
  return
}

- Checks if optional has value
- If nil, runs else block and exits early
- If not nil, unwraps and continues
- Ensures safe use of unwrapped variable after guard

Full Transcript

This visual trace shows how the Swift 'guard let' statement works for early exit. The function greet takes an optional string 'name'. The guard let tries to unwrap 'name'. If 'name' is nil, the else block runs, printing "No name provided." and returning early, stopping the function. If 'name' has a value, it is assigned to 'unwrappedName' and the function continues to print a greeting. The execution table shows two calls: one with nil and one with "Alice". The variable tracker shows how 'unwrappedName' is only assigned when the guard let succeeds. Key moments clarify why the function exits early and why 'unwrappedName' is safe to use after guard let. The quiz tests understanding of the early exit and unwrapping behavior.