Generic type declaration in Swift

Introduction

Generics let you write flexible code that works with any type. This helps you avoid repeating similar code for different data types.

When you want a function to work with different types of data without rewriting it.

When creating a container like a box or list that can hold any type of item.

When you want to make your code safer by specifying the type it works with.

When you want to reuse code for different data types easily.

Syntax

Swift

struct Box<T> {
    var item: T
}

func swapValues<T>(_ a: inout T, _ b: inout T) {
    let temp = a
    a = b
    b = temp
}

The <T> is a placeholder for any type you use later.

You can use any letter or name inside the angle brackets, but T is common.

Examples

A simple container that can hold any type of value.

Swift

struct Container<T> {
    var value: T
}

A function that prints any type of item.

Swift

func printItem<T>(_ item: T) {
    print("Item: \(item)")
}

A class that holds two values of possibly different types.

Swift

class Pair<A, B> {
    var first: A
    var second: B
    init(_ first: A, _ second: B) {
        self.first = first
        self.second = second
    }
}

Sample Program

This program shows a generic struct Box that can hold any type. It also has a generic function swapValues that swaps two values of the same type. We create boxes for an integer and a string, then swap two integers.

Swift

struct Box<T> {
    var item: T
}

func swapValues<T>(_ a: inout T, _ b: inout T) {
    let temp = a
    a = b
    b = temp
}

var intBox = Box(item: 10)
var stringBox = Box(item: "Hello")

print("Before swap: intBox.item = \(intBox.item), stringBox.item = \(stringBox.item)")

var a = 5
var b = 8
swapValues(&a, &b)
print("After swap: a = \(a), b = \(b)")

Important Notes

Generics help keep your code clean and reusable.

Swift checks types at compile time to prevent errors when using generics.

Summary

Generics let you write code that works with any type.

Use angle brackets <> to declare generic types.

They make your code safer and easier to reuse.

Practice

1. What is the main purpose of using generic type declaration in Swift?

easy

A. To declare variables with fixed types only

B. To write flexible functions or types that can work with any data type

C. To create functions that only accept integers

D. To make code run faster by avoiding type checks

Solution

1. Step 1: Understand generics concept

   Generics allow writing code that works with any type, not just one fixed type.

2. Step 2: Compare options with concept

   Only To write flexible functions or types that can work with any data type describes this flexibility. Others limit types or mention speed, which is incorrect.

3. Final Answer:

   To write flexible functions or types that can work with any data type -> Option B

4. Quick Check:

   Generics = Flexible code for any type [OK]

Hint: Generics = code that works with any type [OK]

Common Mistakes:

• Thinking generics fix types instead of generalizing
• Confusing generics with performance optimization
• Assuming generics only work with numbers

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

easy

A. func swapValues(a: T, b: T) { let temp = a; a = b; b = temp }

B. func swapValues<T>(a: T, b: T) { let temp = a; a = b; b = temp }

C. func swapValues<T>(a: T, b: T) -> T { return a }

D. func swapValues<T>(a: inout T, b: inout T) { let temp = a; a = b; b = temp }

Solution

1. Step 1: Identify correct generic syntax

   Generic functions use angle brackets <T> and parameters with inout to swap values.

2. Step 2: Check each option

   func swapValues<T>(a: inout T, b: inout T) { let temp = a; a = b; b = temp } correctly uses func swapValues<T>(a: inout T, b: inout T) and swaps values. Others miss inout or have wrong return types.

3. Final Answer:

   func swapValues<T>(a: inout T, b: inout T) { let temp = a; a = b; b = temp } -> Option D

4. Quick Check:

   Generic function with inout parameters = func swapValues<T>(a: inout T, b: inout T) { let temp = a; a = b; b = temp } [OK]

Hint: Generic functions need <T> and inout for swapping [OK]

Common Mistakes:

• Forgetting <T> after function name
• Not using inout for parameters to modify them
• Adding incorrect return types

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

func printType<T>(_ value: T) {
    print("Type is: \(type(of: value))")
}
printType(42)
printType("Hello")

medium

A. Type is: Int\nType is: String

B. Type is: T\nType is: T

C. Type is: Any\nType is: Any

D. Type is: Optional<Int>\nType is: Optional<String>

Solution

1. Step 1: Understand generic function behavior

   The function prints the actual type of the passed value using type(of:).

2. Step 2: Analyze calls with 42 and "Hello"

   42 is an Int, "Hello" is a String, so output prints their types exactly.

3. Final Answer:

   Type is: Int\nType is: String -> Option A

4. Quick Check:

   type(of:) shows actual type = Type is: Int\nType is: String [OK]

Hint: type(of:) prints actual type, not generic placeholder [OK]

Common Mistakes:

• Assuming generic type T prints literally
• Confusing Any with specific types
• Expecting Optional types without optionals

4. Identify the error in this generic struct declaration:

struct Box<T> {
    var value: T
    func printValue() {
        print(value)
    }
}

let box = Box(value: 5)
box.printValue()

medium

A. Missing generic type declaration after struct name

B. Cannot create instance without specifying type explicitly

C. No error; code compiles and prints 5

D. printValue() must be static to access value

Solution

1. Step 1: Review struct and instance creation

   The struct declares generic type T correctly and has a property value of type T.

2. Step 2: Check instance creation and method call

   Swift infers T as Int from 5. Calling printValue() prints 5 without error.

3. Final Answer:

   No error; code compiles and prints 5 -> Option C

4. Quick Check:

   Generic struct with inferred type works fine = No error; code compiles and prints 5 [OK]

Hint: Swift infers generic types from initializer values [OK]

Common Mistakes:

• Thinking generic type must be explicitly stated
• Assuming printValue() needs to be static
• Believing missing syntax error in struct declaration

5. How can you declare a generic function in Swift that accepts two parameters of different types and returns a tuple of those types?

hard

A. func combine(_ a: T, _ b: U) -> (T, U) { return (a, b) }

B. func combine<T>(_ a: T, _ b: T) -> (T, T) { return (a, b) }

C. func combine(_ a: T, _ b: U) -> T { return a }

D. func combine(_ a: T, _ b: U) -> (U, T) { return (b, a) }

Solution

1. Step 1: Understand requirement for two different generic types

   The function must accept two parameters of different types, so two generic placeholders T and U are needed.

2. Step 2: Check return type as tuple of those types

   Return type should be (T, U) matching parameter order and types.

3. Step 3: Verify options

   func combine(_ a: T, _ b: U) -> (T, U) { return (a, b) } matches all requirements. func combine<T>(_ a: T, _ b: T) -> (T, T) { return (a, b) } uses same type for both parameters. func combine(_ a: T, _ b: U) -> T { return a } returns only one type. func combine(_ a: T, _ b: U) -> (U, T) { return (b, a) } swaps tuple order, which is not asked.

4. Final Answer:

   func combine<T, U>(_ a: T, _ b: U) -> (T, U) { return (a, b) } -> Option A

5. Quick Check:

   Two generic types + tuple return = func combine<T, U>(_ a: T, _ b: U) -> (T, U) { return (a, b) } [OK]

Hint: Use two generic placeholders and tuple return type [OK]

Common Mistakes:

• Using one generic type for both parameters
• Returning only one value instead of tuple
• Swapping tuple order incorrectly