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

int ival1 = 21/6; // ival1 равно 3; результат усекается

// остаток отбрасывается

int ival2 = 21/7; // ival2 равно 3; остатка нет;

// результат - целочисленное значение

Оператор %известен как остаток (remainder), или оператор деления по модулю (modulus). Он позволяет вычислить остаток от деления левого операнда на правый. Его операнды должны иметь целочисленный тип.

int ival = 42;

double dval = 3.14;

ival % 12; // ok: возвращает 6

ival % dval; // ошибка: операнд с плавающей запятой

При делении отличное от нуля частное позитивно, если у операндов одинаковый знак, и отрицательное в противном случае. Прежние версии языка разрешали округление отрицательного частного вверх или вниз; однако новый стандарт требует округления частного до нуля (т.е. усечения).

Оператор деления по модулю определен так, что если 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):

// обратите внимание, s - ссылка на константу; элементы не копируются и

// не могут быть изменены

for (const auto &s : text) { // для каждого элемента text

cout << s; // вывести текущий элемент

// пустые строки и строки, завершающиеся точкой, требуют новой строки

if (s.empty() || s[s.size() - 1] == '.')

cout << endl;

else

cout << " "; // в противном случае отделить пробелом

}

После вывода текущего элемента выясняется, есть ли необходимость выводить новую строку. Условие оператора ifсначала проверяет, не пуста ли строка s. Если это так, то необходимо вывести новую строку независимо от значения правого операнда. Только если строка не пуста, обрабатывается второе выражение, которое проверяет, не заканчивается ли строка точкой. Это выражение полагается на вычисление по сокращенной схеме оператора ||, гарантирующего индексирование строки s, только если она не пуста.

Следует заметить, что переменная sобъявлена как ссылка на константу (см. раздел 2.5.2). Элементами вектора textявляются строки, и они могут быть очень большими, а использование ссылки позволяет избежать их копирования. Поскольку запись в элементы не нужна, объявляем sссылкой на константу.