c、ビット単位、論理式

Question

int x = 0; 
x^=x || x++ || ++x; 

そして最後にxの答えは3です。 この式の解析方法は？ これについて少し混乱しています。 ありがとうございました。

Answer 1

これは未定義の動作です。結果は何でもよい。これは、++xとx ^=の間にはsequence pointが存在しないため、最初に「完了」する保証はありません。

Answer 2

これは未定義の動作です。あなたが望む答えを得ることができます。

Answer 3

XOR 0は0です。次に、++は2に2です。それにもかかわらず、他の回答で指摘されているように、シーケンスポイントはありません。だから、出力は何でもかまいません。

Answer 4

他の人が既に述べたように、これは未定義の動作です。しかし、なぜ？

Cでプログラミングする場合、ステートメントと式には固有の違いがあります。式の評価では、どのような場合でも同じ観察可能な結果が得られるはずです（たとえば、（x + 5）+ 2はx +（5 + 2）と同じです）。一方、ステートメントは、副作用の順序付けに使用されます。つまり、一般に、あるメモリ位置に書き込むことになります。

上記を考慮すると、式はステートメントに「ネスト」するのが安全ですが、ステートメントを式にネストするのは安全ではありません。 「安全な」とは、「驚くべき結果はない」という意味です。あなたの例では

、我々は評価が取り掛かる必要があるため

x^=x || x++ || ++x; 

がありますか？ ||以来式に作用しますが、それがどうかどうかは関係ありません（x || x ++）|| ++ xまたはx || （x ++ || ++ x）または++ x || （x || x ++）。しかし、x ++と++ xは文であるため（C言語でも式として使用できます）、代数的推論では進めません。したがって、複数のステートメントを記述することで、操作の順序を明示的に表現する必要があります。