Оценка короткого замыкания оператора c++ в C

Я выполнил следующий код в Code:: Blocks 10.05 в Windows 7.

int a=0,b=0,c;
c=a++&&b++;
printf("\na=%d\nb=%d\nc=%d\n\n",a,b,c);

Полученный результат я приведен ниже,

a=1
b=0
c=0

Это имеет смысл из-за оценки короткого замыкания.

Выражение a++ - это пошаговое приращение, а 0 возвращается в логическое и (&&). Следовательно, часть b++ не оценивается, так как и 0 && 0, и 0 && 1 оценивается как 0.

Но здесь возникает мое сомнение. Значение приоритета операторов ясно указывает, что ++ имеет более высокий приоритет над &&. Итак, мое понимание было таким, как оцениваются a++ и b ++, а затем && проверяет результат выражения a++, чтобы прийти к решению. Но этого не произошло, только здесь оценивается a++.

В чем причина такого поведения? Имеет ли && точка последовательности, что-то связано с этим поведением? Если да, то почему мы говорим, что && имеет более низкий приоритет, чем ++?

Ответ 1

Вы запутались в приоритете и порядке оценки.

Приоритет определяет, как сгруппированы операторы, т.е.

c = a++ && b++;

эквивалентно:

c = ((a++) && (b++));

Порядок оценки определяет, как оценивается выражение, короткое замыкание && означает a++ сначала оценивается, если оно равно нулю, конец; если он не равен нулю, тогда оценивается b++.

В качестве еще одного примера:

c = (a++) + (b++);

Оценивается a++ до b++? Ответ в том, что мы не знаем. Большинство операторов не определяют порядок оценки. && - один из немногих операторов, которые определяют. (Остальные ||, , и ?:)

Ответ 2

Здесь есть два понятия - порядок приоритетности и порядок оценки. Порядок приоритета будет иметь влияние только при оценке выражения (или подвыражения).

В общем, порядок оценки не упорядочен. С учетом оператора его операнды могут быть оценены в любом порядке. Аргументы функции могут быть оценены в любом порядке.

Из стандарта С++:

1.9 Выполнение программы

15 За исключением тех случаев, когда отмечено, оценки операндов отдельных операторов и подвыражений отдельных выражений не подвержены.

8.3.6 Аргументы по умолчанию

9 Аргументы по умолчанию оцениваются каждый раз при вызове функции. Порядок оценки аргументов функции не указан.

Для логического оператора И, &&, в стандарте С++ 11 говорится:

5.14 Логический оператор И

1 Операторы группы && слева направо. Операнды преобразуются в контекстном выражении в тип bool (раздел 4). Результатом является true, если оба операнда true и false в противном случае. В отличие от &, && гарантирует оценку слева направо: второй операнд не оценивается, если первый операнд false.

Аналогичное исключение указано для логического оператора OR, ||.

Так как b++ не оценивается из-за короткого замыкания выражения из-за оператора &&, порядок приоритета операторов не имеет значения в данном конкретном случае.