возвращает – ссылку на , имеющий тип , a принимает ссылку на и записывает ее значение в . Некоторые сложности появляются в отношении методов и , так что далее я вернусь к этому вопросу. Подождите немного.

Теперь, когда

объявлен с помощью заполнителя типа, его должен использовать клиентский код. Вот как это делается.

— это простая реализация двоичного дерева. Чтобы создать дерево, которое хранит строковые значения, создайте узлы следующим образом.

Тип между угловыми скобками — это то, что используется вместо

при создании экземпляра класса. Создание экземпляра шаблона — это процесс, выполняемый компилятором при создании версии при условии, что — это . Двоичное физическое представление создается тогда, когда создается его экземпляр (и только в этом случае). В результате в памяти получается структура, эквивалентная той, которая была бы, если был написан без ключевого слова и параметра типа, а вместо использовался бы .

Создание экземпляра шаблона для данного параметра типа аналогично созданию экземпляра объекта любого класса. Ключевое различие состоит в том, что создание экземпляра шаблона происходит в процессе компиляции, в то время как создание объекта класса происходит во время выполнения программы. Это означает, что если вместо

двоичное дерево должно хранить данные типа , его узлы должны быть объявлены вот так.

Как и в случае с версией для

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

Некоторое время назад я сказал, что рассмотрю методы

и . Теперь, когда вы знакомы с созданием экземпляра шаблона (если еще не были), объявление и определение и должно стать более осмысленным.

Здесь говорится, что каждый из этих методов возвращает указатель на экземпляр

для . Следовательно, когда создается экземпляр для, скажем, , экземпляры и создаются следующим образом.

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

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

Таким образом, человек, использующий ваш класс, может указать для отслеживания размера поддеревьев каждого узла

, или что-либо еще.

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

Как и в случае с параметрами функций по умолчанию, их можно использовать только для отдельных параметров при условии, что этот последний параметр или все параметры справа от него имеют аргументы по умолчанию.

В примере 8.12 определение шаблона дается в том же месте, что и его объявление. Обычно это делается для экономии места, занимаемого примером, не в данном случае есть и еще одна причина. Шаблоны (классов или функций — см. рецепт 8.12) компилируются в двоичную форму только тогда, когда создается их экземпляр. Таким образом, невозможно создать объявление шаблона в заголовочном файле, а его реализацию — в исходном файле (т.е. .cpp) Причина заключается в том, что в нем нечего компилировать! Из этого правила имеются исключения, но обычно при написании шаблона класса его реализация должна помешаться в заголовочном файле или встраиваемом файле, который подключается заголовочным.