Ну, самый популярный пример - это STL (vector, deque, list...).
Коротко говоря, шаблоны используются когда заранее неизвестно переменные каких размеров (в байтах) будут использоваться.
В моём небольшом опыте не приходилось создавать шаблонные классы и, думаю, никогда не придётся - всё что требуется всегда пока находилось в STL - и почти наверняка так всегда и будет.
А если шаблонные классы начинают создаваться уже НЕ для организации хранения и доступа к переменных этого типа, то это, наверняка, уже плохой стиль программирования, потому что в таких случаях почти всегда можно решить имеющуюся задачу гораздо проще.
Добавлено @ 01:13
Ну и вот описание из книги:
"Синтаксис шаблонов
Если вы собираетесь использовать шаблоны, привыкайте к тому, что в вашей речи будет часто звучать
термин параметризованный (parameterized). Шаблоны используются для создания параметризованных
типов (обычно классов) и параметризованных функций.
Параметризованные типы
Параметризованный тип внешне представляет собой обычное объявление класса, которому
предшествует магическое заклинание template <c1ass Type>, где Type — выбранное вами
символическое имя (остальные элементы задаются жестко). Всюду, где символическое имя Type (или
другое имя) встречается в объявлении класса оно интерпретируется как макрос, вместо которого при
использовании класса подставляется конкретный тип. Класс ListNode, переписанный как
параметризованный тип, выглядит следующим образом:
| Код |
template <class Type>
class ListNode {
private:
ListNode<Type>* next;
Type* data;
public:
ListNode(Type* d, ListNode<Type>* n = NULL) : next(n), data(d) {}
~ListNode() { delete next; }
Type* Data() { return data; }
ListNode<Type>* Next() { return next; }
};
ListNode<Foo> list = new ListNode<Foo> (new Foo);
Foo* f = list->Data(); // Возвращает правильный тип
|
В теле объявления класса формальный параметр шаблона резервирует место, на которое при
использовании класса подставляется фактический параметр. При этом компилятор буквально
генерирует правильный, безопасный по отношению к типам код.
Параметризованные функции
Параметризованные функции объявляются точно так же — перед их объявлениями указывается
формула template.... Синтаксис шаблона должен повторяться как при объявлении, так и при
определении функции. Помните, шаблоны на самом деле являются макросами, поэтому они должны
находиться в файлах .h. Если определение будет находиться в файле .срр, программа работать не будет
(если только это не единственный файл .срр, в котором вызывается данная функция).
| Код |
// Объявление функции
template <class Type>
Type* fn(Type* t);
// Определение ее реализации
template <class Type>
Type* fn(Type* t) {
// Тело функции, в котором имя Type
// используется в качестве параметра макроса
}
Foo* f = fn<Foo>(new Foo);
|
Определение генерируется компилятором при необходимости, то есть при вызове функции. На этот раз
параметризовано имя функции, а не имя класса."
|
)