Why Protocol extensions with default implementations in Swift? - Purpose & Use Cases

The Big Idea

What if you could write a piece of code once and have it work everywhere without repeating yourself?

The Scenario

Imagine you have many different types of vehicles, and you want each to have a way to start the engine. You write the same start code inside every vehicle class manually.

The Problem

This means repeating the same code over and over. If you want to change how starting works, you must update every class separately. It's slow, boring, and easy to make mistakes.

The Solution

Protocol extensions with default implementations let you write the start code once. All vehicle types that follow the protocol get this code automatically, unless they want to customize it.

Before vs After

✗ Before

class Car { func start() { print("Engine started") } } 
class Bike { func start() { print("Engine started") } }

✓ After

protocol Vehicle { func start() }
extension Vehicle { func start() { print("Engine started") } }
class Car: Vehicle {}
class Bike: Vehicle {}

What It Enables

This lets you add shared behavior easily and keep your code clean, saving time and avoiding errors.

Real Life Example

Think of a game where many characters can attack. Using protocol extensions, you write the attack once and all characters get it, but some can still have special attacks.

Key Takeaways

Writing shared code once for many types.

Saving time and reducing mistakes.

Allowing easy customization when needed.

Practice

1. What is the main purpose of using protocol extensions with default implementations in Swift?

easy

A. To allow protocols to store properties

B. To create new classes that inherit from protocols

C. To enforce that all conforming types must implement every method

D. To provide default method implementations that all conforming types can use

Solution

1. Step 1: Understand protocol extensions

   Protocol extensions allow adding methods or properties with default behavior to protocols.

2. Step 2: Identify the purpose of default implementations

   Default implementations let conforming types use common code without writing it themselves.

3. Final Answer:

   To provide default method implementations that all conforming types can use -> Option D

4. Quick Check:

   Default implementations = shared code for all [OK]

Hint: Default implementations give shared code to all conforming types [OK]

Common Mistakes:

• Thinking protocols can store properties
• Confusing protocol inheritance with extensions
• Believing all methods must be implemented manually

2. Which of the following is the correct syntax to add a default implementation for a protocol method in Swift?

easy

A. extension MyProtocol { func greet() { print(\"Hello\") } }

B. protocol MyProtocol { extension func greet() { print(\"Hello\") } }

C. func greet() in MyProtocol { print(\"Hello\") }

D. MyProtocol { func greet() { print(\"Hello\") } }"

Solution

1. Step 1: Recall syntax for protocol extensions

   Default implementations are added inside an extension of the protocol.

2. Step 2: Check each option

   extension MyProtocol { func greet() { print(\"Hello\") } } correctly uses extension MyProtocol { func greet() { ... } }. Others misuse keywords or structure.

3. Final Answer:

   extension MyProtocol { func greet() { print("Hello") } } -> Option A

4. Quick Check:

   Use extension to add defaults [OK]

Hint: Use 'extension ProtocolName' to add default methods [OK]

Common Mistakes:

• Trying to put method bodies inside protocol declaration
• Using 'extension' inside protocol block
• Omitting the 'extension' keyword

3. Consider the code below:

protocol Speaker {
    func speak()
}

extension Speaker {
    func speak() {
        print("Speaking from extension")
    }
}

struct Person: Speaker {
    func speak() {
        print("Person speaking")
    }
}

struct Robot: Speaker {}

let p = Person()
p.speak()

let r = Robot()
r.speak()

What is the output when this code runs?

medium

A. Person speaking
Robot speaking

B. Speaking from extension
Speaking from extension

C. Person speaking
Speaking from extension

D. Compilation error

Solution

1. Step 1: Understand method resolution for protocol extensions

   If a conforming type provides its own method, it overrides the default from the extension.

2. Step 2: Analyze the structs

   Person implements speak() so it prints "Person speaking". Robot does not implement it, so uses default "Speaking from extension".

3. Final Answer:

   Person speaking Speaking from extension -> Option C

4. Quick Check:

   Own method overrides default extension [OK]

Hint: Own method overrides default extension method [OK]

Common Mistakes:

• Assuming default is always called
• Expecting Robot to cause error
• Confusing protocol declaration with implementation

4. The following code tries to add a default implementation for describe() in a protocol extension, but it causes a compile error. What is the mistake?

protocol Describable {
    func describe()
}

extension Describable {
    func describe
    {
        print("Default description")
    }
}

medium

A. Protocol cannot have methods without bodies

B. Missing parentheses after method name in extension

C. Extension cannot provide method implementations

D. Missing 'func' keyword in extension

Solution

1. Step 1: Check method syntax in extension

   Method definitions require parentheses even if no parameters are present.

2. Step 2: Identify the error

   The extension method func describe is missing parentheses () after the name.

3. Final Answer:

   Missing parentheses after method name in extension -> Option B

4. Quick Check:

   Method syntax needs () even if empty [OK]

Hint: Always include () after method name in definitions [OK]

Common Mistakes:

• Omitting parentheses in method declaration
• Thinking protocol methods must have bodies
• Believing extensions can't implement methods

5. You want to create a protocol Identifiable with a property id and a default method identify() that prints the id. How would you write the protocol and extension so that conforming types can use the default identify() without extra code?

hard

A. protocol Identifiable { var id: String { get } }\nextension Identifiable { func identify() { print(\"ID: \(id)\") } }

B. protocol Identifiable { func identify() }\nextension Identifiable { var id: String { return \"default\" } }

C. protocol Identifiable { var id: String }\nextension Identifiable { func identify() { print(id) } }

D. protocol Identifiable { var id: String { get set } }\nextension Identifiable { func identify() { print(\"ID: \(id)\") } }"

Solution

1. Step 1: Define protocol with read-only property

   Use var id: String { get } to require an id property that conforming types must provide.

2. Step 2: Provide default identify() method in extension

   Extension adds identify() that prints the id using string interpolation.

3. Final Answer:

   protocol Identifiable { var id: String { get } }\nextension Identifiable { func identify() { print("ID: \(id)") } } -> Option A

4. Quick Check:

   Protocol requires id; extension adds identify() [OK]

Hint: Require property with { get } and add method in extension [OK]

Common Mistakes:

• Using var id: String without { get } or { get set }
• Trying to provide stored properties in protocol extension
• Defining identify() in protocol but not implementing in extension