Первое предложение:
Между предыдущей и следующей точкой последовательности объект должен иметь свой
сохраненное значение изменяется не более одного раза путем вычисления выражения.
достаточно ясно. Язык не налагает порядок оценки на подвыражения, если между ними нет точки последовательности, и вместо того, чтобы требовать некоторый неопределенный порядок вычисления, он говорит, что изменение объекта дважды приводит к неопределенному поведению. Это позволяет проводить активную оптимизацию, в то же время позволяя писать код, соответствующий правилам.
Следующее предложение:
Кроме того, предыдущее значение должно быть только для чтения, чтобы определить значение, которое будет сохранено
кажется не интуитивным на первый (и второй) взгляд; почему цель, для которой читается значение, влияет на то, имеет ли выражение определенное поведение?
Но это отражает то, что если подвыражение B зависит от результата подвыражения A, то A должно быть оценено , прежде чем B может быть оценено. Стандарты C90 и C99 прямо не указывают это.
Более ясное нарушение этого предложения, приведенное в примере в сноске:
a[i++] = i; /* undefined behavior */
Предполагая, что a является объявленным объектом массива, а i является объявленным целочисленным объектом (без указателя или трюка с макросами), ни один объект не изменяется более одного раза, поэтому он не нарушает первое предложение. Но оценка i++ в LHS определяет, какой объект должен быть изменен, а оценка i в RHS определяет значение, которое будет сохранено в этом объекте, - и относительный порядок операции чтения в RHS. и операция записи на LHS не определена. Опять же, язык мог требовать, чтобы подвыражения оценивались в некотором неопределенном порядке, но вместо этого он оставлял все поведение неопределенным, чтобы позволить более агрессивную оптимизацию.
В вашем примере:
int i = 0, *a = &i;
a[i] = i; /* undefined behavior (I think) */
предыдущее значение i читается как для определения значения, которое будет сохранено , так и , чтобы определить, в каком объекте оно будет сохраняться. Поскольку a[i] относится к i (но только поскольку i==0), изменение значения i приведет к изменению объекта, к которому относится lvalue a[i]. В этом случае бывает, что значение, хранящееся в i, совпадает со значением, которое уже было там сохранено (0), но стандарт не делает исключения для хранилищ, в которых хранится одно и то же значение. Я считаю, что поведение не определено. (Конечно, пример в стандарте не предназначен для охвата этого случая; он неявно предполагает, что a является объявленным объектом массива, не связанным с i.)
Что касается примера, разрешенного стандартом, то разрешено:
int a[10], i = 0; /* implicit, not stated in standard */
a[i] = i;
один может интерпретировать стандарт, чтобы сказать, что он не определен. Но я думаю, что второе предложение, относящееся к «предыдущему значению», относится только к значению объекта, который изменяется выражением. i никогда не изменяется выражением, поэтому конфликта нет. Значение i используется как для определения объекта, который будет изменен в результате присвоения, так и для значения, которое будет там сохранено, но это нормально, поскольку само значение i никогда не изменяется. Значение i не является «предыдущим значением», это просто значение.
Стандарт C11 имеет новую модель для такого рода оценки выражений - или, скорее, он выражает одну и ту же модель в разных словах. Вместо «точек последовательности» речь идет о последовательных побочных эффектах до или после друг друга или о непоследовательности относительно друг друга. Это ясно дает понять, что если подвыражение B зависит от результата подвыражения A, то A должно быть оценено , прежде чем B может быть оценено.
В набросок N1570 , раздел 6.5 гласит:
1 выражение - это последовательность операторов и операндов, которые
определяет вычисление значения, или которое обозначает объектили функция, или которая генерирует побочные эффекты, или которая выполняет их комбинацию.Вычисления значений операндов оператора секвенируются до вычисления значения результата оператора.
2 Если побочный эффект на скалярном объекте не секвенирован относительно другого побочного эффекта на том же скаляреобъект или вычисление значения с использованием значения того же скалярного объекта, поведение не определено.Если имеется несколько допустимых порядков подвыражений выражения, поведение не определено, если такой беспорядочный побочный эффект возникает в любом из порядков.
3 Группировка операторов и операндов указывается синтаксисом.За исключением случаев, указанных позднее, побочные эффекты и значения подвыражений не являются последовательными.