Шаблон типа для функции определяет как будет строиться функция. Например,семейство функций sort можно описать следующим образом: template<class T> void sort(vector<T>); Шаблон типа для функции порождает неограниченное множество перегруженныхфункций. Функция, порождаемая шаблоном типа для функций, называетсяшаблонной функцией. Она эквивалентна функции, в описании которой указантип, соответствующий шаблону, см. $$R.14.5. При вызове шаблонной функции параметры шаблона типа не задаютсяявно, вместо этого применяется правило разрешения неопределенностиперегруженных функций. Рассмотрим пример: vector<complex> cv(100); vector<int> ci(200); void f(vector<complex>& cv, vector<int>& ci) { sort(cv); // вызывается sort(vector<complex>) sort(ci); // вызывается sort(vector<int>) } Шаблонная функция может быть перегружена как обычными, так ишаблонными функциями с тем же именем. Для разрешения неопределенностишаблонных и обычных функций с одним и тем же именем надопоследовательно пройти три шага: [1] Попытаться найти точно сопоставимую вызову ($$R.13.2) функцию, и если она найдена, вызвать ее. [2] Попытаться найти шаблон типа для функций, по которому можно создать точно сопоставимую с рассматриваемым вызовом функцию. Если удалось найти, то вызвать функцию. [3] Попытаться применить обычное правило разрешения неопределенности перегруженных функций ($$R.13.2). Если с его помощью функция найдена, вызвать ее.Если не найдено сопоставимой функции, вызов является ошибочным.Если уже на первом шаге найдено более одного кандидата,сопоставимого с данной функцией, то вызов также считается неоднозначными ошибочным. Успешное выполнение шага [2] приведет к созданию некоторойшаблонной функции с параметрами ($$R.14.5), типы которых точносопоставятся с типами параметров, указанных в вызове. В этом случаенедопустимо расхождение даже за счет тривиальных преобразований ($$R.13.2). Такие же действия применяются для сопоставления типов указателейна функции ($$R.13.3). Рассмотрим пример: template<class T> T max(T a, T b) { return a>b?a:b; }; void f(int a, int b, char c, char d) { int m1 = max(a,b); // max(int a, int b) char m2 = max(c,d); // max(char c, char b) int m3 = max(a,c); // ошибка: нельзя создать max(int,char) } Добавив к этому примеру описание int max(int,int); можно разрешить неопределенность для третьего вызова, поскольку теперьзадана функция, которая после стандартного преобразования char в int,может сопоставиться с вызовом max(a,c). Определение шаблона типа для функции используется для созданияразличных вариантов шаблона типа. Для вызова определенного вариантадостаточно лишь описания шаблона типа. Каждый параметр-шаблона-типа, который приведен всписке-параметров-шаблона-типа должен обязательно использоваться призадании типов параметров в шаблоне типа для функции. template<class T> T* create(); //ошибка template<class T> void f() { // ошибка T a; //... } Все параметры-шаблона-типа, приведенные в шаблоне типа для функции,должны быть параметрами-типа.
