Однако помните о проблемах, возникающих при использовании указателей в качестве элементов стека, — эти проблемы никуда не исчезают и в случае шаблонного класса.
Определение шаблона класса
Шаблон класса объявляется следующим образом (см. п. п. 14.5.1 в [1]):
template <параметры>
class имя_класса
{ // определение класса
// объявление шаблона
Имя класса не должно совпадать с другими именами в той же области видимости. Определение объектов в общем виде выглядит так:
имя_класса<аргументы> имя_объекта; имя_класса<аргументы> имя_объекта[количество]; имя_класса<аргументы> * имя_объекта;
// одиночный объект // массив // указатель
Параметр функции — константную ссылку — нужно объявлять так: const имя_класса<аргументы> &имя_объекта;
В шаблоне стека у нас был один параметр, но обычно параметров в угловых скобках бывает несколько и они пишутся через запятую. Вспомним, что ассоциативный контейнер содержит множество пар «ключ-значение». Как раз для такого случая можно определить шаблон структуры (которая тоже является классом) с двумя элементами разного типа, например:
template <class Tl, class T2>
struct Pair { Tl first; T2 second; };
Имена параметров видимы в пределах шаблона, поэтому все имена в одном шаблоне должны быть разными. Объявлять объекты с помощью указанного шаблона можно так:
Pair<int, int> а; Pair<int, double> b;
Такие переменные можно даже инициализировать точно так же, как и обычные структуры, например:
Pair<int, double> b = {1, 2.1);
В качестве аргументов при объявлении можно использовать и реализованные классы:
Pair<string, Date> d;
Естественно, имена классов должны быть видимы в точке определения переменной.
Ключевое слово class требуется писать перед каждым параметром. Вспомним, что в заголовке функции каждый параметр тоже нужно писать с типом — список параметров шаблона должен удовлетворять такому же требованию. Например, следующее объявление ошибочно:
template <class Tl, T2> // так писать нельзя!
struct Pair { Tl first: T2 second; };
При объявлении параметра шаблона вместо слова class стандарт разрешает использовать слово typename (см. п. п. 14.1/2 в [1]), например:
template <typename Tl, typename T2> struct Pair { Tl first; T2 second; };
Это определение ничем не отличается от приведенного ранее. Можно для одного параметра писать слово class, для другого — typename, например:
template <typename Tl, class T2> struct Pair { Tl first; T2 second; };
Наличие двух разных ключевых слов, используемых в одном и том же смысле, выглядит странным. Однако так сложилось исторически: слово typename появилось позже в связи с некоторыми тонкостями объявлений типов внутри шаблонного класса, которые мы рассмотрим позже. Так как по смыслу это слово как раз означает «имя типа», его использование в списке параметров шаблона выглядит естественным. Слово class оставлено для обратной совместимости.
Так же как и обычный класс, шаблон можно объявить (см. п. 14.5 в [1]). Объявление состоит из заголовка шаблона и не включает тело класса, например:
template <typename T> class TStack;
template <typename Tl, typename T2> struct Pair;
template <typename T> class TSimpleArray;
Объявления шаблона служат той же цели, что и объявления обычных классов: ввести имя шаблона в область видимости, чтобы на него можно было ссылаться. |
Главная
Каталог файлов
