評価順序

あらゆる C の演算子の被演算子の評価順序 (関数呼び出し式の関数引数の評価順序を含む) およびあらゆる式の部分式の評価順序は (下で述べられている点を除いて) 未規定です。 コンパイラはそれらを任意の順序で評価し、同じ式がもう一度評価されるときに別の順序が選ばれることもあります。

C には左から右に評価するとか右から左に評価するといった概念はありません。 これを演算子の左結合や右結合と混同しないでください。 式 f1() + f2() + f3() は、 + 演算子が左結合であるため、 (f1() + f2()) + f3() と解析されますが、実行時には f3 の関数呼び出しは最初に評価されるかもしれませんし、最後かもしれませんし、 f1() と f2() の間に評価されるかもしれません。

[編集] 定義

[編集] 評価

それぞれの式または部分式についてコンパイラが行う評価には2種類あります (どちらもオプショナルです)。

• 値計算 ー その式によって返される値の計算。 これはオブジェクトの同一性の決定 (左辺値の評価) や、オブジェクトに以前に代入された値の読み込み (右辺値の評価) に影響することがあります。
• 副作用 ー volatile 左辺値によって指定されたオブジェクトへのアクセス (読み書き)、オブジェクトの変更 (書き込み)、アトミック同期 (C11以上)、ファイルの変更、浮動小数点環境の変更 (サポートされている場合)、またはそれらのいずれかの操作を行う関数の呼び出し。

式が副作用を生成せず、値も使用されないとコンパイラが断定できる場合、その式は評価されないかもしれません。

[編集] 順序付け

「先行配列」は、非対称で推移的な、同じスレッド内の評価間の二項関係です (アトミック型およびメモリバリアが影響する場合はスレッドを超えることがあります)。

• 部分式 E1 と E2 の間に副作用完了点が存在する場合、 E1 の値計算と副作用の両方が E2 のすべての値計算および副作用に対して先行配列されます。

[編集] ルール

[編集] 未定義動作

i = ++i + i++; // 未定義動作
i = i++ + 1; // 未定義動作
f(++i, ++i); // 未定義動作
f(i = -1, i = -1); // 未定義動作

f(i, i++); // 未定義動作
a[i] = i++; // 未定義動作

[編集] 関連項目

演算子の優先順位 ー 式がソースコード表現からどのように組み立てられるかを定義します。