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

Новый стандарт ввел упрощенный оператор for, который перебирает элементы контейнера или другой последовательности. Синтаксис серийного оператора for(range for) таков:

for ( объявление : выражение )

оператор

выражение должно представить некую последовательность, такую, как список инициализации (см. раздел 3.3.1), массив (см. раздел 3.5), или объект такого типа, как vectorили string, у которого есть функции-члены begin()и end(), возвращающие итераторы (см. раздел 3.4).

объявление определяет переменную. Каждый элемент последовательности должен допускать преобразование в тип переменной (см. раздел 4.11). Проще всего гарантировать соответствие типов за счет использования спецификатора типа auto(см. раздел 2.5.2). Так компилятор выведет тип сам. Если необходима запись в элементы последовательности, то переменная цикла должна иметь ссылочный тип.

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

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

vector v = {0,1,2,3,4,5,6,7,8,9};

// для записи в элементы переменная диапазона должна быть ссылкой

for (auto &r : v) // для каждого элемента вектора v

r *= 2; // удвоить значение каждого элемента вектора v

Заголовок forобъявляет, что управляющая переменная цикла rсвязана с вектором v. Чтобы позволить компилятору самостоятельно вывести тип переменной r, используем спецификатор auto. Поскольку предполагается изменение значений элементов вектора v, объявим переменную rкак ссылку. При присвоении ей значений в цикле фактически присваивается значение элементу, с которым связана переменная rв данный момент.

Вот эквивалентное определение серийного оператора forв терминах традиционного цикла for:

for (auto beg = v.begin(), end = v.end(); beg != end; ++beg) {

auto &r = *beg; // для изменения элементов r должна быть ссылкой

r *= 2; // удвоить значение каждого элемента вектора v

}

Теперь, когда известно, как работает серийный оператор for, можно понять, почему в разделе 3.3.2 упоминалось о невозможности его использования для добавления элементов к вектору или другому контейнеру. В серийном операторе forкешируется значение end(). Если добавить или удалить элементы из последовательности, сохраненное значение end()станет неверным (см. раздел 3.4.1). Более подробная информация по этой теме приведена в разделе 9.3.6.

Оператор do whileпохож на оператор while, но его условие проверяется после выполнения тела. Независимо от значения условия тело цикла выполняется по крайней мере однажды. Его синтаксическая форма приведена ниже.

do

оператор

while (условие);

После заключенного в скобки условия оператор do whileзаканчивается точкой с запятой.

В цикле do while оператор выполняется прежде, чем условие . Причем условие не может быть пустым. Если условие ложно, цикл завершается, в противном случае цикл повторяется. Используемые в условии переменные следует определить вне тела оператора do while.

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

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

string rsp; // используется в условии, поэтому не может быть

// определена в цикле do

do {

cout << "please enter two values: ";

int val1 = 0, val2 = 0;

cin >> val1 >> val2;

cout << "The sum of " << val1 << " and " << val2

<< " = " << val1 + val2 << "\n\n"

<< "More? Enter yes or no: ";

cin >> rsp;

} while (!rsp.empty() && rsp[0] != 'n');

Цикл начинается запросом у пользователя двух чисел. Затем выводится их сумма и следует запрос, желает ли пользователь суммировать далее. Ответ пользователя проверяется в условии. Если ввод пуст или начинается с n, цикл завершается. В противном случае цикл повторяется.