побочные эффекты, точки последовательности и неопределенное поведение

Question

я прочитал в книге следующее заявление:

n = ((i++) > (j)?(i++):(j)); 

Книга утверждает, что полагая I> J, п имеет неожиданное значение и я увеличивается в два раза.
Я не понимаю, почему n после этого утверждения имеет ожидаемое значение.
Я прочитал много примеров о непредсказуемом поведении, так что здесь моя теории (не объяснение книги, так как там нет) и скажите мне ли я право:

первых, (я ++)> (j), и i может или не может быть увеличен до .
Предполагается, что i> n, (i ++) следует оценить. Мы еще не знаем , был ли я еще прирост или нет, поэтому весь этот оператор не определен. мы не уверены, вернется ли i или i + 1.

Теперь вот проблема предполагая мою теорию прав - Почему мы не знаем, ли я был еще или нет увеличивается? Если бы эта строка кода была записана как оператор if, я уверен, что мне придется увеличивать ее раньше. Так почему же соединение, если оно отличается?

Спасибо.

Answer 1

Оператор ?: вводит точку последовательности, поэтому здесь нет неопределенного поведения.

(i++) > (j) оценивается и применяется побочный эффект i++. Если результат (i++) > (j) истинен, то (i++) оценивается снова, иначе (j) оценивается снова.

i++ evalutes к значению iдо приращение. Таким образом, если предположить, i > j, то после оценки

n = i++ > j ? i++ : j; 

следующее должно быть истинным:

n = iorig + 1 
i = iorig + 2 

Редактировать

Chapter and verse

6.5.15 Условный оператор
...
4 Первый операнд оценивается; существует точка последовательности между ее оценкой и оценкой второго или третьего операнда (в зависимости от того, что оценивается). Второй операнд оценивается только в том случае, если первый сравнивает не равный 0; третий операнд оценивается только в том случае, если первое сравнивается с 0; результатом является значение второго или третьего операнда (в зависимости от того, что оценивается), преобразованного в тип, описанный ниже. ¹¹⁰⁾

---

^{110) Условное выражение не дает значения lvalue.}