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

Question

[Amir228]

Я знаю лишь перегрузку операторов/методов, методы расширения, полиморфизм подтипов. Но я не понимаю к каким типом они относиться, и какие типы есть. Слышел лишь он ad hoc полиморфизме. Если я не ошибаюсь есть еще 2 типа.

Answer 1

[Василий Банников]

ad-hoc - это как раз перегрузка методов.
Методы расширения - это вообще не полиморфизм.
Полиморфизм подтипов - это обычный полиморфизм с наследованием и реализацией интерфейсов.
Есть ещё параметрический полиморфизм - это когда у тебя женерики используются.

Comments

[Amir228]

Спасибо. Я а то запутался. Только можете еще по подробнее сказать почему методы расширение не относяться к полиморфизму.

[Василий Банников]

Amir228, потому что это просто синтаксический сахар для статичных методов

Answer 2

[Александр Скуснов]

Возьмём пример из Haskell
1) параметрический:
функция length подсчитает длину списка любого типа элементов
2) специальный (ad hoc):
при вызове функции сложения (+) под капотом вызываются разные команды процессора - для целых и дробных форматов.

Comments

[Xiran]

при вызове функции сложения (+) под капотом вызываются разные команды процессора - для целых и дробных форматов.

Вопрос был задан в теге ООП, а значит нужно отвечать в контексте ООП, а не машинного кода.
ad-hoc полиморфизм, например в C++, обычно реализуется компилятором на основе шаблонов, ADL (выбор функции по типам параметров), манглирования имен.

[Александр Скуснов]

Студенту, может, и нужно отвечать, но мы то с вами не на экзамене. Для функционального программирования вообще нет железа, так уж получилось, что ФП-шники берут процессоры архитектуры фон Неймана с ячейками памяти, предназначенные для хранения переменных (не знаю, в курсе вы или нет, но в ФП переменных нет, одни функции).