Описание тега adhoc-polymorphism

Специальный полиморфизм - это своего рода полиморфизм, в котором полиморфные функции могут применяться к аргументам разных типов, потому что полиморфная функция может обозначать ряд различных и потенциально гетерогенных реализаций в зависимости от типа аргумента (ов), к которому она применяется. Это также известно как перегрузка функции или перегрузка оператора. Термин "ad hoc" в этом контексте не предназначен для уничижительного отношения; это просто относится к тому факту, что этот тип полиморфизма не является фундаментальной особенностью системы типов. Это контрастирует с параметрическим полиморфизмом, в котором полиморфные функции написаны без упоминания какого-либо конкретного типа и, таким образом, могут прозрачным образом применять одну абстрактную реализацию к любому количеству типов.