Какие виды полиморфизма существуют?

Question

Существует несколько видов полиморфизма: через наследование, через протоколы, параметрический и ad-hoc. В Swift наиболее активно используются полиморфизм через протоколы и параметрический полиморфизм с помощью дженериков. Каждый вид решает свою задачу. Выбор зависит от требований к гибкости и типобезопасности. Все они направлены на уменьшение связности кода.

YeaHub · Accepted Answer

Полиморфизм — это не только наследование. В разных языках и в Swift в частности, он проявляется по-разному, и важно понимать, чем эти формы отличаются.1) Динамический полиморфизмОн работает, когда выбор реализации происходит во время выполнения.Обычно это:наследование и переопределение (override)вызов метода через базовый типПример идеи:переменная типа Shapeвнутри может быть Circle или Rectangleвызов area() выполнит нужную реализациюКлючевая особенность:гибкость высокаяно есть небольшая цена на диспетчеризацию2) Полиморфизм через протоколыВ Swift протоколы часто являются основным способом полиморфизма.Он работает через:общий контракт (протокол)разные типы, реализующие методы протоколаПлюсы:можно «подмешивать» поведение без иерархий наследованияудобно для тестов, потому что легко подменять реализацииМинусы:могут появляться нюансы с existential и производительностью, если тип стирается до протокола3) Параметрический полиморфизм (дженерики)Это ситуация, когда код пишется один раз, но работает с разными типами, и выбор происходит на этапе компиляции.Пример:Arrayфункция func max(...) -> TПлюсы:обычно быстрее, потому что не требует динамического выбораболее строгая типобезопасностьМинусы:иногда сложнее читать и поддерживать, если дженерики слишком сложные4) Ad-hoc полиморфизмЭто «полиморфизм под конкретные типы», чаще всего через перегрузку функций.В Swift:можно перегружать методы по сигнатурено это не то же самое, что динамический полиморфизмВыводВ Swift чаще всего применяются две формы: полиморфизм через протоколы и параметрический полиморфизм через дженерики. Наследование используется реже, но остаётся важным, особенно в UIKit.