i += ++i нафлудили?
Итак, давайте наконец откроем стандарт и посмотрим что же это за зверь такой:
3.4.3
1 undefined behavior
behavior, upon use of a nonportable or erroneous program construct or of erroneous data, for which this International Standard imposes no requirements
NOTE Possible undefined behavior ranges from ignoring the situation completely with unpredictable results, to behaving during translation or program execution in a documented manner characteristic of the environment (with or without the issuance of a diagnostic message), to terminating a translation or execution (with the issuance of a diagnostic message).
EXAMPLE
An example of undefined behavior is the behavior on integer overflow.
Итак, мы видим, что ub - это поведение, которое ведёт себя произвольным образом вплоть до того, что работает всегда одинаково, но всё ещё является ошибочной программой.
Теперь про конкретный пример:
J.2 Undefined behavior
Between two sequence points, an object is modified more than once, or is modified and the prior value is read other than to determine the value to be stored (6.5).
Т.е. если объект модифицируется более одного раза в пределах одной последовательности (в нашем случае выражения). Код i += ++i модифицируется два раза и подпадает под это определение. Поэтому это ub в чистом виде.
"Possible undefined behavior ranges from ignoring the situation completely with unpredictable results, to behaving during translation or program execution in a documented manner characteristic of the environment (with or without the issuance of a diagnostic message), to terminating a translation or execution (with the issuance of a diagnostic message)." Вот я и предлагаю: покажите кто-нибудь в какой-нибудь среде результат, отличный от 4.
Зачем показывать отличающийся результат?
Обсуждают сегодня