Array creation and type inference in Swift - Step-by-Step Execution

Concept Flow - Array creation and type inference

Start

↓

Declare array variable

↓

Assign array literal

↓

Swift infers element type

↓

Array created with inferred type

↓

Use array in code

↓

End

Swift creates an array by declaring a variable and assigning an array literal. It automatically figures out the type of elements inside.

Execution Sample

Swift

let numbers = [1, 2, 3, 4]
print(numbers)

Create an array of integers and print it.

Execution Table

Step	Action	Expression	Inferred Type	Result/Output
1	Declare variable 'numbers'	let numbers	Unknown yet	No value assigned
2	Assign array literal	[1, 2, 3, 4]	Array<Int>	Array created with elements 1, 2, 3, 4
3	Print array	print(numbers)	Array<Int>	[1, 2, 3, 4]
4	End	-	-	Execution complete

💡 All steps completed, array created and printed successfully

Variable Tracker

Variable	Start	After Step 2	Final
numbers	undefined	[1, 2, 3, 4]	[1, 2, 3, 4]

Key Moments - 2 Insights

How does Swift know the type of the array elements without explicit type?

Swift looks at the values inside the array literal (like 1, 2, 3, 4) and infers the type as Int, as shown in execution_table step 2.

What if the array is empty? How does Swift infer the type then?

If the array is empty, Swift cannot infer the type automatically and you must specify it explicitly, because there are no elements to guess from.

Visual Quiz - 3 Questions

Look at the execution table, what is the inferred type of 'numbers' after step 2?

A Array<String>

B Array<Int>

C Unknown

D Array<Double>

💡 Hint

Check the 'Inferred Type' column in execution_table row for step 2

At which step is the array actually created with elements?

A Step 1

B Step 3

C Step 2

D Step 4

💡 Hint

Look at the 'Result/Output' column in execution_table to see when array elements appear

If the array literal was empty, what would you need to do?

A Specify the array type explicitly

B Nothing, Swift infers type automatically

C Use print to show the type

D Assign values later

💡 Hint

Refer to key_moments about empty array type inference

Concept Snapshot

Swift arrays are created by assigning array literals to variables.
Swift automatically infers the element type from the values inside.
Example: let numbers = [1, 2, 3] infers Array<Int>.
If the array is empty, you must specify the type explicitly.
Use print() to display the array contents.

Full Transcript

This visual trace shows how Swift creates an array by declaring a variable and assigning an array literal. Initially, the variable 'numbers' is declared without a value. When the array literal [1, 2, 3, 4] is assigned, Swift infers the type as Array<Int> because the elements are integers. The array is then created with these elements. Finally, printing 'numbers' outputs the array contents. If the array literal were empty, Swift would not infer the type automatically and you would need to specify it explicitly.

Practice

1. What does Swift do when you create an array with values like [1, 2, 3] without specifying a type?

easy

A. Swift infers the array type as [Int] automatically.

B. Swift treats the array as [Any] type.

C. Swift throws a syntax error because type is missing.

D. Swift creates an empty array instead.

Solution

1. Step 1: Understand type inference with array literals

   When you write an array with values like [1, 2, 3], Swift looks at the values and guesses the type. Here, all values are integers.

2. Step 2: Determine the inferred type

   Since all values are integers, Swift infers the array type as [Int]. No explicit type declaration is needed.

3. Final Answer:

   Swift infers the array type as [Int] automatically. -> Option A

4. Quick Check:

   Array with integers = [Int] [OK]

Hint: Look at items; Swift guesses array type from them [OK]

Common Mistakes:

• Thinking Swift defaults to [Any]
• Assuming a syntax error without explicit type
• Believing empty array is created instead

2. Which of the following is the correct way to create an empty array of Strings in Swift?

easy

A. let names = []

B. let names = String[]

C. let names: [String] = []

D. let names = Array()

Solution

1. Step 1: Recognize empty array syntax with type annotation

   Empty arrays need a type so Swift knows what kind of items will be stored. let names: [String] = [] declares names as [String] and assigns an empty array.

2. Step 2: Check other options for correctness

   let names = [] lacks type info, so it's invalid. let names = String[] uses invalid syntax. let names = Array() creates an empty array but type is not specified, so it defaults to [Any].

3. Final Answer:

   let names: [String] = [] -> Option C

4. Quick Check:

   Empty array needs type annotation [OK]

Hint: Empty arrays must declare type explicitly [OK]

Common Mistakes:

• Omitting type for empty arrays
• Using Array() without type annotation
• Assuming [] alone is enough

3. What is the type of the array created by let numbers = [1, 2.5, 3] in Swift?

medium

A. [Int]

B. [Double]

C. [Float]

D. Error: mixed types not allowed

Solution

1. Step 1: Analyze the array elements' types

   The array contains 1 (Int), 2.5 (Double), and 3 (Int). Swift will promote Int values to Double to keep the array type consistent.

2. Step 2: Determine the inferred array type

   Because of the Double value 2.5, Swift infers the array type as [Double], converting Ints to Double.

3. Final Answer:

   [Double] -> Option B

4. Quick Check:

   Mixed Int and Double = [Double] [OK]

Hint: Mixed Int and Double become [Double] array [OK]

Common Mistakes:

• Assuming array is [Int]
• Expecting a syntax error for mixed types
• Thinking array becomes [Float]

4. Identify the error in this Swift code:

let items = []
items.append("apple")

medium

A. Cannot append to a constant array declared with let.

B. Array type cannot be inferred from empty array literal.

C. Appending a String to an array of Ints causes error.

D. No error; code runs fine.

Solution

1. Step 1: Check array declaration and type inference

   The array is declared as let items = [] with no type or initial values. Swift cannot guess the type from an empty array literal.

2. Step 2: Understand why append fails

   Because items is declared with let, it is immutable and cannot be appended to. To append, it must be declared with var.

3. Final Answer:

   Cannot append to a constant array declared with let. -> Option A

4. Quick Check:

   let arrays are immutable [OK]

Hint: let arrays cannot be modified after declaration [OK]

Common Mistakes:

• Thinking append fails because array type is unknown
• Assuming default array type is [Int]
• Believing code runs without error

5. You want to create an array that holds either integers or strings in Swift. Which approach correctly creates such an array?

hard

A. let mixed = Array()

B. let mixed = [1, "two", 3]

C. let mixed: [Int | String] = [1, "two", 3]

D. let mixed: [Any] = [1, "two", 3]

Solution

1. Step 1: Understand Swift's type system for mixed arrays

   Swift does not support union types like Int | String. To hold different types, use the type Any.

2. Step 2: Check each option for correctness

   let mixed: [Any] = [1, "two", 3] declares mixed as [Any] and initializes with Int and String values, which is valid. let mixed = [1, "two", 3] tries to infer type but fails due to mixed types. Options A and C use invalid syntax for union types.

3. Final Answer:

   let mixed: [Any] = [1, "two", 3] -> Option D

4. Quick Check:

   Mixed types array uses [Any] [OK]

Hint: Use [Any] for arrays with mixed types [OK]

Common Mistakes:

• Trying to infer mixed types without [Any]
• Using invalid union type syntax
• Assuming Swift allows Int | String type