这里咱们要考虑的是，两个数相等的交换情况。

#include <iostream>#include <algorithm>using namespace std;// 两个参数是指针（指向地址的引用）void myswap(int *x, int *y){
    *x ^= *y;
    *y ^= *x;
    *x ^= *y;
}// 两个参数是引用，在这里&代表引用，不代表地址void myswap2(int &x, int &y){
    x ^= y;
    y ^= x;
    x ^= y;
}int main(){    cout << "**********交换不同的值**********" << endl;    int a = 1, b = 2;
    myswap(&a, &b); // 因为myswap的参数是指针，所以必须传地址
    cout << a << ' ' << b << endl;    int a2 = 3, b2 = 4;
    myswap2(a2, b2);    cout << a2 << ' ' << b2 << endl;    cout << "**********交换相同的值**********" << endl;    int a3 = 5, b3 = 5;
    myswap(&a3, &b3); // 因为myswap的参数是指针，所以必须传地址
    cout << a3 << ' ' << b3 << endl;    int a4 = 6, b4 = 6;
    myswap2(a4, b4);    cout << a4 << ' ' << b4 << endl;    int c[1];
    c[0] = 7;
    myswap(&c[0], &c[0]);    cout << c[0] << ' ' << c[0] << endl;    int d[1];
    d[0] = 8;
    myswap2(d[0], d[0]);    cout <<d[0] << ' ' << d[0] << endl;    int e[1];
    e[0] = 9;
    swap(e[0], e[0]);    cout <<e[0] << ' ' << e[0] << endl;    return 0;
}

运行结果：

**********交换不同的值**********
2 1
4 3
**********交换相同的值**********
5 5
6 6
0 0
0 0
9 9

结果显示，前两组数值不同的两个数，能交换成功。后五组相同的值，交换成功的有3组。不成功的有两组，并且值都变成了0。
这是什么原因呢？
观察最后三对的数，都是数组里的同一元素交换。myswap和myswap2函数是咱们自己定义的，swap函数是由<algorithm>提供的。可见自己写的两个函数，一定存在bug。

仔细观察，发现a3 = 5, b3 = 5，这是两个不同的变量（在内存里的地址不同），而myswap2(d[0], d[0])，这是对同一个地址里的数交换。
d0 = 8时，
a = a ^ b = 8 ^ 8 = 0，因为a和b都指向d0，所以此时b = a = 0。
b = b ^ a = 0 ^ 0 = 0，
a = a ^ b = 0 ^ 0 = 0，
所以最终得到的是0 0，而不是8 8。
对于myswap(&c[0], &c[0])，与myswap2(d[0], d[0])的道理是一样的。

改进：如果值一样，那就不用交换了：

#include <iostream>#include <algorithm>using namespace std;// 两个参数是指针（指向地址的引用）void myswap(int *x, int *y){    if(x != y)
    {
        *x ^= *y;
        *y ^= *x;
        *x ^= *y;
    }
}// 两个参数是引用，在这里&代表引用，不代表地址void myswap2(int &x, int &y){    if(x != y)
    {
        x ^= y;
        y ^= x;
        x ^= y;
    }
}int main(){    cout << "**********交换不同的值**********" << endl;    int a = 1, b = 2;
    myswap(&a, &b); // 因为myswap的参数是指针，所以必须传地址
    cout << a << ' ' << b << endl;    int a2 = 3, b2 = 4;
    myswap2(a2, b2);    cout << a2 << ' ' << b2 << endl;    cout << "**********交换相同的值**********" << endl;    int a3 = 5, b3 = 5;
    myswap(&a3, &b3); // 因为myswap的参数是指针，所以必须传地址
    cout << a3 << ' ' << b3 << endl;    int a4 = 6, b4 = 6;
    myswap2(a4, b4);    cout << a4 << ' ' << b4 << endl;    int c[1];
    c[0] = 7;
    myswap(&c[0], &c[0]);    cout << c[0] << ' ' << c[0] << endl;    int d[1];
    d[0] = 8;
    myswap2(d[0], d[0]);    cout <<d[0] << ' ' << d[0] << endl;    int e[1];
    e[0] = 9;
    swap(e[0], e[0]);    cout <<e[0] << ' ' << e[0] << endl;    return 0;
}

运行结果：

**********交换不同的值**********
2 1
4 3
**********交换相同的值**********
5 5
6 6
7 7
8 8
9 9

现在结果对了。在此，咱们可以进一步推断<algorithm>中的swap函数的实现方式：
（1）参数是用引用而不是用指针，因为调用方式 是swap(e[0], e[0])而不是swap(&e[0], &e[0])
（2）swap内部用if作了判断。

作者：海天一树X
链接：https://www.jianshu.com/p/7c6ef94d5059