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

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

template < список аргументов>

Тип возвращаемого значения имя функции ( список параметров функции){тело функции}

template <class T >

void Exchange (T&x , T &y)

{T temp;temp=x; x =y; y = temp; }

Вызываются шаблонные функции, как обычные.

float x=3.6, y=7.5;char c=3, b=5;

Exchange(x,y);Exchange(c,b);

В С++, так же как и для класса, для функции (глобальной, то есть не являющейся компонентой-функцией) может быть описан шаблон. Это позволит снять достаточно жесткие ограничения, накладываемые механизмом формальных и фактических параметров при вызове функции. Рассмотрим это на примере функции, вычисляющей сумму нескольких аргументов.

#include "iostream.h"

#include "string.h"

template <class T1,class T2>

T1 sm(T1 a,T2 b) // описание шаблона

{ return (T1)(a+b); // функции c 2 параметрами}

template <class T1,class T2,class T3>

T1 sm(T1 a,T2 b,T3 c) // описание шаблона функции

{ return (T1)(a+b+c); // функции c 3 параметрами}

void main()

{cout<<"вызов ф-ции суммирования sm(int,int) = "<<sm(4,6)<<endl;

cout<<"вызов ф-ции суммирования sm(int,int,int) = "<<sm(4,6,1)<<endl;

cout<<"вызов ф-ции суммирования sm(int,double) = "<<sm(5,.3)<<endl;

cout<<"вызов ф-ции суммирования sm(double,int,short)= " <<sm(.4,6,(short)1)<<endl;

// cout<<sm("я изучаю","язык С++")<<endl; error cannot add two pointers}

Результат работы программы будет иметь вид:

вызов функции суммирования sm(int,int) = 10

вызов функции суммирования sm(int,int,int) = 11

вызов функции суммирования sm(int,double) = 5

вызов функции суммирования sm(double,int,short)= 7.4

В программе описана перегруженная функция sm(), первый экземпляр которой имеет 2, а второй 3 параметра. Тип формальных параметров функции определяется компилятором при каждой встрече вызова функции типом ее фактических параметров. Компилятор заменяет параметры T1,T2 (при вызове функции с 2 параметрами) или T1,T2,T3 (с тремя параметрами) на типы передаваемых в функцию значений. После этого полученная шаблонная функция компилируется. Используемые в функциях типы Т1, Т2, Т3 заданы как параметры для шаблона функции с помощью выражения template <class T1,class T2> или template <class T1,class T2,class T3>.

Имя каждого формального параметра заголовка шаблона может использоваться в заголовке только один раз. Одно и тоже имя формального параметра шаблона может использоваться в нескольких заголовках шаблонов.

В случае попытки передачи в функцию sm() двух строк, то есть типов, для которых не определена данная операция, компилятор выдаст ошибку. Чтобы избежать этого, можно ограничить использование шаблона функции sm(), описав явным образом функцию sm() для некоторых конкретных типов данных. В нашем случае:

char *sm(char *a,char *b) // явное описание функции объединения

{ char *tmp=a; // двух строк

a=new char[strlen(a)+strlen(b)+1];

strcpy(a,tmp);

strcat(a,b);

return a; }

Добавление в main() инструкции, например,

cout<<sm("я изучаю"," язык С++")<<endl;

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

template <class T1,class T2>

T1 sm(T1 a,T2 b) // описание шаблона первой

{ return (T1)(a+b); // функции c 2 параметрами}

template <class T1,class T2>

T1 sm(T2 a,T1 b) // описание шаблона второй

{ return (T1)(a+b); // функции c 2 параметрами}

void main()

{ sm(1.,2) // error 'sm' : none of 2 overload have a best conversion

// 'sm' : ambiguous call to overloaded function}

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

Шаблон функции может быть перегружен так же, если ввести другую нешаблонную функцию имя, которое совпадает с именем шаблона функции

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