Д. Стефенс - C++. Сборник рецептов

// common.cpp

template class TreeNode;

Соберите динамическую библиотеку с этим файлом, и после этого код, использующий TreeNode, сможет применять эту библиотеку динамически, не содержа своей собственной скомпилированной версии шаблона. Другой код может включить заголовочный файл шаблона класса, затем скомпоноваться с этой библиотекой и. следовательно, избежать необходимости иметь свою копию. Однако этот подход требует проведения экспериментов, так как не все компиляторы имеют одинаковые проблемы с раздуванием кода, но это общий подход для его минимизации.

Шаблоны C++ (как классов, так и функций) — это очень обширная тема, и имеется огромное количество методик создания мощных, эффективных проектов на основе шаблонов. Великолепным примером шаблонов классов являются контейнеры из стандартной библиотеки, такие как vector, list, setи другие, которые описываются в главе 15. Большая часть интересных разработок, описанных в литературе по С++, связана с шаблонами. Если вы заинтересовались этим предметом, почитайте группы новостей comp.lang.std.c++ и comp.lang.c++ . В них всегда можно найти интересные вопросы и ответы на них.

Рецепт 8.12.

Имеется один метод, который должен принимать параметр любого типа, и невозможно ограничиться каким-либо одним типом или категорией типов (используя указатель на базовый класс).

Используйте шаблон метода и объявите параметр шаблона для типа объекта. Небольшая иллюстрация приведена в примере 8.13.

Пример 8.13. Использование шаблона метода

class ObjectManager {

public:

template T* gimmeAnObject();

template

void gimmeAnObject(T*& p);

};

template

T* ObjectManager::gimmeAnObject() {

return(new T);

}

template

void ObjectManager::gimmeAnObject(T*& p) {

p = new T;

}

class X { /*...*/ };

class Y { /* ... */ };

int main() {

ObjectManager om;

X* p1 = om.gimmeAnObject(); // Требуется указать параметр

Y* p2 = om.gimmeAnObject(); // шаблона

om.gimmeAnObject(p1); // Однако не здесь, так как компилятор может

om.gimmeAnObject(p2); // догадаться о типе T по аргументам

}

При обсуждении шаблонов функций или классов слова «параметр» и «аргумент» становятся несколько двусмысленными. Имеется по два вида каждого: шаблона и функции. Параметры шаблона — это параметры в угловых скобках, например Tв примере 8.13, а параметры функции — это параметры в обычном смысле.

Рассмотрим класс ObjectManagerиз примера 8.13. Это упрощенная версия шаблона фабрики, описанного в рецепте 8.2, так что мне потребовалось объявить метод gimmeAnObject, который создает новые объекты и который клиентский код сможет использовать вместо непосредственного обращения к new. Это можно сделать, либо возвращая указатель на новый объект, либо изменяя указатель, переданный в метод клиентским кодом. Давайте посмотрим на каждый из этих подходов.

Объявление шаблона метода требует, чтобы было использовано ключевое слово templateи были указаны параметры шаблона.

template T* gimmeAnObject();

template void gimmeAnObject(T*& p);

Оба этих метода используют в качестве параметра шаблона T, но они не обязаны это делать. Каждый из них представляет параметр шаблона только для данного метода, так что их имена не связаны друг с другом. То же самое требуется сделать для определения этих шаблонов методов, т.е. использовать это же ключевое слово и перечень параметров шаблона. Вот как выглядят мои определения.

template

T* ObjectManager.:gimmeAnObject() {

return(new T);

}

template

void ObjectManager::gimmeAnObject(T*& p) {

p = new T;

}

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

X* p1 = om.gimmeAnObject();

X— это имя некоего класса. Либо можно позволить компилятору догадаться об аргументах параметров шаблона, передав в методы аргументы типа (типов) параметров шаблона. Например, можно вызвать вторую форму gimmeAnObject, не передавая ей ничего в угловых скобках.

om.gimmeAnObject(p1);

Это работает благодаря тому, что компилятор может догадаться о T, посмотрев на p1и распознав, что он имеет тип X*. Такое поведение работает только для шаблонов функций (методов или отдельных) и только тогда, когда параметры шаблона понятны из аргументов функции .