Стенли Липпман - Язык программирования C++. Пятое издание

Упражнение 16.13. Объясните, какой вид дружественных отношений вы выбрали бы для операторов равенства и сравнения шаблона BlobPtr.

Упражнение 16.14. Напишите шаблон класса Screen, который использует параметры значения для определения высоты и ширины экрана.

Упражнение 16.15. Реализуйте операторы ввода и вывода для своего шаблона Screen. Какие друзья необходимы классу Screen(если таковые вообще имеются) для работы операторов ввода и вывода? Объясните, зачем нужно каждое объявление дружественным (если таковые вообще имеются).

Упражнение 16.16. Перепишите класс StrVec(см. раздел 13.5), как шаблон Vec.

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

template Foo calc(const Foo& a, const Foo& b) {

Foo tmp = a; // тип tmp совпадает с типом параметров и возвращаемого

// значения

// ...

return tmp; // типы возвращаемого значения и параметров совпадают

}

Параметры шаблона следуют обычным правилам области видимости. Имя параметра шаблона применимо сразу после его объявления и до конца объявления или определения шаблона. Подобно любым другим именам, параметр шаблона скрывает любые объявления имен во внешней области видимости. Однако, в отличие от большинства других контекстов, имя, используемое как параметр шаблона, не может быть повторно использовано в пределах шаблона:

typedef double А;

template void f(А а, В b) {

A tmp = а; // tmp имеет тип параметра шаблона А, а не double

double В; // ошибка: повторное объявление параметра шаблона В

}

Согласно обычным правилам сокрытия имен, определение typedefтипа Аскрывается определением параметра типа по имени А. Таким образом, переменная tmpне будет иметь тип double; она будет иметь любой тип, который будет передан параметру шаблона Апри использовании шаблона. Поскольку нельзя многократно использовать имена параметров шаблона, объявление переменной по имени Bошибочно.

Поскольку имя параметра не может быть использовано многократно, в каждом списке параметров шаблона имя параметра шаблона может присутствовать только однажды:

// ошибка: повторение имени V в параметрах шаблона недопустимо

template // ...

Объявление шаблона должно включить параметры шаблона:

// объявляет, но не определяет compare и Blob

template int compare(const T&, const T&);

template class Blob;

Подобно параметрам функций, имена параметров шаблона не должны совпадать с таковыми в объявлениях и определениях того же шаблона:

// все три случая использования calc

// относятся к тому же шаблону функции

template Т calc(const Т&, const Т&); // объявление

template U calc(const U&, const U&); // объявление

// определение шаблона

template

Type calc(const Type& a, const Type& b) { /* ... */ }

Конечно, у каждого объявления и определения шаблона должно быть то же количество и вид (т.е. тип или значение) параметров.

По причинам, рассматриваемым в разделе 16.3, объявления всех шаблонов, необходимых данному файлу, обычно располагаются вместе в начале файла перед любым использующим их кодом.

Помните, как в разделах 7.4 и 7.6 использовался оператор области видимости ( ::) для обращения к статическим членам и членам типа. В обычном коде (не шаблона) у компилятора есть доступ к определению класса. В результате он знает, является ли имя, к которому обращаются через оператор области видимости, типом или статическим членом. Например, в коде string::size_type, компилятор имеет определение класса stringи может узнать, что size_type— это тип.

С учетом того, что Тявляется параметром типа шаблона, когда компилятор встретит такой код, как T::mem, он не будет знать до времени создания экземпляра, является ли memтипом или статической переменной-членом. Но чтобы обработать шаблон, компилятор должен знать, представляет ли имя тип. Например, если Tявляется именем параметра типа, то как компилятор воспримет следующий код: