8.4.5 Введение операций с помощью параметров шаблонного класса

      Возможны ситуации, когда неявность связи между шаблонной функцией       sort() и шаблонным классом Comparator создает трудности. Неявную       связь легко упустить из виду и в то же время разобраться в ней       может быть непросто. Кроме того, поскольку эта связь "встроена"       в функцию sort(), невозможно использовать эту функцию для       сортировки векторов одного типа, если операция сравнения рассчитана       на другой тип (см. упражнение 3 в $$8.9). Поместив функцию sort()       в класс, мы можем явно задавать связь с классом Comparator:       template<class T, class Comp> class Sort {       public:       static void sort(Vector<T>&);       };       Не хочется повторять тип элемента, и это можно не делать, если       использовать typedef в шаблоне Comparator:       template<class T> class Comparator {       public:       typedef T T; // определение Comparator<T>::T       static int lessthan(T& a, T& b) {       return a < b;       }       // ...       };       В специальном варианте для указателей на строки это определение       выглядит так:       class Comparator<char*> {       public:       typedef char* T;       static int lessthan(T a, T b) {       return strcmp(a,b) < 0;       }       // ...       };       После этих изменений можно убрать параметр, задающий тип элемента,       из класса Sort:       template<class T, class Comp> class Sort {       public:       static void sort(Vector<T>&);       };       Теперь можно использовать сортировку так:       void f(Vector<int>& vi,       Vector<String>& vc,       Vector<int>& vi2,       Vector<char*>& vs)       {       Sort< int,Comparator<int> >::sort(vi);       Sort< String,Comparator<String> >:sort(vc);       Sort< int,Comparator<int> >::sort(vi2);       Sort< char*,Comparator<char*> >::sort(vs);       }       и определить функцию sort() следующим образом:       template<class T, class Comp>       void Sort<T,Comp>::sort(Vector<T>& v)       {       for (int i=0; i<n-1; i++)       for (int j=n-1; i<j; j--)       if (Comp::lessthan(v[j],v[j-1])) {       T temp = v[j];       v[j] = v[j-1];       v[j-1] = temp;       }       }       Последний вариант ярко демонстрирует как можно соединять в одну       программу отдельные ее части. Этот пример можно еще больше       упростить, если использовать класс сравнителя (Comp) в качестве       единственного параметра шаблона. В этом случае в определениях класса       Sort и функции Sort::sort() тип элемента будет обозначаться как Comp::T.

8.5 Разрешение перегрузки для шаблонной функции

      К параметрам шаблонной функции нельзя применять никаких преобразований       типа. Вместо этого при необходимости создаются новые варианты       функции:       template<class T> T sqrt(t);       void f(int i, double d, complex z)       {       complex z1 = sqrt(i); // sqrt(int)       complex z2 = sqrt(d); // sqrt(double)       complex z3 = sqrt(z); // sqrt(complex)       // ...       }       Здесь для всех трех типов параметров будет создаваться по шаблону       своя функция sqrt. Если пользователь захочет чего-нибудь иного,       например вызвать sqrt(double), задавая параметр int, нужно       использовать явное преобразование типа:       template<class T> T sqrt(T);       void f(int i, double d, complex z)       {       complex z1 = sqrt(double(i)); // sqrt(double)       complex z2 = sqrt(d); // sqrt(double)       complex z3 = sqrt(z); // sqrt(complex)       // ...       }       В этом примере по шаблону будут создаваться определения только для       sqrt(double) и sqrt(complex).       Шаблонная функция может перегружаться как простой, так и шаблонной       функцией того же имени. Разрешение перегрузки как шаблонных, так и       обычных функций с одинаковыми именами происходит за три шагаЬ:       Ь Эти правила слишком строгие, и, по всей видимости будут ослаблены,       чтобы разрешить преобразования ссылок и указателей, а, возможно,       и другие стандартные преобразования. Как обычно, при таких       преобразованиях будет действовать контроль однозначности.       [1] Найти функцию с точным сопоставлением параметров ($$R.13.2);       если такая есть, вызвать ее.       [2] Найти шаблон типа, по которому можно создать вызываемую       функцию с точным сопоставлением параметров; если такая есть,       вызвать ее.       [3] Попробовать правила разрешения для обычных функций ($$r13.2);       если функция найдена по этим правилам, вызвать ее, иначе       вызов является ошибкой.       В любом случае, если на первом шаге найдено более одной функции,       вызов считается неоднозначным и является ошибкой. Например:       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,int)       char m2 = max(c,d); // max(char,char)       int m3 = max(a,c); // ошибка: невозможно       // создать max(int,char)       }       Поскольку до генерации функции по шаблону не применяется никаких       преобразований типа (правило [2]), последний вызов в этом       примере нельзя разрешить как max(a,int(c)). Это может сделать сам       пользователь, явно описав функцию max(int,int). Тогда вступает       в силу правило [3]:       template<class T>       T max(T a, T b) { return a>b?a:b; }       int max(int,int);       void f(int a, int b, char c, char d)       {       int m1 = max(a,b); // max(int,int)       char m2 = max(c,d); // max(char,char)       int m3 = max(a,c); // max(int,int)       }       Программисту не нужно давать определение функции max(int,int),       оно по умолчанию будет создано по шаблону.       Можно определить шаблон max так, чтобы сработал первоначальный       вариант нашего примера:       template<class T1, class T2>       T1 max(T1 a, T2 b) { return a>b?a:b; };       void f(int a, int b, char c, char d)       {       int m1 = max(a,b); // int max(int,int)       char m2 = max(c,d); // char max(char,char)       int m3 = max(a,c); // max(int,char)       }       Однако, в С и С++ правила для встроенных типов и операций над ними       таковы, что использовать подобный шаблон с двумя параметрами       может быть совсем непросто. Так, может оказаться неверно задавать       тип результата функции как первый параметр (T1), или, по крайней       мере, это может привести к неожиданному результату, например для       вызова       max(c,i); // char max(char,int)       Если в шаблоне для функции, которая       может иметь множество параметров с различными арифметическими       типами, используются два параметра, то в результате по шаблону будет       порождаться слишком большое число определений разных функций.       Более разумно добиваться преобразования типа, явно описав функцию       с нужными типами.