Исходное сообщение
"Наиболее интересные новшества, ожидаемые в GCC 4.9" Отправлено anonimous, 03-Ноя-13 13:47
В пункте 2 параграфа 6.5 стандарта ISO/IEC 9899:1999 написано следующее: Between the previous and next sequence point an object shall have its stored value modified at most once by the evaluation of an expression. Furthermore, the prior value shall be read only to determine the value to be stored. Между предыдущей и следующей точкой следования объект должен иметь свое сохраненное значение изменённым не более одного раза в ходе вычисления выражения. Кроме того, предыдущее значение должно быть прочтено только для определения значения для сохранения. Порядок выполнения тут не важен сам по себе. Компилятор ожидает, что программа соблюдает стандарт, и исходя из этого генерирует машинные инструкции. В черновике стандарта ISO/IEC 9899:201x этот пункт выглядит иначе: If a side effect on a scalar object is unsequenced relative to either a different side effect on the same scalar object or a value computation using the value of the same scalar object, the behavior is undefined. If there are multiple allowable orderings of the subexpressions of an expression, the behavior is undefined if such an unsequenced side effect occurs in any of the orderings. Если допускается более одного порядка вычисления выражения, то поведение не определено. Если вы считаете, что порядок выполнения операторов в указанных выше примерах однозначен, то дайте ссылку на соответствующий пункт или пункты в стандарте, а не в учебнике.