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

Мой вопрос: 1. Что это означает, если объект записывается в рамках полного выражения, любой и все доступы к нему в рамках одного и того же выражения должны непосредственно участвовать в вычислении записываемого значения?

С подвыражением, таким как i++, записывается i. Более того, присваивание — это выражение, поэтому в i = 2 записывается i. Может быть не сразу очевидно, что a = b является выражением, но это так. Вот почему вы можете делать такие вещи, как a = b = c, что хорошо, и if (a = b), что менее хорошо.

Итак, это говорит о том, что если вы записываете в i с =, либо до, либо после увеличения, то любой доступ к i должен быть частью вычисления нового значения i. Однако, и это важно, единственное, что участвует в расчете приращения до и после, — это значение i в начале инструкции.

2. что это означает. Пример a[i] = i++ запрещен, поскольку один из доступов к i (тот, что в a[i]) не имеет ничего общего со значением, которое в конечном итоге сохраняется в i (которое происходит в i++)

Именно то, что он говорит. Когда вы обращаетесь к i в a[i], это не является частью вычисления нового значения i, полученного из i++.

Может ли кто-нибудь объяснить это простым способом?

Простой способ: не используйте приращение до или после в выражении. всегда используйте их в утверждениях сами по себе. Если вам это действительно необходимо, НЕ используйте одну и ту же переменную где-либо еще во всем операторе.

Это объяснение странное, и я не могу его понять.

Верное объяснение состоит в том, что выражение i++ имеет побочный эффект (увеличение i), который можно применить в любое время после того, как это конкретное i будет вычислено.

Поскольку за пределами точек последовательности язык C не гарантирует порядок вычисления или время применения постинкрементов (вероятно, из соображений производительности), во втором примере могут произойти три вещи (предположим, i = 5 перед строкой):

• Крайний левый i (тот, что в a[i]) оценивается первым, чтобы вычислить адрес a[i] для хранения. Затем оценивается самый правый i, затем применяется пост-инкремент: Строка выполняет a[5] = 5; i=6;
• Сначала оценивается самый правый i, затем самый левый, а затем i применяется пост-инкремент, когда все сказано и сделано: в этом случае эффекты идентичны предыдущему случаю.
• Сначала оценивается самый правый i, сразу же применяется постинкремент, а затем оценивается самый левый i для вычисления адреса a[i] для хранения. На этот раз эффект a[6] = 5; i=6.

Выбор результата зависит не только от выбора компилятора, но и от настроек компилятора: Microsoft Visual C++ может давать разные результаты в зависимости от того, компилируете ли вы в режиме отладки или в режиме выпуска.

Наконец я получил объяснение на SO по этому поводу. Прочитав его и часто задаваемые вопросы я пришел к следующему выводу;

1.Последнее предложение

Кроме того, доступ к предыдущему значению должен осуществляться только для определения сохраняемого значения

было бы так;

Кроме того, доступ к предыдущему значению объекта должен осуществляться только для определения измененного/нового значения (того же объекта), которое должно быть сохранено.

Как видно на примере

 int i = 1, j, a[5];    
 i = i + 1;
 j = i + 1;
 a[i] = i; 

в случае выражения i = i + 1 предшествующее значение (которое здесь 1) из i (в RHS) используется для определения значения i, которое должно быть сохранено, и это то, что оператор

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

говорит.
В то время как в случае j = i + 1 и a[i] = i доступное значение i является просто значением не предыдущим значением, поскольку нет, где i изменены в этих утверждениях.

2. Второй вопрос можно объяснить так:
В случае выражения a[i] = i++ или a[i++] = i первое предложение приведенного выше утверждения

Между предыдущей и следующей точкой последовательности сохраненное значение объекта должно быть изменено не более одного раза при вычислении выражения.

получить ошибку, так как i изменяется только один раз между двумя последовательными точками следования. И именно поэтому нам нужно второе предложение.
Оба эти примера запрещены в C, потому что предыдущее значение i используется дважды, т. е. i++ само обращается к предыдущему значению i в выражении, чтобы изменить его. и, следовательно, другой доступ к предыдущему значению/значению i не нужен, поскольку он не используется для определения измененного значения, которое необходимо сохранить.