Why would you use a protocol associated type?

Protocols are one of the most important aspects of the Swift programming language. They consist of properties, methods, and other requirements that define the interface of any particular conforming type. Associated types are a great way to enhance the capabilities of protocols making them more generic and flexible.

Let us take a simple example of a protocol implementation:

Simple protocol

Having your own business is what everyone dreams of. Every business has its own product specializations. So we maintain a product store for each business type that we have.

In the above code, we created a Business protocol that has a storeproperty inside it that holds products for that business in a hash map. Every product should conform to the ProductType protocol which has a id associated with it. We have defined two products one is PharmacyProduct and the other is a GroceryProduct belonging to two different businesses i.e PharmacyBusiness and GroceryBusiness respectively.

We now own two businesses, each with its own fully filled store. We are about to start our new venture but wait !! Do you see whats the issue over here?

Your Business store holds products that confirm to ProductType. A Grocery business could never know what type of product it is. It can be a GroceryProduct or a PaharmacyProduct. Everything works fine till they conform to the ProductType protocol. Now how we can avoid this. This brings to our first use case of associated type i.e to have more control over the type and provide a .

1. Conforming types to have more control over the type of protocol properties and methods

As you saw in the above example any businesses could not know the exact type of product that is being added in their store. Though you can put a check on the identifier or any other tricks, it would be super awesome if we could someway control the type of product that enters our store.

Let us introduce associated type to our protocols.

A couple of interesting things happening in the above code. First, we introduced associatedtype keyword into our protocol. We then constrained it to ProductType. Our store now holds the associated type as a product.

On the conformation part, we are forced by the compiler to provide the associated type with constraints as a concrete type instead of a protocol, the reason being that a concrete type can only conform to a protocol. Try writing typealias Product = ProductType and you would see the compiler hit you with an error.

Did you notice in the conformation part the associated type being represented as a typealias. The reason behind that is the compiler understands this as some sort of placeholder which will be filled with the type at compile time.

Let us slightly refactor the above code, as Swift is smart for type inference.

Isn’t that cool !!

Moving on to the next reason why would you want to use an associated type, we have recursive constraints.

2. Type constraints for individual properties and methods in protocols and Recursive Constraints

We all are ambitious and want to scale our business and our brand to the next level. In order to do that we need to have multiple branches of our business. We need to take care of an important part here. Our business though can function on their own but their product type should be the same as that of our main branch. In the end, they are a subsidiary of ours. So let us modify our business interface to handle that.

We introduced a new associated type Retailers that is constrained to be of a Business type. This is called a recursive constraint where you constrained the property within a protocol to that type itself. And with the introduction of the where keyword we constrained it to have the same product as the store has.

Now Swift Compiler will ensure that the product type of your main branches and all your retailers will be the same.

These are some of the few useful areas where you can use a protocol associated type. Although you are never limited to this. Keep experimenting and keep learning.

I would love to hear from you

You can reach me for any query, feedback, or just want to have a discussion by the following channels:

Twitter — @gabhisek_dev





Software Developer(iOS), Speaker & Writer at Swift India

Love podcasts or audiobooks? Learn on the go with our new app.

Recommended from Medium

‘Missing package product <package name>’ error handling

Play—the first native iOS design tool—is now available on iPad.

Build a SwiftUI App For Tracking Your Cryptocurrency Trades

How to prevent keyboard editing when you’re using UIPickerView with UITextField

Mastering the fundamentals of BLE for iOS using Swift.

Load local HTML into UIWebView using swift

Adjusting Constraints for layout items in a UITableViewCell

Swift Notes on Navigation and Some

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
G. Abhisek

G. Abhisek

Software Developer(iOS), Speaker & Writer at Swift India

More from Medium

Creating Objects without Specifying their Concrete Classes

Fundamental Design Pattern: Strategy

Apple Developer Documentation’s Simple, Fundamental Design Flaw

Modularization: Dependency Inversion for Firebase Events