C の代入ステートメントの評価順序

マップに値を代入すると、不可解な出力が得られることがあります:

map mp;
printf("%d ", mp.size());
mp[10] = mp.size();
printf("%d\n", mp[10]);

このコードは次のように出力します:

0 1

この結果は、予想されるとおり、直感に反するように見えるかもしれません。割り当て後のマップ サイズは 1 になります。ただし、ここでは代入ステートメントの評価順序が重要な役割を果たします。

代入 mp[10] の左側は、マップ要素の基になる値への参照を返します。同時に、このアクションにより mp[10] 要素の新しい値が作成されます。この操作の後でのみ、新しく計算されたマップのサイズを使用して右側が評価されます。

この動作は C 標準では明示的に規定されていませんが、未指定の動作に該当します。最近の提案 N4228 は、そのようなケースを指定するために評価ルールの順序を改良することを目的としています。

草案 C 11 標準 (1.9) の関連セクションでは、個々の式の部分式の評価は一般に順序付けされていないと述べています。ただし、関数呼び出し (演算子 [] や size() など) は、呼び出される関数の本体の実行前に順序付けされます。

したがって、代入式の右側のオペランドは左側のオペランドの後に順序付けされ、結果は次のようになります。観察された動作。これは、評価の順序が次のとおりであることを意味します。

1. 右側のオペランドを評価します: mp.size()
2. 左側のオペランドの値を作成します: mp[10]
3. 右オペランドの値を左オペランドに代入する

C 標準の更新では、この動作が指定される予定であり、代入式の右オペランドが順序付けされることが明確になります。左オペランドの前。