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

void DebugDelete::operator()(string *p) const { delete p; }

Шаблон-член можно также определить и для шаблона класса. В данном случае у и класса, и у его члена будут собственные, независимые параметры шаблона.

В качестве примера снабдим класс Blobконструктором, который получает два итератора, обозначающих диапазон копируемых элементов. Поскольку желательно обеспечить поддержку итераторов в различных видах последовательностей, сделаем этот конструктор шаблоном:

template class Blob {

template Blob(It b, It e);

// ...

};

У этого конструктора есть свой собственный параметр типа шаблона, It, который он использует для типа двух параметров функции.

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

template // параметр типа для класса

template // параметр типа для конструктора

Blob::Blob(It b, It е) :

data(std::make_shared>(b, e)) { }

Здесь определяется член шаблона класса, у которого есть один параметр типа шаблона Т. Сам член является шаблоном функции, имеющий параметр типа It.

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

int ia[] = {0,1,2,3,4,5,6,7,8,9};

vector vi = {0,1,2,3,4,5,6,7,8,9};

list w = {"now", "is", "the", "time"};

// создает экземпляр класса Blob

// и конструктор Blob с двумя параметрами типа int*

Blob a1(begin(ia), end(ia));

// создает экземпляр конструктора Blob с двумя параметрами

// типа vector::iterator

Blob а2(vi.begin(), vi.end());

// создает экземпляр класса Blob и конструктор Blob

// с двумя параметрами типа list::iterator

Blob a3(w.begin(), w.end());

При определении a1указывается явно, что компилятор должен создать экземпляр шаблона Blobс параметром типа int. Параметр типа для его собственных параметров конструктора будет выведен из типа результатов вызова функций begin(ia)и end(ia). Этим типом является int*. Таким образом, определение a1создает следующий экземпляр:

Blob::Blob(int*, int*);

Определение а2использует уже готовый экземпляр класса Blobи создает экземпляр конструктора с параметром типа It, замененным на vector::iterator. Определение a3(явно) создает экземпляр шаблона Blobс собственным параметром шаблона типа stringи (неявно) экземпляр конструктора шаблона-члена этого класса с собственным параметром типа list.

Упражнение 16.21. Напишите собственную версию типа DebugDelete.

Упражнение 16.22. Пересмотрите программы TextQueryиз раздела 12.3 так, чтобы указатель-член shared_ptrиспользовал тип DebugDeleteкак свою функцию удаления (см. раздел 12.1.4).

Упражнение 16.23. Предскажите, когда будет выполняться оператор вызова в вашей основной программе запроса. Если предсказание неправильно, убедитесь, что понимаете почему.

Упражнение 16.24. Добавьте в свой шаблон Blobконструктор, получающий два итератора.

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

В больших системах дополнительные затраты на создание экземпляра того же шаблона в нескольких файлах могут оказаться существенными. По новому стандарту можно избежать этих дополнительных затрат за счет явного создания экземпляра (explicit instantiation). Его форма такова: