定義

式の副作用とは、メモリーへの変更と、volatile 修飾オブジェクトへのアクセスのことです。上記式の副作用とは、i と p の更新と、関数 f() と g() 内に含まれる任意の副作用です。

式のグループ化とは、値を他の値や演算子と結合させる方法です。上記の式のグループ化は、主に加算を実行する順番です。

式の評価には、その結果の値を生成するために必要なすべてが含まれます。式を評価するためには、指定したすべての副作用が以前のシーケンスポイントから次のシーケンスポイントまでの間で発生しなければならず、指定した演算が特定のグループ化で実行されなければなりません。上記の式の場合、i と p の更新は、以前の文からこの式文の ; までの間に発生しなければなりません。関数への呼び出しは、以前の文からその戻り値が使用されるまでの間に、任意の順番で発生できます。特に、メモリーを更新する演算子には、演算の値が使用される前に新しい値を代入しなければならないという制約はありません。