Primeiro, vamos lembrar algumas propriedades do XOR (exclusive-OR):
- A^A = 0
- elemento neutro: A^0 = A
- comutativa: A^B = B^A
- associativa: (A^B)^C = A^(B^C)
Segue uma explicação retirada daqui:
A chave para se convencer de que isso funciona é acompanhar os valores originais de x e y. Seja A o valor original de x (isto é, o valor que x possui antes de executar essas três linhas de código). De mesma forma, seja B o valor original de y.
Podemos comentar cada linha de código para ver o que está acontecendo.
// x == A, y == B
x = x ^ y ;
// x == A ^ B, y == B
y = x ^ y ;
// x == A ^ B
// y == (A ^ B) ^ B == A ^ (B ^ B) (por associatividade)
// == A ^ 0 (devido à propriedade z ^ z == 0)
// == A (devido à propriedade z ^ 0 == z)
x = x ^ y ;
// x == ( A ^ B ) ^ A
// == ( A ^ A ) ^ B (por associatividade/comutatividade)
// == 0 ^ B (devido à propriedade z ^ z == 0)
// == B (devido À propriedade z ^ 0 == z)
// y == A
Depois que o segundo statement executou, y = A. Depois do terceiro statement, x = B.