NEW: Subscribe to Hacking with Swift+ and accelerate your learning! >>

What are class and subtype existentials?

Swift version: 5.2

Paul Hudson    @twostraws   

You should already know that Swift lets you specify a concrete type as a function parameter, meaning that you can say “this parameter must be a string.” Swift also lets you specify protocols types for function parameters, meaning that you can say “this parameter must conform to Codable.”

Those two are straightforward, but sometimes you need more power. Fortunately, Swift lets us represent existentials of classes and subtypes that conform to protocols, which is dramatic way of saying that you can now refer to types in a more complex way.

As an example, consider this class hierarchy:

class Animal { }

class Dog: Animal, Codable { }
class Cat: Animal, Codable { }

There’s a main Animal class, and two subclasses called Dog and Cat. Both of the subclasses also conform to Codable. Swift lets us combine both Animal (the class) and Codable (the protocol) to write functions that require a parameter to be both at the same time:

func encodeAnimal(with animal: Animal & Codable) {

}

let animal = Dog()
encodeAnimal(with: animal)

Without the Codable part that function would accept instances of the main Animal class even though it wouldn’t work inside, and without the Animal part that function would accept anything that’s Codable – only the combination of the two makes sense.

Hacking with Swift is sponsored by Instabug

SPONSORED Are you tired of wasting time debugging your Swift app? Instabug’s SDK is here to help you minimize debugging time by providing you with complete device details, network logs, and reproduction steps with every bug report. All data is attached automatically, and it only takes a line of code to setup. Start your free trial now and get 3 months off exclusively for the Hacking with Swift Community.

Start your free trial!

Sponsor Hacking with Swift and reach the world's largest Swift community!

Available from iOS 8.0

Similar solutions…

About the Swift Knowledge Base

This is part of the Swift Knowledge Base, a free, searchable collection of solutions for common iOS questions.

BUY OUR BOOKS
Buy Pro Swift Buy Swift Design Patterns Buy Testing Swift Buy Hacking with iOS Buy Swift Coding Challenges Buy Swift on Sundays Volume One Buy Server-Side Swift (Vapor Edition) Buy Advanced iOS Volume One Buy Advanced iOS Volume Two Buy Advanced iOS Volume Three Buy Hacking with watchOS Buy Hacking with tvOS Buy Hacking with macOS Buy Dive Into SpriteKit Buy Swift in Sixty Seconds Buy Objective-C for Swift Developers Buy Server-Side Swift (Kitura Edition) Buy Beyond Code

Was this page useful? Let us know!

Average rating: 3.7/5

Link copied to your pasteboard.