• Перегрузка функций в языке С++
• Типовые задачи и решения языка CPP

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

template <typename T> T Abs (T N)
{
  return N < 0 ? -N : N;
}

• Основные принципы и понятия при работе с шаблоном.

Теперь, после поверхностного знакомства - мы рассмотрим все особенности работы шаблонов:

1. При определении шаблона используются два спецификатора: template и typename.
2. На место параметра типа Т можно подставить любое корректное имя.
3. В угловые скобки можно записывать больше одного параметра типа.
4. Параметр функции - это значение, передаваемое в функцию при выполнении программы.
5. Параметр типа - указывает тип аргумента, передаваемого в функцию, и обрабатывается только при компиляции.

• Процесс компиляции шаблона.

1. Определение шаблона не вызывает генерацию кода компилятором самостоятельно. Последний создает код функции только в момент её вызова и генерирует при этом соответствующую версию функции.
2. Следующий вызов с теми же типами данных параметров не спровоцирует генерацию дополнительной копии функции, а вызовет ее уже существующую копию.
3. Компилятор создает новую версию функции, только если тип переданного параметра не совпадает ни с одним из предыдущих вызовов.

1. Каждая версия функции, генерируемая с помощью шаблона, содержит один и тот же фрагмент кода.
2. Однако, для отдельных параметров типа можно обеспечить особую реализацию кода, т. е. определить обычную функцию с тем же именем, что и шаблон.
3. Обычная функция переопределит шаблон. Если компилятор находит типы переданных параметров соответствующие спецификации обычной функции, то он вызовает ее, и не создает функцию по шаблону.