【C】你能用几种方法交换两个变量的值？------存储器别名的影响

找工作的时候，笔试，面试阶段，我们经常看到这么一道题：

不用临时变量，如何交换两个变量的值？

很多同学不假思索，写下如下代码：

1. #include <stdio.h>  
2.   
3. int swap1(int *a, int *b)  
4. {  
5.     *a = *a+*b;  
6.     *b = *a-*b;  
7.     *a = *a-*b;  
8.     return 0;  
9. }  
10.   
11. int swap2(int *a, int *b)  
12. {  
13.     *a = *a^*b;  
14.     *b = *a^*b;  
15.     *a = *a^*b;  
16.     return 0;  
17. }  
18.   
19. int main(void)  
20. {  
21.     int a = 5;  
22.     int b = 10;  
23.   
24.     printf("a = %d, b = %d.\n",a, b);  
25.     swap1(&a, &b);  
26.     printf("a = %d, b = %d.\n",a, b);  
27.     swap2(&a, &b);  
28.     printf("a = %d, b = %d.\n",a, b);  
29.    
30.     return 0;  
31. }  

#include <stdio.h> int swap1(int *a, int *b) { *a = *a+*b; *b = *a-*b; *a = *a-*b; return 0; } int swap2(int *a, int *b) { *a = *a^*b; *b = *a^*b; *a = *a^*b; return 0; } int main(void) { int a = 5; int b = 10; printf("a = %d, b = %d.\n",a, b); swap1(&a, &b); printf("a = %d, b = %d.\n",a, b); swap2(&a, &b); printf("a = %d, b = %d.\n",a, b); return 0; }

不错，运行，确实可以：）这和网上说的没什么特别：）

1. [rockics@localhost blog]$ gcc -o swap swap.c -Wall  
2. [rockics@localhost blog]$ ./swap  
3. a = 5, b = 10.  
4. a = 10, b = 5.  
5. a = 5, b = 10.  

[rockics@localhost blog]$ gcc -o swap swap.c -Wall [rockics@localhost blog]$ ./swap a = 5, b = 10. a = 10, b = 5. a = 5, b = 10.

但是，这两个函数，真的对吗？我们看到的结果是对的，但是，你往下看，换一种函数调用方式，你会看到一些诡异的东西：

1. #include <stdio.h>  
2.   
3. int swap1(int *a, int *b)  
4. {  
5.     *a = *a+*b;  
6.     *b = *a-*b;  
7.     *a = *a-*b;  
8.     return 0;  
9. }  
10.   
11. int swap2(int *a, int *b)  
12. {  
13.     *a = *a^*b;  
14.     *b = *a^*b;  
15.     *a = *a^*b;  
16.     return 0;  
17. }  
18.   
19. int main(void)  
20. {  
21.     int a = 5;  
22.     int b = 10;  
23.   
24.     printf("a = %d, b = %d.\n",a, b);  
25.     swap1(&a, &a);  
26.     printf("a = %d.\n",a);  
27.     swap2(&b, &b);  
28.     printf("b = %d.\n",b);  
29.       
30.     return 0;  
31. }  

#include <stdio.h> int swap1(int *a, int *b) { *a = *a+*b; *b = *a-*b; *a = *a-*b; return 0; } int swap2(int *a, int *b) { *a = *a^*b; *b = *a^*b; *a = *a^*b; return 0; } int main(void) { int a = 5; int b = 10; printf("a = %d, b = %d.\n",a, b); swap1(&a, &a); printf("a = %d.\n",a); swap2(&b, &b); printf("b = %d.\n",b); return 0; }
来看运行结果：

1. [rockics@localhost blog]$ gcc -o swap swap.c -Wall  
2. [rockics@localhost blog]$ ./swap  
3. a = 5, b = 10.  
4. a = 0.  
5. b = 0.  

[rockics@localhost blog]$ gcc -o swap swap.c -Wall [rockics@localhost blog]$ ./swap a = 5, b = 10. a = 0. b = 0.

诡异吧？也许你会说，交换两个一样的值，很少见。但是，写函数我们不能对函数的调用方式做任何假设。因此，可以说，以上写的两个值得“骄傲”的交换两个变量的函数，至少是考虑不够周全的。

出现这个问题，其实，是因为存储器别名的影响。如果，调用者传入的两个参数指向同一内存空间，那么就会出现意想不到的情况。编写程序的时候，要注意避免此类问题。

可以改为：

int swap1(int *a ,int *b)
{
    if(a== b)
        return 0;

    *a = *a + *b;
    *b = *a - *b;
    *a = *a - *b;
    
    return 0;
}

int swap2(int *a, int *b)
{
    if(a== b)
        return 0;
    
    *a = *a ^ *b;
    *b = *a ^ *b;
    *a = *a ^ *b;

    return 0;
}