Читать «Справочное руководство по C++» онлайн - страница 83
Бьярн Страустрап
Поскольку шаблонное-имя-класса является именем-класса, то оно может использоваться там, где допустимо имя-класса, например:
class vector‹Shape*›;
vector‹Window›* current_window;
class svector: public vector‹Shape*› {/*… */};
Определение функции-члена шаблонного класса дано в §R.14.6.
R.14.3 Эквивалентность типов
Две конструкции шаблонное-имя-класса обозначают один и тот же класс, если в них совпадают имена шаблонов типа и значения указанных параметров. Например, в следующих описаниях x и y одного типа, который отличен от типа z:
template‹class E, int size› class buffer;
buffer‹char, 2*512› x;
buffer‹char,1024› y;
buffer‹char,512› z;
Ниже приведены описания, в которых одинаковый тип имеют x2 и x3. Он отличается от типов x1 и x4:
template‹class T, void(*err_fct)()›
class list {/*… */};
list‹int,&error_handler1› x1;
list‹int,&error_handler2› x2;
list‹int,&error_handler2› x3;
list‹char,&error_handler2› x4;
R.14.4 Шаблоны типа для функций
Шаблон типа для функции определяет как будет строиться функция. Например, семейство функций 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).