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

Операторы после метки defaultвыполняются, если ни одна из меток case не соответствует значению выражения оператора switch. Например, в рассматриваемый код можно добавить счетчик негласных букв. Значение этого счетчика по имени otherCntбудет увеличиваться в случае default:

// если ch гласная, увеличить соответствующий счетчик

switch (ch) {

case 'a': case 'e': case 'i': case 'o': case 'u':

++vowelCnt;

break;

default:

++otherCnt;

break;

}

В этой версии, если переменная chне содержит гласную букву, управление перейдет к метке defaultи увеличится значение счетчика otherCnt.

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

Метка не может быть автономной; она должна предшествовать оператору или другой метке case. Если оператор switchзаканчивается разделом default, в котором не осуществляется никаких действий, за меткой defaultдолжен следовать пустой оператор или пустой блок.

Как уже упоминалось, выполнение оператора switchспособно переходить через метки case. Когда выполнение переходит к некой метке case, весь расположенный выше код оператора switchбудет проигнорирован. Факт игнорирования кода поднимает интересный вопрос: что будет, если пропущенный код содержит определение переменной?

Ответ прост: недопустим переход с места, где переменная с инициализатором уже вышла из области видимости к месту, где эта переменная находится в области видимости.

case true:

// этот оператор switch недопустим, поскольку инициализацию

// можно обойти

string file_name; // ошибка: выполнение обходит неявно

// инициализированную переменную

int ival = 0; // ошибка: выполнение обходит неявно

// инициализированную переменную

int jval; // ok: поскольку jval не инициализирована

break;

case false:

// ok: jval находится в области видимости, но она не инициализирована

jval = next_num(); // ok: присвоить значение jval

if (file_name.empty()) // file_name находится в области видимости, но

// она не инициализирована

// ...

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

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

case true:

{

// ok : оператор объявления в пределах операторного блока

string file_name = get_file_name();

// ...

}

break;

case false:

if (file_name.empty()) // ошибка: file_name вне области видимости

Упражнение 5.9. Напишите программу, использующую серию операторов ifдля подсчета количества гласных букв в тексте, прочитанном из потока cin.

Упражнение 5.10. Программа подсчета гласных имеет одну проблему: она не учитывает заглавные буквы как гласные. Напишите программу, которая подсчитывает гласные буквы как в верхнем, так и в нижнем регистре. То есть значение счетчика aCntдолжно увеличиваться при встрече как символа 'a', так и символа 'A'(аналогично для остальных гласных букв).

Упражнение 5.11. Измените рассматриваемую программу так, чтобы она подсчитывала также количество пробелов, символов табуляции и новой строки.

Упражнение 5.12. Измените рассматриваемую программу так, чтобы она подсчитывала количество встреченных двухсимвольных последовательностей: ff, flи fi.

Упражнение 5.13. Каждая из приведенных ниже программ содержит распространенную ошибку. Выявите и исправьте каждую из них.

Код для упражнения 5.13

(a) unsigned aCnt = 0, eCnt = 0, iouCnt = 0;

char ch = next_text();

switch (ch) {

case 'a': aCnt++;

case 'e': eCnt++;

default: iouCnt++;

}

(b) unsigned index = some_value();

switch (index) {

case 1:

int ix = get_value();

ivec[ix] = index;

break;

default:

ix = ivec.size()-1;

ivec[ix] = index;

(c) unsigned evenCnt = 0, oddCnt = 0;

int digit = get_num() % 10;

switch (digit) {

case 1, 3, 5, 7, 9:

oddcnt++;

break;

case 2, 4, 6, 8, 10:

evencnt++;

break;

}

(d) unsigned ival=512, jval=1024, kval=4096;

unsigned bufsize;

unsigned swt = get_bufCnt();

switch(swt) {

case ival:

bufsize = ival * sizeof (int);

break;

case jval:

bufsize = jval * sizeof(int);

break;

case kval:

bufsize = kval * sizeof(int);

break;

}

Итерационные операторы (iterative statement), называемые также циклами (loop), обеспечивают повторное выполнение кода, пока их условие истинно. Операторы whileи forпроверяют условие прежде, чем выполнить тело. Оператор do whileсначала выполняет тело, а затем проверяет свое условие.

Оператор whileмногократно выполняет оператор, пока его условие остается истинным. Его синтаксическая форма имеет следующий вид:

while ( условие )

оператор

Пока условие истинно (значение true), оператор (который зачастую является блоком кода) выполняется. Условие не может быть пустым. Если при первой проверке условие ложно (значение false), оператор не выполняется.

Условие может быть выражением или объявлением инициализированной переменной (см. раздел 5.2). Обычно либо само условие, либо тело цикла должно делать нечто изменяющее значение выражения. В противном случае цикл никогда не закончится.

Переменные, определенные в условии или теле оператора while, создаются и удаляются при каждой итерации.