Why Generic function declaration in Swift? - Purpose & Use Cases

The Big Idea

What if you could write one function that magically works for all your data types?

The Scenario

Imagine you need to write several functions that do the same thing but for different types of data, like numbers, strings, or custom objects. You end up copying and changing code many times.

The Problem

This manual way is slow and boring. It's easy to make mistakes when copying code. Also, if you want to fix a bug or add a feature, you must update every copy separately, which wastes time and causes errors.

The Solution

Generic function declaration lets you write one function that works with any type. You write the logic once, and it adapts to different data types automatically. This saves time and keeps your code clean and safe.

Before vs After

✗ Before

func swapInts(a: inout Int, b: inout Int) { let temp = a; a = b; b = temp }
func swapStrings(a: inout String, b: inout String) { let temp = a; a = b; b = temp }

✓ After

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

What It Enables

It enables you to write flexible, reusable functions that work with any data type without repeating code.

Real Life Example

Think about a function that sorts a list. With generics, you write it once, and it can sort numbers, names, or any custom objects you create.

Key Takeaways

Writing separate functions for each type is slow and error-prone.

Generic functions let you write one adaptable function for many types.

This makes your code cleaner, safer, and easier to maintain.

Practice

1. What is the purpose of declaring a generic function in Swift using <T>?

easy

A. To allow the function to work with any data type without rewriting code

B. To restrict the function to only work with integers

C. To make the function run faster by using a specific type

D. To create a function that only works with strings

Solution

1. Step 1: Understand generic function purpose

   Generic functions use placeholders like <T> to accept any data type.

2. Step 2: Analyze options

   Only To allow the function to work with any data type without rewriting code correctly states that generics allow code reuse for many types without rewriting.

3. Final Answer:

   To allow the function to work with any data type without rewriting code -> Option A

4. Quick Check:

   Generic functions = flexible type use [OK]

Hint: Generics mean one function fits many types [OK]

Common Mistakes:

• Thinking generics limit types instead of generalizing
• Confusing generics with type-specific functions
• Assuming generics improve speed directly

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

easy

A. func swapValues(a: T, b: T) { }

B. func swapValues<T>(a: Int, b: Int) { }

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

D. func swapValues(a: T, b: U) { }

Solution

1. Step 1: Identify correct generic syntax

   Generic functions declare type placeholders inside angle brackets after the function name, like <T>.

2. Step 2: Check parameter types

   func swapValues<T>(a: T, b: T) { } correctly uses <T> and parameters of type T. func swapValues(a: T, b: T) { } misses <T>. func swapValues<T>(a: Int, b: Int) { } uses Int which is not generic. func swapValues(a: T, b: U) { } uses two generic types but swap usually uses one.

3. Final Answer:

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

4. Quick Check:

   Generic syntax = func name<T>(...) [OK]

Hint: Generic type <T> goes right after function name [OK]

Common Mistakes:

• Forgetting <T> after function name
• Using concrete types instead of generic placeholders
• Mixing multiple generic types unnecessarily

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

func printValue<T>(value: T) {
    print("Value is \(value)")
}
printValue(value: 42)
printValue(value: "Hello")

medium

A. Compilation error due to type mismatch

B. Value is 42\nValue is Hello

C. Value is Hello\nValue is Hello

D. Value is 42\nValue is 42

Solution

1. Step 1: Understand generic function behavior

   The function printValue accepts any type T and prints it.

2. Step 2: Analyze calls with different types

   First call passes an integer 42, second passes a string "Hello". Both print correctly.

3. Final Answer:

   Value is 42 Value is Hello -> Option B

4. Quick Check:

   Generic function prints any type value [OK]

Hint: Generic functions accept any type without error [OK]

Common Mistakes:

• Assuming generic functions only accept one type per program
• Expecting type mismatch error for different calls
• Confusing output order

4. Identify the error in this generic function declaration and fix it:

func compareValues<T>(a: T, b: T) -> Bool {
    return a > b
}

medium

A. Remove generic and use Int type instead

B. No error, function is correct

C. Change return type to Int

D. Add constraint: to allow '>' operator

Solution

1. Step 1: Understand operator usage in generics

   The '>' operator requires the type to conform to Comparable protocol.

2. Step 2: Add constraint to generic type

   Adding <T: Comparable> ensures T supports '>' operator.

3. Final Answer:

   Add constraint: <T: Comparable> to allow '>' operator -> Option D

4. Quick Check:

   Generic constraints needed for operators [OK]

Hint: Use when comparing generics [OK]

Common Mistakes:

• Ignoring protocol constraints for operators
• Changing return type unnecessarily
• Removing generics instead of fixing constraints

5. You want to write a generic function findFirstIndex that returns the first index of a value in an array. Which declaration correctly uses generics and constraints to achieve this?

hard

A. func findFirstIndex(array: [T], value: T) -> Int? {
for (index, element) in array.enumerated() {
if element == value {
return index
}
}
return nil
}

B. func findFirstIndex<T>(array: [T], value: T) -> Int? {
for (index, element) in array.enumerated() {
if element == value {
return index
}
}
return nil
}

C. func findFirstIndex(array: [Int], value: Int) -> Int? {
for (index, element) in array.enumerated() {
if element == value {
return index
}
}
return nil
}

D. func findFirstIndex(array: [T], value: T) -> Int? {
for (index, element) in array.enumerated() {
if element == value {
return index
}
}
return nil
}

Solution

1. Step 1: Understand equality requirement

   To compare elements with '==', type T must conform to Equatable.

2. Step 2: Check generic constraints and function logic

   func findFirstIndex(array: [T], value: T) -> Int? { for (index, element) in array.enumerated() { if element == value { return index } } return nil } correctly declares T: Equatable and uses a loop to find the first matching index.

3. Final Answer:

   func findFirstIndex<T: Equatable>(array: [T], value: T) -> Int? { ... } -> Option A

4. Quick Check:

   Equality check needs Equatable constraint [OK]

Hint: Use when checking equality in generics [OK]

Common Mistakes:

• Omitting Equatable constraint causing compile error
• Using Comparable instead of Equatable unnecessarily
• Restricting to Int instead of generic type