为什么i ^ = j ^ = i ^ = j不等于* i ^ = * j ^ = * i ^ = * j

Question

In C, when there are variables (assume both as int ) i less than j , we can use the equation

i^=j^=i^=j

to exchange the value of the two variables. For example, let int i = 3 , j = 5 ; after computed i^=j^=i^=j , I have i = 5 , j = 3 .

However, if I use two int pointers to re-do this, with *i^=*j^=*i^=*j , using the example above, what I have will be i = 0 and j = 3 .

---

In C

1

  int i=3, j=5; i^=j^=i^=j; // after this i = 5, j=3 

2

  int i = 3, j= 5; int *pi = &i, *pj = &j; *pi^=*pj^=*pi^=*pj; // after this, $pi = 0, *pj = 5 

In JavaScript

  var i=3, j=5; i^=j^=i^=j; // after this, i = 0, j= 3 

the result in JavaScript makes this more interesting to me

my sample code , on ubuntu server 11.0 & gcc

  #include <stdio.h> int main(){ int i=7, j=9; int *pi=&i, *pj=&j; i^=j^=i^=j; printf("i=%dj=%d\\n", i, j); i=7, j=9; *pi^=*pj^=*pi^=*pj printf("i=%dj=%d\\n", *pi, *pj); } 

---

undefined behavior in c

Will the undefined behavior in c be the real reason leads to this question?

1

code compiled use visual studio 2005 on windows 7 produce the expected result ( Output i = 7, j = 9 twice.)

2

code compiled use gcc on ubuntu ( gcc test.c ) produce the unexpected result ( Output i = 7, j = 9 then i = 0, j = 9 )

3

code compiled use gcc on ubuntu ( gcc -O test.c ) produce the expected result ( Output i = 7,j = 9 twice. )

Answer 1

i^=j^=i^=j is undefined behavior in C.

You are violating sequence points rules by modifying i two times between two sequence points.

It means the implementation is free to assign any value or even make your program crash.

For the same reason, *i^=*j^=*i^=*j is also undefined behavior.

(C99, 6.5p2) "Between the previous and next sequence point an object shall have its stored value modified at most once by the evaluation of an expression."

Answer 2

Consider the following code:

 #include <stdio.h>

    int main() {
        int i=7, j=9;
        int *pi=&i, *pj=&j;
        i^=j^=i^=j;
        printf("i=%d j=%d\n", i, j);
        i=7, j=9;
        *pi^=*pj^=*pi^=*pj;
        printf("i=%d j=%d\n", *pi, *pj);

        return 0;
    }

If you try to compile it you will see a warning: unsequenced modification for the first line. As @ouath said it's not well-defined. According to the C11 Standard the assignment-expressions work in a read-modify-write fashion. This operation isn't atomic on all the CPU architectures. You can read more about the warning here .

It's interesting to see that for *pi^=*pj^=*pi^=*pj; there is no warning in my LLVM compiler.

Answer 3

As for the 'more interesting' aspect added by the Javascript result:

While the expression is undefined in C as explained in ouah's answer , it is well-defined in Javascript. However the rules for how the expression is evaluated in Javascript might not be what you expect.

The ECMAscript spec says that a compound assignment operator is evaluated like so (ECMA-262 11.13.2):

The production AssignmentExpression : LeftHandSideExpression @= AssignmentExpression,where @ represents one of the operators indicated above, is evaluated as follows:

1. Evaluate LeftHandSideExpression.
2. Call GetValue(Result(1)).
3. Evaluate AssignmentExpression.
4. Call GetValue(Result(3)).
5. Apply operator @ to Result(2) and Result(4).
6. Call PutValue(Result(1), Result(5)).
7. Return Result(5).

So the expression i ^= j ^= i ^= j would be evaluated in the following steps:

i = (3 ^ (j ^= i ^= j))

i = (3 ^ (j = (5 ^ i ^= j)))

i = (3 ^ (j = (5 ^ (i = 3 ^ j)))))

i = (3 ^ (j = (5 ^ (i = 3 ^ 5)))))

i = (3 ^ (j = (5 ^ (i = 6)))))

i = (3 ^ (j = (5 ^ 6))))

i = (3 ^ (j = 3))   // j is set to 3

i = (3 ^ 3)

i = 0               // i is set to 0

Yet another reason to avoid the trick of using an xor operation to swap values.