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

Шаблоны сами по себе не являются ни функциями, ни классами. Их можно считать инструкцией для компилятора по созданию классов или функций. Процесс, используемый компилятором для создания классов или функций по шаблону, называется созданием экземпляра (instantiation) шаблона. При использовании шаблона необходимо указать, экземпляр какого класса или функции должен создать компилятор.

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

В случае вектора предоставляемой дополнительной информацией является тип объектов, которые он должен содержать:

vector ivec; // ivec содержит объекты типа int

vector Sales_vec; // содержит объекты класса Sales_item

vector> file; // вектор, содержащий другие векторы

В этом примере компилятор создает три разных экземпляра шаблона vector: vector, vectorи vector>.

vector— это шаблон, а не класс. Классам, созданным по шаблону vector, следует указать тип хранимого элемента, например vector.

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

Следует заметить, что прежние версии языка С++ использовали несколько иной синтаксис определения вектора, элементы которого сами являлись экземплярами шаблона vector(или другого типа шаблона). Прежде необходимо было ставить пробел между закрывающей угловой скобкой внешней части vectorи типом его элемента: т.е. vector >, а не vector>.

Некоторые компиляторы могут потребовать объявления вектора векторов в старом стиле, например vector >.

Подобно любому типу класса, шаблон vectorконтролирует способ определения и инициализации векторов. Наиболее распространенные способы определения векторов приведены в табл. 3.4.

Инициализация вектора по умолчанию (см. раздел 2.2.1) позволяет создать пустой вектор определенного типа:

vector svec; // инициализация по умолчанию;

// у svec нет элементов

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

Таблица 3.4. Способы инициализации векторов

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

vector ivec; // первоначально пустой

// присвоить ivec несколько значений

vector ivec2(ivec); // копировать элементы ivec в ivec2

vector ivec3 = ivec; // копировать элементы ivec в ivec3