式a^= b^= a^= bにシーケンスポイントがありますか、それとも未定義ですか？ <code>^=</code>よう </p> <pre><code>int a = 10; int b = 42; a ^= b ^= a ^= b; /*Here*/ printf("a=%d, b=%d\n", a, b); </code></pre> <p>しかし、私は思ったんだけど、複合代入演算子は次のとおりです。

Question

2つの整数の変数を交換するのではなく、一時的なストレージを使用しての容疑者「賢い」（実際には非効率的な）方法は、多くの場合、この行を含み、シーケンスポイントではありませんか？ これは実際には未定義の動作であることを意味しますか？

Answer 1

a ^= b ^= a ^= b; /*Here*/ 

これは未定義の動作です。

2つのシーケンスポイント間でオブジェクト（a）を複数回修正しています。

（C99、6.5p2）「は前と次のシーケンスポイントとの間のオブジェクトが格納された値は、式の評価によって、せいぜい一度変更したものとする。

単純割り当てならびに化合物割り当ては、シーケンスポイントを導入していない。ここでシーケンスポイントが式文式の前と式文の後にあります。

シーケンスポイントはC99とC11規格の附属書C（参考）に記載されています。

Answer 2

^=は、シーケンスポイントではありません、彼らは彼らではない

です。

実際には未定義の動作ですか？

はいです。この "賢い"技法を使わないでください。

Answer 3

この式にシーケンスポイントがないため、未定義の動作が発生します。

あなたは自明それを修正し、がはシーケンスポイントを導入しないコンマ演算子を使って、簡潔のほとんどを維持できます。

a ^= b, b ^= a, a ^= b; 

Answer 4

^=オペレータの評価の順序が明確に定義されています。明確に定義されていないのは、aとbが変更された順序です。

a ^= b ^= a ^= b; 

は、その引数が評価される前に、オペレータは評価できない

a ^= (b ^= (a ^= b)); 

に相当し、間違いなく最初a ^= bを実行しようとしています。

これを未定義の動作にする理由は、コンパイラに最適化の柔軟性を与えるために、任意の順序で変数値を変更できることです。コンパイラは唯一のものを行うには、これらの3つの方法のいずれかを選択することができれば

int a1 = a^b; 
int b1 = b^a1; 
int a2 = a^b1; 
a = a2; 
a = a1; 
b = b1; 

、：

int a1 = a^b; 
int b1 = b^a1; 
int a2 = a^b1; 
a = a1; 
a = a2; 
b = b1; 

またはこの：

int a1 = a^b; 
int b1 = b^a1; 
a = a1; 
int a2 = a^b1; 
a = a2; 
b = b1; 

かさえ、このことは、これを行うために選択することができますこれは単に「不特定」の動作になります。しかし、標準はさらに進んで、これを "未定義"の動作にしています。これは、コンパイラが基本的にそれが起こり得ないと仮定できるようにします。