Что такое полиморфизм

Полиморфизм - это концепция в объектно-ориентированном программировании, которая позволяет объектам различных типов обрабатываться с использованием общего интерфейса. Это позволяет одному интерфейсу иметь разные реализации в разных контекстах.

Выделают три типа полиморфизма с примерами кода на C#:

1. Ad-hoc полиморфизм - это способность функции обрабатывать аргументы разных типов, предоставляя различную реализацию в зависимости от типа аргументов.

По моему мнению не заслуживает носить гордое имя полиморфизма, достаточно называть это перегрузкой методов/операторов. А в C++ даже без ООП такой механизм работает.

2. Параметрический полиморфизм - это способность обрабатывать аргументы одного или более типов без привязки к конкретному типу. Это достигается с помощью шаблонов, обобщений или дженериков.

3. Полиморфизм подтипов - это способность объекта производного класса использоваться вместо объекта базового класса. Это возможно благодаря наследованию и переопределению методов.

Вот это истинное проявление полиморфизма, которое даже трудновато понять, если использовать апкасты, даункасты, приведения типов и остальное.

Но пример легкий:

Важно отметить, что полиморфизм это самое важное в ООП. Без понимания полиморфизма нет смысла изучать SOLID и паттерны проектирования.

И ещё, столь же важно отметить, что понять всю силу полиморфизма можно только на языке со статической типизацией, просто потому что с динамической типизацией полиморфизм становится незаметным, но вездесущим. :)