Generic subscripts in Swift - Mini Project: Build & Apply

Using Generic Subscripts in Swift

📖 Scenario: Imagine you have a collection that stores different types of values, like numbers and words. You want to access these values easily using a special way called a generic subscript.

🎯 Goal: Build a Swift struct called MultiTypeStorage that uses a generic subscript to get and set values of different types by their keys.

📋 What You'll Learn

Create a struct called MultiTypeStorage with a dictionary property named storage of type [String: Any].

Add a generic subscript subscript(key: String) -> T? to get and set values of any type T.

Use the generic subscript to store and retrieve values of different types by their keys.

Print the retrieved values to show the generic subscript works.

💡 Why This Matters

🌍 Real World

Generic subscripts help manage collections that store mixed types, like user settings or configuration data, making code cleaner and safer.

💼 Career

Understanding generic subscripts is useful for Swift developers working on flexible data storage, APIs, or frameworks that handle various data types.

1

Create the MultiTypeStorage struct with a storage dictionary

Create a struct called MultiTypeStorage with a variable storage of type [String: Any] initialized as an empty dictionary.

Swift

struct MultiTypeStorage {
    // Your code here
}

Hint

Use struct MultiTypeStorage { var storage: [String: Any] = [:] } to create the struct and dictionary.

2

Add a generic subscript to MultiTypeStorage

Inside MultiTypeStorage, add a generic subscript subscript(key: String) -> T? that gets and sets values in storage. For getting, cast the stored value to T. For setting, assign the new value to storage[key].

Swift

struct MultiTypeStorage {
    var storage: [String: Any] = [:]

    // Your code here
}

Hint

Use subscript(key: String) -> T? with get and set blocks to access storage.

3

Store values of different types using the generic subscript

Create a variable storage of type MultiTypeStorage. Use the generic subscript to set storage["age"] = 30 and storage["name"] = "Alice".

Swift

struct MultiTypeStorage {
    var storage: [String: Any] = [:]

    subscript(key: String) -> T? {
        get {
            return storage[key] as? T
        }
        set {
            storage[key] = newValue
        }
    }
}

// Your code here

Hint

Create var storage = MultiTypeStorage() and assign values using storage["age"] = 30.

4

Retrieve and print values using the generic subscript

Use the generic subscript to get age as Int? and name as String? from storage. Print both values using print(age) and print(name).

Swift

struct MultiTypeStorage {
    var storage: [String: Any] = [:]

    subscript(key: String) -> T? {
        get {
            return storage[key] as? T
        }
        set {
            storage[key] = newValue
        }
    }
}

var storage = MultiTypeStorage()
storage["age"] = 30
storage["name"] = "Alice"

// Your code here

Hint

Retrieve values with let age: Int? = storage["age"] and print them.

Practice

1. What is the main benefit of using generic subscripts in Swift?

easy

A. They allow subscripts to accept different types as keys or indexes.

B. They make subscripts run faster by using fixed types only.

C. They restrict subscripts to only integer indexes.

D. They automatically convert all keys to strings.

Solution

1. Step 1: Understand generic subscripts purpose

   Generic subscripts let you write one subscript that works with many types of keys or indexes.

2. Step 2: Compare options with this purpose

   Only They allow subscripts to accept different types as keys or indexes. correctly states that generic subscripts accept different types as keys or indexes.

3. Final Answer:

   They allow subscripts to accept different types as keys or indexes. -> Option A

4. Quick Check:

   Generic subscripts = flexible key types [OK]

Hint: Generic subscripts = flexible keys/indexes [OK]

Common Mistakes:

• Thinking generic subscripts improve speed
• Assuming subscripts only accept integers
• Believing keys auto-convert to strings

2. Which of the following is the correct syntax to declare a generic subscript in Swift?

easy

A. subscript(index: T) -> String { get }

B. func subscript<T>(index: T) -> String { get }

C. subscript<T>(index: Int) -> T { get }

D. subscript<T>(index: T) -> String { get }

Solution

1. Step 1: Recall generic subscript syntax

   Generic subscripts use subscript<T>(index: T) -> ReturnType syntax.

2. Step 2: Check each option

   subscript<T>(index: T) -> String { get } matches the correct syntax. func subscript<T>(index: T) -> String { get } wrongly uses func. subscript(index: T) -> String { get } misses generic parameter declaration. subscript<T>(index: Int) -> T { get } has mismatched types.

3. Final Answer:

   subscript<T>(index: T) -> String { get } -> Option D

4. Quick Check:

   Generic subscript syntax = subscript<T> [OK]

Hint: Generic subscript uses subscript<T>(index: T) syntax [OK]

Common Mistakes:

• Using func instead of subscript
• Omitting generic parameter <T>
• Mismatching parameter and return types

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

struct Box {
    private var values = [String: Any]()
    subscript<T>(key: String) -> T? {
        get { values[key] as? T }
        set { values[key] = newValue }
    }
}

var box = Box()
box["age"] = 30
box["name"] = "Alice"
print(box["age"] as Int?, box["name"] as String?)

medium

A. Optional(30) Optional("Alice")

B. 30 Alice

C. nil nil

D. Compilation error

Solution

1. Step 1: Understand subscript behavior

   The subscript stores values in a dictionary with String keys and Any values, casting on get.

2. Step 2: Analyze stored values and prints

   "age" stores 30 (Int), "name" stores "Alice" (String). The print casts them back to Int? and String?, so output shows optionals.

3. Final Answer:

   Optional(30) Optional("Alice") -> Option A

4. Quick Check:

   Generic subscript returns optional cast values [OK]

Hint: Generic subscript returns optional cast values [OK]

Common Mistakes:

• Expecting non-optional output
• Confusing dictionary storage with direct types
• Assuming compilation error due to Any type

4. Identify the error in this generic subscript code and choose the fix:

struct Container {
    private var data = [Int: String]()
    subscript<T>(key: T) -> String? {
        get { data[key] }
        set { data[key] = newValue }
    }
}

medium

A. Change dictionary to [T: String] to match generic key type.

B. Add type constraint to subscript declaration.

C. Change subscript to subscript(key: Int) -> String? to match dictionary key type.

D. No error; code works as is.

Solution

1. Step 1: Check dictionary key type vs subscript key type

   Dictionary keys are Int, but subscript uses generic T which can be any type.

2. Step 2: Identify mismatch causing error

   Accessing data[key] fails because key is T, not necessarily Int. Fix is to restrict subscript key to Int.

3. Final Answer:

   Change subscript to subscript(key: Int) -> String? to match dictionary key type. -> Option C

4. Quick Check:

   Subscript key type must match dictionary key type [OK]

Hint: Subscript key type must match dictionary key type [OK]

Common Mistakes:

• Assuming generic T works without constraints
• Trying to change dictionary type without reason
• Ignoring type mismatch errors

5. Given a struct that stores values with keys of any Hashable type, how can you implement a generic subscript to safely get and set values?
Choose the best approach.

hard

A. Use separate dictionaries for each key type and switch inside the subscript.

B. Use a dictionary with keys of type AnyHashable and cast keys inside the subscript.

C. Use a dictionary with keys of type String only and convert all keys to String.

D. Use a generic dictionary [T: Any] without constraints and force cast keys.

Solution

1. Step 1: Understand requirement for any Hashable key

   To store values with keys of any Hashable type, use a dictionary with keys of type AnyHashable.

2. Step 2: Implement generic subscript with safe casting

   Use generic subscript with key of type T: Hashable, convert key to AnyHashable for dictionary access, ensuring type safety.

3. Final Answer:

   Use a dictionary with keys of type AnyHashable and cast keys inside the subscript. -> Option B

4. Quick Check:

   AnyHashable dictionary + generic subscript = safe flexible keys [OK]

Hint: Use AnyHashable keys for flexible generic subscripts [OK]

Common Mistakes:

• Using multiple dictionaries instead of one
• Converting all keys to String losing type info
• Force casting keys causing runtime errors