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

Например, можно было бы посчитать общее количество гласных так:

unsigned vowelCnt = 0;

// ...

switch (ch) {

// для инкремента vowelCnt подойдет любая буква а, е, i, о или u

case 'a':

case 'e':

case 'i':

case 'o':

case 'u':

++vowelCnt;

break;

}

Здесь расположено несколько меток caseподряд без оператора break. Теперь при любой гласной в переменной chбудет выполняться тот же код.

Поскольку язык С++ не требует обязательно располагать метки caseв отдельной строке, весь диапазон значений можно указать в одной строке:

switch (ch) {

// альтернативный допустимый синтаксис

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

++vowelCnt;

break;

}

Случаи, когда оператор breakпропускают преднамеренно, довольно редки, поэтому их следует обязательно комментировать, объясняя логику действий.

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

// внимание: преднамеренно неправильный код!

switch (ch) {

case 'a' :

++aCnt; // Упс! Необходим оператор break

case 'e':

++eCnt; // Упс! Необходим оператор break

case 'i':

++iCnt; // Упс! Необходим оператор break

case 'o':

++oCnt; // Упс! Необходим оператор break

case 'u':

++uCnt;

}

Чтобы понять происходящее, предположим, что значением переменной chявляется 'e'. Выполнение переходит к коду после метки case 'e', где происходит инкремент переменной eCnt. Выполнение продолжается далее через метки case, увеличивая также значения переменных iCnt, oCntи uCnt.

Несмотря на то что оператор breakи не обязателен после последней метки оператора switch, использовать его все же рекомендуется. Ведь если впоследствии оператор switchбудет дополнен еще одной меткой case, отсутствие оператора breakпосле прежней последней метки не создаст проблем.

Операторы после метки 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 недопустим, поскольку инициализацию

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