Реализация параметрического полиморфизма

Обобщённое программирование предлагает нам экономию трудозатрат на реализацию каких-то алгоритмов. Например, можно однажды написать алгоритм сортировки и больше никогда к нему не возвращаться. Но для этого нужно, чтобы подпрограмма сортировки была полиморфна, а тип данных, который хотим сортировать, поддерживал бы операцию сравнения «меньше или равно». В любом новом типе данных достаточно иметь эту операцию — и Вы, создатель этого типа, бесплатно получаете в распоряжение подпрограмму сортировки.

        Языки программирования, лишённые полиморфизма, лишены и обобщённого программирования. В них для нового типа данных надо заново писать алгоритмы той же сортировки или поиска. Поэтому, задавая себе вопрос: «Какой язык программирования мне хочется выучить», узнавайте, есть ли в нём полиморфизм и обобщённое программирование.

Примечание. Полиморфизм достаточно легко реализуем даже в Си. Для этого применяется указатель типа void*, он же «обобщённый указатель». Но нас интересует безопасное программирование со строгой типизацией. Поэтому трюк с void*, который позволяет делать всё, что угодно, нам не подходит. Вместе с тем есть языки, где полиморфизм отсутствует. Поэтому, как пишут их критики, программирующие на этих языках имеют хорошую практику в написании стандартных алгоритмов типа поиска и сортировки.

Немного о параметрическом полиморфизме

Полиморфизм через создание специализированных версий функций

template <typename T>
void swap (T* arg1, T* arg2) {
	 T  tmp = *arg1;
	*arg1 = *arg2;
	*arg2 = tmp;
}
int main() {
	int  a=0;
	int  b=1;
	swap(&a,&b);
	cout << a;
	return 0;
}

У каждой версии функции — свой размер стекового кадра.

Википедия: «Мономорфизация при компиляции шаблонов C++ является неизбежной, так как в системе типов языка отсутствует поддержка полиморфизма — полиморфный язык здесь является статической надстройкой над мономорфным ядром языка. Это приводит к кратному увеличению объёма получаемого машинного кода, что получило известность как «раздувание кода».

auto add(T)(T lhs, T rhs) {
    return lhs + rhs;
}

Реализация параметрического полиморфизма с помощью двух стеков

Заключение

Опубликовано: 2019.02.22, последняя правка: 2023.03.05    01:13

✅  2019/03/13 01:46, Comdiv          #0 

Подобный полиморфизм есть и в Java

✅  2019/03/13 17:33, Автор сайта          #1 

fn identity<T>(x: T) -> T { x}

fn less_or_equal<T>(x, y: T) -> bool {...}

✅  2019/03/13 19:48, CD          #2 

✅  2019/03/14 11:03, kt          #3 

DCL X GENERIC(A ENTRY(FIXED), B ENTRY(FLOAT));

DCL X GENERIC(A WHEN(FIXED), B WHEN(FLOAT));

✅  2019/03/14 12:57, Comdiv          #4 

✅  2019/03/14 13:06, Автор сайта          #5 

Пишется схожим образом, что и в любом ООП.

Синтаксической ошибки для несовместимых вещей не будет, только runtime

редкая экзотика, ради которой не стоит и огород городить... Правда, оговорюсь – это в стоящих передо мной задачах не нашлось применения, а не вообще во всех случаях.

✅  2019/03/14 15:30, kt          #6 

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

✅  2019/03/15 01:59, Comdiv          #7 

А для чего ...?

может Comdiv нам что-то напишет

✅  2019/03/15 17:42, Автор сайта          #8 

чтобы можно было применять один и тот же код для экземпляров разных типов одного подкласса.

fn less_or_equal<T>(x, y: T) -> bool {
    if (x < y) return true;
    if (x == y) return true;
    return  false;
}

✅  2019/03/15 17:56, Comdiv          #9 

✅  2019/03/18 01:10, Автор сайта          #10 

fn less_or_equal<T>(x, y: T) -> bool

✅  2019/03/19 12:38, Comdiv          #11 

✅  2019/03/20 14:37, rst256          #12 

//опред. ф-и в коде
template <sized T>
void swap (T* arg1, T* arg2) {
	 T  tmp = *arg1;
	*arg1 = *arg2;
	*arg2 = tmp;
}

//опред. ф-и созданное компилятором
void swap (void *arg1, void *arg2, size_t n) {
	char tmp[n];
	memcpy(tmp, arg1, n);
	memcpy(arg1, arg2, n);
	memcpy(arg2, tmp, n);
}

//вызов ф-и в коде
swap (arg1, arg2);

//вызов ф-и созданный компилятором
swap (arg1, arg2, sizeof(*arg1));

Добавить свой отзыв

Написать автору можно на электронную почту
mail(аt)compiler.su