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

vector v1{"a", "an", "the"}; // списочная инициализация

vector v2("a", "an", "the"); // ошибка

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

vector ivec(10, -1); // десять элементов типа int, каждый из

// которых инициализирован значением -1

vector svec(10, "hi!"); // десять строк, инициализированных

// значением "hi!"

Иногда инициализирующее значение можно пропустить и указать только размер. В этом случае произойдет инициализация значения (value initialization), т.е. библиотека создаст инициализатор элемента сама. Это созданное библиотекой значение используется для инициализации каждого элемента в контейнере. Значение инициализатора элемента вектора зависит от типа его элементов.

Если вектор хранит элементы встроенного типа, такие как int, то инициализатором элемента будет значение 0. Если элементы имеют тип класса, такой как string, то инициализатором элемента будет его значение по умолчанию.

vector ivec(10); // десять элементов, инициализированных

// значением 0

vector svec(10); // десять элементов, инициализированных

// пустой строкой

Эта форма инициализации имеет два ограничения. Первое — некоторые классы всегда требуют явного предоставления инициализатора (см. раздел 2.2.1). Если вектор содержит объекты, тип которых не имеет значения по умолчанию, то начальное значение элемента следует предоставить самому; невозможно создать векторы таких типов, предоставив только размер.

Второе ограничение заключается в том, что при предоставлении количества элементов без исходного значения необходимо использовать прямую инициализацию (direct initialization):

vector vi = 10; // ошибка: необходима прямая инициализация

Здесь число 10 используется для указания на то, как создать вектор, — необходимо, чтобы он обладал десятью элементами с инициализированными значениями. Число 10 не "копируется" в вектор. Следовательно, нельзя использовать форму инициализации копией. Более подробная информация об этом ограничении приведена в разделе 7.5.4.

Списочный инициализатор или количество элементов

В некоторых случаях смысл инициализации зависит от того, используются ли при передаче инициализаторов фигурные скобки или круглые. Например, при инициализации вектора vectorодиночным целочисленным значением это значение могло бы означать либо размер вектора, либо значение элемента. Точно так же, если предоставить два целочисленных значения, то они могли бы быть размером и исходным значением или значениями для двух элементов вектора. Для определения предназначения используются фигурные или круглые скобки.

vector v1(10); // v1 имеет десять элементов со значением 0

vector v2{10}; // v2 имеет один элемент со значением 10

vector v3(10, 1); // v3 имеет десять элементов со значением 1

vector v4{10, 1}; // v4 имеет два элемента со значениями 10 и 1

Круглые скобки позволяют сообщить, что предоставленные значения должны использоваться для создания объекта. Таким образом, векторы v1и v3используют свои инициализаторы для определения размера вектора, а также размера и значения его элементов соответственно.

Использование фигурных скобок, {...}, означает попытку списочной инициализации. Таким образом, если класс способен использовать значения в фигурных скобках как список инициализаторов элементов, то он так и сделает. Если это невозможно, то следует рассмотреть другие способы инициализации объектов. Значения, предоставленные при инициализации векторов v2и v4, рассматриваются как значения элементов. Это списочная инициализация объектов; у полученных векторов будет один и два элемента соответственно.

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

vector v5{"hi"}; // списочная инициализация: v5 имеет

// один элемент

vector v6("hi"); // ошибка: нельзя создать вектор из

// строкового литерала

vector v7{10}; // v7 имеет десять элементов, инициализированных

// значением по умолчанию

vector v8{10, "hi"}; // v8 имеет десять элементов со

// значением "hi"

Хотя фигурные скобки использованы во всех этих определениях, кроме одного, только вектор v5имеет списочную инициализацию. Для списочной инициализации вектора значения в фигурных скобках должны соответствовать типу элемента. Нельзя использовать объект типа intдля инициализации строки, поэтому инициализаторы векторов v1и v8не могут быть инициализаторами элементов. Если списочная инициализация невозможна, компилятор ищет другие способы инициализации объектов.

Упражнение 3.12. Есть ли ошибки в следующих определениях векторов?

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

(a) vector> ivec;

(b) vector svec = ivec;

(c) vector svec(10, "null");

Упражнение 3.13. Сколько элементов находится в каждом из следующих векторов? Каковы значения этих элементов?

(a) vector v1; (b) vector v2 (10);

(с) vector v3(10, 42); (d) vector v4{10};

(e) vector v5{10, 42}; (f) vector v6{10};

(g) vector v7{10, "hi"};

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

Если необходим вектор со значениями от 0 до 9, то можно легко использовать списочную инициализацию. Но что если необходимы элементы от 0 до 99 или от 0 до 999? Списочная инициализация была бы слишком громоздкой. В таких случаях лучше создать пустой вектор и использовать его функцию-член push_back(), чтобы добавить элементы во время выполнения. Функция push_back()вставляет переданное ей значение в вектор как новый последний элемент. Рассмотрим пример.