Статический полиморфизм

Назначение

Идиома "Статический полиморфизм" основана на шаблонах, которые позволяют создавать обобщенные алгоритмы и контейнеры, которые могут работать с различными типами данных. Компилятор при использовании шаблона генерирует конкретный код для каждого типа данных, что позволяет избежать дублирования кода.

Решаемые задачи

• уменьшение дублирования кода

• возможность повторного использования кода

• статическая проверка типов

Пример реализации идиомы "Статический полиморфизм"

template<typename T>
void sort_vector(std::vector<T>& v) 
{
    for (int i = 0; i < v.size(); i++) 
        for (int j = i + 1; j < v.size(); j++) 
            if (v[i] > v[j]) 
            {
                T temp = v[i];
                v[i] = v[j];
                v[j] = temp;
            }          
}
int main() 
{
    std::vector<int> v1 = { 3, 1, 4, 1, 5, 9, 2, 6, 5, 3 };
    std::vector<std::string> v2 = { "apple", "banana", "cherry", "date", "elderberry" };
    sort_integers(v1);
    sort_strings(v2);
    return 0;
}

Недостатки использования

• необходимость явного указания типа данных при использовании шаблонов, что приводит к усложнению кода и затруднении чтения и поддержки

• шаблоны могут занимать большой объем памяти, если используются для хранения больших объемов данных

• не подходит для задач, которые требуют динамического выбора данных во время выполнения программы

В последнем случае используются виртуальные функции и динамический полиморфизм.