Swift Academy · Lesson

Conditional conformances

Make a generic type conform to a protocol only if its type parameter meets constraints (e.g., Box<T>: Equatable where T: Equatable ).

Lesson 1 of 38 steps

Conditional conformances is a free Swift Academy lesson on CoddyKit. This is lesson 1 of 3. Any 3 lessons of this learning path are free to read in full — after that, CoddyKit PRO unlocks every lesson, plus hands-on practice with a built-in code editor and a 24/7 AI tutor. It is part of the Swift Academy learning path, and your progress syncs across the web and the CoddyKit app. The Swift Academy course includes 3 lessons in total.

Why conditional conformance?

Conditional conformance adds a protocol conformance only when type parameters meet constraints. This keeps APIs precise, avoids boilerplate, and composes powerfully with the standard library.

Generic type baseline

Start with a generic type. Without extra work, Box does not conform to Equatable/Hashable even if T does.

struct Box<T> {
    var value: T
}
let bi = Box(value: 3)
let bs = Box(value: "hi")
// At this point Box has no Equatable/Hashable, regardless of T.

Equatable conditionally

Add Equatable only if T: Equatable. Code that compares boxes of non-Equatable types will not compile (good safety).

extension Box: Equatable where T: Equatable {
    static func == (lhs: Box<T>, rhs: Box<T>) -> Bool {
        lhs.value == rhs.value
    }
}
print(Box(value: 5) == Box(value: 5))   // true
// Works because Int is Equatable
// print(Box(value: someNonEquatable) == ...) // won't compile

Hashable conditionally

Similarly, adopt Hashable only when the element is Hashable. Then Set/Dictionary work with Box<T>.

extension Box: Hashable where T: Hashable {
    func hash(into hasher: inout Hasher) {
        hasher.combine(value)
    }
}
let set: Set<Box<Int>> = [Box(value: 1), Box(value: 1)]
print(set.count)  // 1 because Hashable is available only when T: Hashable

Feature-gate with where

Use extension ... where to expose methods only for certain capabilities (e.g., T: Numeric), keeping the base API small.

// Add extra APIs only when T supports them
extension Box where T: Numeric {
    func doubled() -> T { value + value }
}
print(Box(value: 7).doubled())     // 14 (Int is Numeric)
// Box(value: "hi").doubled()      // won't compile — String not Numeric

Seen in the standard library

You already use this daily:

  • Array: Equatable only when Element: Equatable.
  • Dictionary/Set hashing only when keys/elements are Hashable.
  • Optional equality only when Wrapped: Equatable.

Benefit: APIs are accurate and compile-time safe.

Definition check

Quick check: What does conditional conformance allow?

Recap

Recap: Use extension Type: Protocol where ... to add conformances and APIs only when constraints hold. This keeps code precise, safe, and easy to reason about.

Free to start

Learn Swift with an AI tutor — free

Write and run real code in your browser, get instant help from a 24/7 AI tutor, and pick up where you left off on the web or in the app.

Courses
122
Lessons
409

Frequently Asked Questions

Is the “Conditional conformances” lesson free?

Yes — any 3 lessons of the Swift Academy learning path, including “Conditional conformances”, are free to read in full here on the web. After that, CoddyKit PRO unlocks every lesson, plus interactive practice with a built-in code editor and a 24/7 AI tutor. The Swift Academy course includes 3 lessons in total.

What will I learn in “Conditional conformances”?

Make a generic type conform to a protocol only if its type parameter meets constraints (e.g., Box<T>: Equatable where T: Equatable ). You practise Swift Academy with hands-on code you run directly in the browser, and a 24/7 AI tutor answers your questions as you work through the lesson.

Do I need any experience to start Swift Academy?

No prior experience is required. Swift Academy on CoddyKit is structured for beginners through advanced learners, so you can start here or from the beginning and move at your own pace. This is lesson 1 of 3.

How long does the “Conditional conformances” lesson take?

Most CoddyKit lessons take about 5–10 minutes. Each one is bite-sized and interactive, so you make steady progress and pick up exactly where you left off across the web and the app.

Can I write and run code in this Swift Academy lesson?

Yes. Every Swift Academy lesson includes a built-in code editor, so you write and run real code right in your browser and get instant AI feedback — no local setup required.

All lessons in this course

  1. Conditional conformances
  2. Recursive constraints & higher-order generics
  3. where clauses on extensions
← Back to Swift Academy