Чтобы использовать вектор, необходимо включить соответствующий заголовок. В примерах подразумевается также, что включено соответствующее объявление using.
#include <vector>
using std::vector;
Типvector — это шаблон класса (class template). Язык С++ поддерживают шаблоны и классов, и функций. Написание шаблона требует довольно глубокого понимания языка С++. До главы 16 мы даже не будем рассматривать создание собственных шаблонов! К счастью, чтобы использовать шаблоны, вовсе не обязательно уметь их создавать.
Шаблоны сами по себе не являются ни функциями, ни классами. Их можно считать инструкцией для компилятора по созданию классов или функций. Процесс, используемый компилятором для создания классов или функций по шаблону, называется созданием экземпляра (instantiation) шаблона. При использовании шаблона необходимо указать, экземпляр какого класса или функции должен создать компилятор.
Для создания экземпляра шаблона класса следует указать дополнительную информацию, характер которой зависит от шаблона. Эта информация всегда задается одинаково: в угловых скобках после имени шаблона.
В случае вектора предоставляемой дополнительной информацией является тип объектов, которые он должен содержать:
vector<int> ivec; // ivec содержит объекты типа int
vector<Sales_item> Sales_vec; // содержит объекты класса Sales_item
vector<vector<string>> file; // вектор, содержащий другие векторы
В этом примере компилятор создает три разных экземпляра шаблона vector: vector<int>, vector<Sales_item> и vector<vector<string>>.
vector — это шаблон, а не класс. Классам, созданным по шаблону vector, следует указать тип хранимого элемента, например vector<int>.
Можно определить векторы для содержания объектов практически любого типа. Поскольку ссылки не объекты (см. раздел 2.3.1), не может быть вектора ссылок. Однако векторы большинства других (не ссылочных) встроенных типов и типов классов вполне могут существовать. В частности, может быть вектор, элементами которого являются другие векторы.
Следует заметить, что прежние версии языка С++ использовали несколько иной синтаксис определения вектора, элементы которого сами являлись экземплярами шаблона vector (или другого типа шаблона). Прежде необходимо было ставить пробел между закрывающей угловой скобкой внешней части vector и типом его элемента: т.е. vector<vector<int> >, а не vector<vector<int>>.
Некоторые компиляторы могут потребовать объявления вектора векторов в старом стиле, например vector<vector<int> >.
3.3.1. Определение и инициализация векторов
Подобно любому типу класса, шаблон vector контролирует способ определения и инициализации векторов. Наиболее распространенные способы определения векторов приведены в табл. 3.4.
Инициализация вектора по умолчанию (см. раздел 2.2.1) позволяет создать пустой вектор определенного типа:
vector<string> svec; // инициализация по умолчанию;
// у svec нет элементов
Могло бы показаться, что пустой вектор бесполезен. Однако, как будет продемонстрировано вскоре, элементы в вектор можно без проблем добавлять и во время выполнения. В действительности наиболее распространенный способ использования векторов подразумевает определение первоначально пустого вектора, в который элементы добавляются по мере необходимости во время выполнения.
Таблица 3.4. Способы инициализации векторов
vector<T> v1
|
Вектор, содержащий объекты типа T. Стандартный конструктор v1 пуст |
vector<T> v2(v1)
|
Вектор v2 — копия всех элементов вектора v1 |
vector<T> v2 = v1
|
Эквивалент v2(v1), v2 — копия элементов вектора v1 |
vector<T> v3(n, val)
|
Вектор v3 содержит n элементов со значением val |
vector<T> v4(n)
|
Вектор v4 содержит n экземпляров объекта типа T, инициализированного значением по умолчанию |
vector<T> v5{a,b,с ...}
|
Вектор v5 содержит столько элементов, сколько предоставлено инициализаторов; элементы инициализируются соответствующими инициализаторами |
vector<T> v5 = {a,b,с ... }
|
Эквивалент v5{a,b,c ... } |