Void666,

это - UB, так как на переменную i ссылаются в разных частях выражения в котором она модифицируется в результате побочного эффекта оператора ++.


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

Чтобы было UB, надо более одного оператора с побочным эффектом перед одной точкой следования.
Тут вроде бы нет UB. Тут есть просто стрёмный код.

Почему бы не написать так -- не понятно.

AbstractionНу... а что эта функция делает, по-Вашему? То есть, чему будет равен array[0] после её выполнения?
Может быть и 0, а может быть и случайное число.
Зависит от того насколько разработчики конкретного компилятора любят своих пользователей :)

Dimitry Sibiryakov,

Я говорил про стандарт С99 и С++03 (в более поздних не смотрел, но на 99.99% уверен что ничего не поменялось).
Т.е. как в С так и С++ такие выражения недопустимы в кроссплатформенных программах.
А что там было у K&R мне честно говоря не интересно.

Вот вам цитаты из соотв. стандартов:
C99 6.5 Expressions
...
3 The grouping of operators and operands is indicated by the syntax.71) Except as specified
later (for the function-call (), &&, ||, ?:, and comma operators), the order of evaluation
of subexpressions and the order in which side effects take place are both unspecified.

...
Annex C
(informative)
Sequence points
1
The following are the sequence points described in 5.1.2.3:
— The call to a function, after the arguments have been evaluated (6.5.2.2).
— The end of the first operand of the following operators: logical AND && (6.5.13);
logical OR || (6.5.14); conditional ? (6.5.15); comma , (6.5.17).
— The end of a full declarator: declarators (6.7.5);
— The end of a full expression: an initializer (6.7.8); the expression in an expression
statement (6.8.3); the controlling expression of a selection statement (if or switch)
(6.8.4); the controlling expression of a while or do statement (6.8.5); each of the
expressions of a for statement (6.8.5.3); the expression in a return statement
(6.8.6.4).
— Immediately before a library function returns (7.1.4).
— After the actions associated with each formatted input/output function conversion
specifier (7.19.6, 7.24.2).
— Immediately before and immediately after each call to a comparison function, and
also between any call to a comparison function and any movement of the objects
passed as arguments to that call (7.20.5).



C++03 5 Expressions
...
4 Except where noted, the order of evaluation of operands of individual operators and subexpressions of indi-
vidual expressions, and the order in which side effects take place, is unspecified.53) Between the previous
and next sequence point a scalar object shall have its stored value modified at most once by the evaluation
of an expression. Furthermore, the prior value shall be accessed only to determine the value to be stored.
The requirements of this paragraph shall be met for each allowable ordering of the subexpressions of a full
expression; otherwise the behavior is undefined.



Не смотря на разницу формулировок, на самом деле правила для С и С++ - эквивалентны:
Если в выражении нет логических, условных операторов и следования (,) то порядок выполнения побочных эффектов неопределен.
У выражения array[i] = i++; есть два побочных эффекта: 1) модификация элемента массива array, 2) модификация i.
Какой из них произойдет раньше - неизвестно.

AbstractionAnatoly Moskovsky,

То есть, оператор следования в C++ тоже точка синхронизации? Не знал.
Ну, учитывая что наиболее корректный перевод словосочетания "sequence points" - "точки следования", то не удивительно что оператор следования задает такие точки :)

Dimitry SibiryakovВ старом добром Кернигано-Ричиевском Си результат выражения
i++*i++ предсказуем.

Кстати, я вам не поверил и пошел поискал доказательство данного утверждения.
И вместо него обнаружил что КиР сами утверждали обратное.
См. http://c-faq.com/expr/evalorder2.html - объяснения и ссылки на 1 и 2 издания КиР

Так что не знаю про какой такой С вы говорили, но боюсь что вам для начала надо предоставить какие-то доказательства своего утверждения.