Is operator for type checking in Swift - Step-by-Step Execution

Concept Flow - Is operator for type checking

Start

↓

Have a variable

↓

Use 'is' to check type

↓

Evaluate if variable is of given type

↓

Return true

↓

Return false

↓

Use result in condition or print

↓

End

The 'is' operator checks if a variable is of a certain type and returns true or false.

Execution Sample

Swift

let value: Any = 42
if value is Int {
    print("It's an Int")
} else {
    print("Not an Int")
}

This code checks if 'value' is an Int and prints a message accordingly.

Execution Table

Step	Action	Evaluation	Result
1	Assign 42 to 'value' as Any	value = 42 (Any)	value holds 42 as Any
2	Check if 'value is Int'	Is 42 an Int?	true
3	If condition true, print	print("It's an Int")	Output: It's an Int
4	End of if-else	No else branch executed	Execution ends

💡 'value is Int' is true, so the if branch runs and program ends.

Variable Tracker

Variable	Start	After Step 1	After Step 2	Final
value	undefined	42 (Any)	42 (Any)	42 (Any)

Key Moments - 2 Insights

Why does 'value is Int' return true even though 'value' is declared as Any?

Because 'value' holds the integer 42, and 'is' checks the actual stored type at runtime, not just the declared type. See execution_table step 2.

What happens if 'value' is not the checked type?

The 'is' operator returns false, so the else branch runs. This is shown by the logic flow in concept_flow.

Visual Quiz - 3 Questions

Look at the execution_table, what is the result of 'value is Int' at step 2?

A true

B false

C error

D unknown

💡 Hint

Check the 'Evaluation' and 'Result' columns in execution_table row 2.

At which step does the program print "It's an Int"?

A Step 2

B Step 3

C Step 1

D Step 4

💡 Hint

Look at the 'Action' and 'Result' columns in execution_table row 3.

If 'value' was assigned a String instead of 42, how would step 2's result change?

A It would still be true

B It would cause a compile error

C It would be false

D It would print an error message

💡 Hint

Refer to key_moments explanation about 'is' operator behavior with different types.

Concept Snapshot

Swift 'is' operator checks if a variable is of a certain type.
Syntax: variable is Type
Returns true if variable is that type, else false.
Used in conditions to run code based on type.
Works at runtime, checking actual stored type.

Full Transcript

This visual execution trace shows how the Swift 'is' operator works for type checking. We start by assigning the integer 42 to a variable 'value' declared as Any. Then, we use 'value is Int' to check if the stored value is an Int. The check returns true because the actual value is 42, an Int. Based on this, the program prints "It's an Int". The trace shows each step, variable states, and the output. Key moments clarify why the check works at runtime and what happens if the type does not match. The quiz tests understanding of these steps and outcomes.