C++ для начинающих

Имя параметра шаблона можно употреблять после его объявления и до конца объявления или определения шаблона. Если в глобальной области видимости объявлена переменная с таким же именем, как у параметра шаблона, то это имя будет скрыто. В следующем примере тип item равен не double, а типу параметра:

typedef double Type;

template class Type

class QueueItem {

public:

// ...

private:

// тип Item - не double

Type item;

QueueItem *next;

};

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

template class Type

class QueueItem {

public:

// ...

private:

// ошибка: член не может иметь то же имя, что и

// параметр шаблона Type

typedef double Type;

Type item;

QueueItem *next;

};

Имя параметра шаблона может встречаться в списке только один раз. Поэтому следующее объявление компилятор помечает как ошибку:

// ошибка: неправильное использование имени параметра шаблона Type

template class Type, class Type

class container;

Такое имя разрешается повторно использовать в объявлениях или определениях других шаблонов:

// правильно: повторное использование имени Type в разных шаблонах

template class Type

class QueueItem;

template

class Queue;

Имена параметров в опережающем объявлении и последующем определении одного и того же шаблона не обязаны совпадать. Например, все эти объявления QueueItem относятся к одному шаблону класса:

// все три объявления QueueItem

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

// объявления шаблона

template class T class QueueItem;

template class U class QueueItem;

// фактическое определение шаблона

template class Type

class QueueItem { ... };

У параметров могут быть аргументы по умолчанию (это справедливо как для параметров-типов, так и для параметров-констант) - тип или значение, которые используются в том случае, когда при конкретизации шаблона фактический аргумент не указан. В качестве такого аргумента следует выбирать тип или значение, подходящее для большинства конкретизаций. Например, если при конкретизации шаблона класса Buffer не указан размер буфера, то по умолчанию принимается 1024:

template class Type, size = 1024

class Buffer;

В последующих объявлениях шаблона могут быть заданы дополнительные аргументы по умолчанию. Как и в объявлениях функций, если для некоторого параметра задан такой аргумент, то он должен быть задан и для всех параметров, расположенных в списке правее (даже в другом объявлении того же шаблона):

template class Type, size = 1024

class Buffer;

// правильно: рассматриваются аргументы по умолчанию из обоих объявлений

template class Type=string, int size

class Buffer;

(Отметим, что аргументы по умолчанию для параметров шаблонов не поддерживаются в компиляторах, реализованных до принятия стандарта C++. Чтобы примеры из этой книги, в частности из главы 12, компилировались большинством современных компиляторов, мы не использовали такие аргументы.)

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

template class Type

class QueueItem {

public:

QueueItem( const Type & );

private:

Type item;

QueueItem *next;

};

Обратите внимание, что каждое появление имени QueueItem в определении шаблона - это сокращенная запись для

QueueItemType

Такую сокращенную нотацию можно употреблять только внутри определения QueueItem (и, как мы покажем в следующих разделах, в определениях его членов, которые находятся вне определения шаблона класса). Если QueueItem применяется как спецификатор типа в определении какого-либо другого шаблона, то необходимо задавать полный список параметров. В следующем примере шаблон класса используется в определении шаблона функции display. Здесь за именем шаблона класса QueueItem должны идти параметры, т.е. QueueItemType.

template class Type

void display( QueueItemType &qi )

{

QueueItemType *pqi =