Что значит i = (i, ++ i, 1) + 1; делать?

Прочитав этот ответ о неопределенном поведении и точках последовательности, я написал небольшую программу:

#include <stdio.h>

int main(void) {
  int i = 5;
  i = (i, ++i, 1) + 1;
  printf("%d\n", i);
  return 0;
}

Выход есть 2. О Боже, я не видел приближающегося декремента! Что здесь происходит?

Кроме того, во время компиляции приведенного выше кода я получил предупреждение:

px.c: 5: 8: предупреждение: левый операнд выражения запятой не действует

  [-Wunused-value]   i = (i, ++i, 1) + 1;
                        ^

Зачем? Но, вероятно, на него автоматически ответит ответ на мой первый вопрос.

В выражении (i, ++i, 1)запятая используется оператор запятой

оператор запятой (представленный токеном ,) является бинарным оператором, который оценивает свой первый операнд и отбрасывает результат, а затем оценивает второй операнд и возвращает это значение (и тип).

Поскольку он отбрасывает свой первый операнд, он обычно полезен только тогда, когда первый операнд имеет желательные побочные эффекты . Если побочный эффект первого операнда не имеет места, тогда компилятор может сгенерировать предупреждение о выражении без эффекта.

Таким образом, в приведенном выше выражении iбудет оцениваться крайнее левое значение, а его значение будет отброшено. Затем ++iбудет оцениваться и будет увеличиваться iна 1, и снова значение выражения ++iбудет отброшено, но побочный эффект iявляется постоянным . Тогда 1будет оцениваться и значение выражения будет 1.

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

i;          // Evaluate i and discard its value. This has no effect.
++i;        // Evaluate i and increment it by 1 and discard the value of expression ++i
i = 1 + 1;  

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

Цитирование из C11главы 6.5.17, оператор запятой

Левый операнд оператора запятой оценивается как пустое выражение; существует последовательность между его оценкой и оценкой правого операнда. Затем вычисляется правый операнд; результат имеет свой тип и значение.

Итак, в вашем случае,

(i, ++i, 1)

оценивается как

1. i, оценивается как пустое выражение, значение отбрасывается
2. ++i, оценивается как пустое выражение, значение отбрасывается
3. наконец, 1возвращаемое значение.

Итак, окончательное утверждение выглядит так

i = 1 + 1;

и iдобирается до 2. Я думаю, это отвечает на оба ваших вопроса,

• Как iполучить значение 2?
• Почему появляется предупреждающее сообщение?

Примечание: FWIW, так как есть точка последовательность присутствует после оценки левой руки операнда, выражение типа (i, ++i, 1)не Invoke UB, так как один может вообще думать по ошибке.

i = (i, ++i, 1) + 1;

Давайте проанализируем это шаг за шагом.

(i,   // is evaluated but ignored, there are other expressions after comma
++i,  // i is updated but the resulting value is ignored too
1)    // this value is finally used
+ 1   // 1 is added to the previous value 1

Итак, мы получаем 2. И окончательное назначение сейчас:

i = 2;

Что бы ни было во мне раньше, оно сейчас перезаписывается.

Исход

(i, ++i, 1)

является

1

Для

(i,++i,1) 

оценка происходит так, что , оператор отбрасывает оцененное значение и сохраняет только самое правильное значение, которое1

Так

i = 1 + 1 = 2

На вики-странице вы найдете полезные материалы для оператора запятой .

В основном это

... вычисляет свой первый операнд и отбрасывает результат, а затем оценивает второй операнд и возвращает это значение (и тип).

Это означает, что

(i, i++, 1)

будет, в свою очередь, оценивать i, отбрасывать результат, оценивать i++, отбрасывать результат, а затем оценивать и возвращать 1.

Вы должны знать, что делает оператор запятой здесь:

Ваше выражение:

(i, ++i, 1)

Первое выражение, iоценивается, второе выражение, ++iоценивается, и третье выражение,1 возвращается для всего выражения.

Таким образом , результат: i = 1 + 1.

На ваш бонусный вопрос, как вы видите, первое выражение не iимеет никакого эффекта, поэтому компилятор жалуется.

Запятая имеет «обратный» приоритет. Это то, что вы получите из старых книг и руководств C от IBM (70-е / 80-е). Поэтому последняя «команда» - это то, что используется в родительском выражении.

В современном C его использование странно, но очень интересно в старом C (ANSI):

do { 
    /* bla bla bla, consider conditional flow with several continue's */
} while ( prepAnything(), doSomethingElse(), logic_operation);

В то время как все операции (функции) вызываются слева направо, в результате будет использоваться только последнее выражение для условного 'while'. Это предотвращает обработку 'goto's', чтобы сохранить уникальный блок команд для запуска перед проверкой состояния.

РЕДАКТИРОВАТЬ: Это также позволяет избежать вызова функции обработки, которая может позаботиться о всей логике в левых операндах и таким образом вернуть логический результат. Помните, что у нас не было встроенной функции в прошлом C. Таким образом, это могло избежать издержек вызова.