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

lettergrade += '-'; // оценки, заканчивающиеся на 0, 1 и 2,

// получают -

Найти такую ошибку бывает очень трудно, поскольку программа выглядит правильно.

Во избежание подобных проблем некоторые стили программирования рекомендуют всегда использовать фигурные скобки после оператора ifили else(а также вокруг тел циклов whileи for).

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

У большинства редакторов и сред разработки есть инструменты автоматического выравнивания исходного кода в соответствии с его структурой. Такие инструменты всегда следует использовать, если они доступны.

Когда один оператор ifвкладывается в другой, ветвей ifможет оказаться больше, чем ветвей else. Действительно, в нашей программе оценивания четыре оператора ifи два оператора else. Возникает вопрос: как установить, которому оператору ifпринадлежит данный оператор else?

Эта проблема, обычно называемая потерянным оператором else(dangling else), присуща многим языкам программирования, предоставляющим операторы ifи if else. Разные языки решают эту проблему по-разному. В языке С++ неоднозначность решается так: оператор elseпринадлежит ближайшему расположенному выше оператору ifбез else.

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

// Ошибка: порядок выполнения НЕ СООТВЕТСТВУЕТ отступам; ветвь else

// принадлежит внутреннему if

if (grade % 10 >= 3)

if (grade % 10 > 7)

lettergrade += '+'; // оценки, заканчивающиеся на 8 или 9,

// получают +

else

lettergrade += '-'; // оценки, заканчивающиеся на 3, 4, 5, 6,

// получают - !

Отступ в данном коде подразумевает, что оператор elseпредназначен для внешнего оператора if, т.е. он выполняется, когда значение gradeзаканчивается цифрой меньше 3. Однако, несмотря на наши намерения и вопреки отступу, ветвь elseявляется частью внутреннего оператора if. Этот код добавляет '-'к оценкам, заканчивающимся на 3-7включительно! Правильно выровненный, в соответствии с правилами выполнения, этот код выглядел бы так:

// отступ соответствует порядку выполнения,

// но не намерению программиста

if (grade % 10 >= 3)

if (grade % 10 > 7)

lettergrade += '+'; // оценки, заканчивающиеся на 8 или 9,

// получают +

else

lettergrade += '-'; // оценки, заканчивающиеся на 3, 4, 5, 6,

// получают - !

Заключив внутренний оператор ifв блок, можно сделать ветвь elseчастью внешнего оператора if:

// добавлять плюс для оценок, заканчивающихся на 8 или 9, а минус для

// заканчивающихся на 0, 1 или 2

if (grade % 10 >= 3) {

if (grade % 10 > 7)

lettergrade += '+'; // оценки, заканчивающиеся на 8 или 9,

// получают +

} else // скобки обеспечивают else для внешнего if

lettergrade += '-'; // оценки, заканчивающиеся на 0, 1 и 2,

// получают -

Операторы не распространяются за границы блока, поэтому внутренний цикл ifзаканчивается на закрывающей фигурной скобке перед оператором else. Оператор elseне может быть частью внутреннего оператора if. Теперь ближайшим свободным оператором ifоказывается внешний, как и предполагалось изначально.

Упражнение 5.5. Напишите собственную версию программы преобразования числовой оценки в символ с использованием оператора if else.

Упражнение 5.6. Перепишите программу оценки так, чтобы использовать условный оператор (см. раздел 4.7) вместо оператора if else.

Упражнение 5.7. Исправьте ошибки в каждом из следующих фрагментов кода:

(a) if (ival1 != ival2)

ival1 = ival2

else ival1 = ival2 = 0;