Инструменты пользователя

Инструменты сайта


Боковая панель

Связь

shablony_funkcij

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

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

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. Обычная функция переопределит шаблон. Если компилятор находит типы переданных параметров соответствующие спецификации обычной функции, то он вызовает ее, и не создает функцию по шаблону.



shablony_funkcij.txt · Последние изменения: 2010/08/26 06:57 (внешнее изменение)