Для каждого имени шаблона типа в программе должно существовать толькоодно определение. Описаний может быть несколько. Определениеиспользуется для создания специальных шаблонных классов и шаблонныхфункций, которые будут соответствовать шаблону типа. Конструкция имя-шаблонного-класса вводит описание шаблонного класса. Вызов шаблонной функции или взятие ее адреса вводит описаниешаблонной функции. Для вызова или взятия адреса шаблонной функциив языке существует особое соглашение: имя шаблонной функциииспользуется точно так же как имя обычной функции. Описание функциис таким же именем, как у шаблонной функции, и с сопоставимыми типамипараметров, вводит описание специальной шаблонной функции. Если для выполнения некоторых операций требуется определениеспециального шаблонного класса или специальной шаблонной функции,и если такого определения в программе нет, то оно будет создано. Определение обычной (нешаблонной) функции с типом, которыйточно сопоставляется с типом из описания шаблонной функции,считается определением специальной шаблонной функции. Рассмотримпример: template<class T> void sort(vector<T>& v) { /*... */ } void sort(vector<char*>& v) { /*... */ } Здесь определение функции sort будет использоваться для той функциииз семейства sort, которая сопоставляется при вызове с типомпараметра vector<char*>. Для других типов vector будет создаватьсясоответствующее им определение функции по шаблону типа. Можно определить класс, который задает шаблонный класс, например: template<class T> class stream { /*... */ }; class stream<char> { /*... */ }; Здесь описание класса будет использоваться в качестве определенияпотока символов (stream<char>). Другие потоки будут управлятьсяс помощью шаблонных функций, создаваемых по шаблону типа для функций. Пока не появится описание шаблона типа для класса, никакие операции,которым требуется определенный класс, не могут быть произведены надшаблонным классом. После этого специальный шаблонный классбудет считаться определенным, причем сразу же перед первым глобальнымописанием, использующим его имя.
