Exchange values ​​with XOR

Question

This is a valid way to exchange values ​​in C ++ and C #.

X ^= Y;
Y ^= X;
X ^= Y;

And this is a valid way to exchange values ​​in C ++.

X ^= Y ^= X ^= Y;

But why does this not work in C #?

Answer 1

int X = 3;
X = X + X++; // X = 6;

int X = 3
X = X++ + X; // X = 7;

Similarly:

int X = 3;
int Y = 5;
X = (Y ^= X ^= Y)^X; // X = 5

But:

int X = 3;
int Y = 5;
X = X^(Y ^= X ^= Y); // X = 0

Unfortunately:

X = X^(Y ^= X ^= Y) is an equivalence X ^= Y ^= X ^= Y

Answer 2

I checked the MSIL generated by the compiler. In the first case, everything is fine - press x, press y, xor, pop x, etc. In the second case, it starts with push x, push y, push x, push y and ends using the initial value x in the last xor:

ldloc.0
ldloc.1
ldloc.0
ldloc.1
xor
dup
stloc.0
xor
dup
stloc.1
xor
dup
stloc.0

Answer 3

ASM ++ .NET-, :

ASM

mov eax, DWORD PTR _X$[ebp]
mov ecx, DWORD PTR _Y$[ebp]
mov edx, DWORD PTR [eax]
xor edx, DWORD PTR [ecx]
mov eax, DWORD PTR _X$[ebp]
mov DWORD PTR [eax], edx
mov ecx, DWORD PTR _Y$[ebp]
mov edx, DWORD PTR _X$[ebp]
mov eax, DWORD PTR [ecx]
xor eax, DWORD PTR [edx]
mov ecx, DWORD PTR _Y$[ebp]
mov DWORD PTR [ecx], eax
mov edx, DWORD PTR _X$[ebp]
mov eax, DWORD PTR _Y$[ebp]
mov ecx, DWORD PTR [edx]
xor ecx, DWORD PTR [eax]
mov edx, DWORD PTR _X$[ebp]
mov DWORD PTR [edx], ecx

, :

X ^= Y;
Y ^= X;
X ^= Y;

# ( JetBrains dotPeek)

int& local1 = @X;
int num1 = ^local1;
int& local2 = @Y;
int num2 = ^local2;
int num3 = X ^= Y;
int num4;
int num5 = num4 = num2 ^ num3;
^local2 = num4;
int num6 = num5;
int num7 = num1 ^ num6;
^local1 = num7;

&,^,@, , :

int xStartingValue = X;
X ^= Y;
Y ^= X;
X = xStartingValue ^ Y;