Одним из моих камней преткновения стала такая вещь, как протоколы с Associated Types (PATs). На просторах русскоязычного комьюнити мало информации и объяснений, что же это такое и с чем это едят, поэтому я решил разобраться в этом сам.

Что мы имеем?

Разберём все на примере покемонов. Если вы ранее писали на Objective-C или на других объектно-ориентированных языках, то наверняка вы захотите создать класс Pokemon для того, чтобы наследоваться и иметь весь общий функционал. Поскольку каждый покемон уникальный и имеет уникальные способности (молния, вода, огонь и т. д.), мы можем воспользоваться таким мощным инструментом, как обобщения (Generics) в нашем классе:

Здесь мы смоделировали разные способности для разных покемонов:

Теперь другие покемоны могут наследоваться от нашего базового класса Pokemon, чтобы иметь способность атаки из коробки:

Есть проблема...

Проблемой в этом примере является наследование. Если вы смотрели вышеупомянутое выступление с WWDC 15, то наверняка у вас в голове возникла картинка Crusty...

Недостатком наследования является то, что со временем код становится громоздким и сложным, а также появляются непредвиденные ошибки (к примеру, Pokemon Eggs не имеют способности атаковать).

В конце концов, Дэйв Абрамс со сцены WWDC убеждал нас в том, что Swift является протокол-ориентированным языком, поэтому нам нужно менять наш объектно-ориентированный настрой.

Привет, протоколы с Associated Types

Давайте сделаем всё то же самое с PATs! Вместо того, чтобы наследоваться от базового класса, мы можем создать протокол, который будет отвечать за способность покемонов атаковать. Также помним, что каждый покемон уникален, поэтому нам нужно использовать дженерики:

Теперь любой покемон, который реализует протокол PowerTrait будет иметь функционал атаки без необходимости наследования:

Заключение

Вот и всё! Протокол с associated type — это просто красивый термин для протокола с дженериками. С использованием PATs (и протоколов в целом), у нас есть мощный инструмент, который предоставляет действительно хороший функционал взамен беспорядочному наследованию.

Чтобы углубиться в это и узнать больше о PATs, рекомендую посмотреть выступление Алексис Галлахер.

На этом всё, до скорого!