Шаблоны функций

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

Определение шаблона функции

Чтобы определить шаблон функции, мы предваряем определение функции ключевым словом template, за которым следует список параметров типа, заключенный в угловые скобки <>. Обычно typename или class используются для объявления универсального типа.

// T is the generic type parameter
template <typename T>
T add(T a, T b) {
    return a + b;
}

Вызов функции и вычисление аргументов шаблона

Когда мы вызываем функцию, мы можем явно указать тип в угловых скобках:

int res1 = add<int>(5, 10);
double res2 = add<double>(3.14, 2.71);

Однако компилятор C++ обычно способен определить тип автоматически на основе переданных входных параметров (вывод аргументов шаблона):

int res1 = add(5, 10); // The compiler deduces that T is int

Попробуйте сами