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

Оператор деления по модулю определен так, что если mи nцелые числа и nотлично от нуля, то (m/n)*n + m%nравно m. По определению, если m%nотлично от нуля, то у него тот же знак, что и у m. Прежние версии языка разрешали результату выражения m%nиметь тот же знак, что и у m, причем на реализациях, у которых отрицательный результат выражения m/nокруглялся не до нуля, но такие реализации сейчас запрещены. Кроме того, за исключением сложного случая, где -mприводит к переполнению, (-m)/nи m/(-n)всегда эквивалентны -(m/n), m%(-n) эквивалентно m%nи (-m)%nэквивалентно -(m%n). А конкретно:

21 % 6; /* результат 3 */ 21 / 6; /* результат 3 */

21 % 7; /* результат 0 */ 21 / 7; /* результат 3 */

-21 % -8; /* результат -5 */ -21 / -8; /* результат 2 */

21 % -5; /* результат 1 */ 21 / -5; /* результат -4 */

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

12 / 3 * 4 + 5 * 15 + 24 % 4 / 2

Упражнение 4.5. Определите результат следующих выражений:

(а) -30 * 3 + 21 / 5 (b) -30 + 3 * 21 / 5

(с) 30 / 3 * 21 % 5 (d) -30 / 3 * 21 % 4

Упражнение 4.6. Напишите выражение, чтобы определить, является ли значение типа intчетным или нечетным.

Упражнение 4.7. Что значит переполнение? Представьте три выражения, приводящих к переполнению.

Операторам отношения передают операторы арифметического типа или типа указателя, а логическим операторам — операнды любого типа, допускающего преобразование в тип bool. Все они возвращают значение типа bool. Арифметические операнды и указатели со значением нуль рассматриваются как значение false, а все другие как значение true. Операнды для этих операторов являются r-значениями, а результат — r-значение.

Таблица 4.2. Логические операторы и операторы отношения

Общим результатом оператора логического AND ( &&) является true, если и только если оба его операнда рассматриваются как true. Оператор логического OR ( ||) возвращает значение true, если любой из его операндов рассматривается как true.

Операторы логического AND и OR всегда обрабатывают свой левый операнд перед правым. Кроме того, правый операнд обрабатывается, если и только если левый операнд не определил результат. Эта стратегия известна как вычисление по сокращенной схеме (short-circuit evaluation).

• Правая сторона оператора &&вычисляется, если и только если левая сторона истинна.

• Правая сторона оператора ||вычисляется, если и только если левая сторона ложна.

Оператор логического AND использовался в некоторых из программ главы 3. Эти программы использовали левый операнд для проверки, безопасно ли выполнять правый операнд. Например, условие цикла forв разд 3.2.3: сначала проверялось, что indexне достиг конца строки:

index != s.size() && ! isspace(s[index])

Это гарантировало, что правый операнд не будет выполнен, если индекс уже вышел из диапазона.

Рассмотрим пример применения оператора логического OR. Предположим, что в векторе строк имеется некоторый текст, который необходимо вывести, добавляя символ новой строки после каждой пустой строки или после строки, завершающейся точкой. Для отображения каждого элемента используем серийный оператор for(раздел 3.2.3):