很久之前就知道一种不需要第三个参数,就可以完成数据交换的方法。但只是死机硬背(其实也没这么夸张)的方法使用。今天突然来了兴致,想要探讨一下这个神奇的操作方法。
方法众所周知:
swap(a,b)
{
a^=b;
b^=a;
a^=b;
}
这个异或操作怎么会如此神奇了。
上了下维基百科查到a^b = a & ~b + ~a & b;于是我就想通过逻辑运算来验证下上面代码的操作结果是否理想。
a = a^b --> a = a & ~b + ~a & b;
b = a^b --> b = (a & ~b + ~a & b) & ~b + ~(a & ~b + ~a & b) & b;
b = a & ~b + ~(a & ~b) & ~(~a & b) & b;
b = a & ~b + (~a + b) & (a + ~b) & b;
b = a & ~b + a & b;
b = a & (b + ~b);
b = a;
a = a^b --> a = (a & ~b + ~a & b) & ~a + ~(a & ~b + ~a & b) & a;
a = b;(同上理)
当然这个逻辑运算过程不一定证明的合理,毕竟有差不多3-4年没做过类似的活了。看来结论毋庸置疑,结果是对的。
这个值传递过程到底是如何被保存和记录的了?
这里给上我的解释,当然不会很清晰明了,因为我现在还是有些迷糊的。
首先,a^b产生的结果肯定是个特征值,该值记录了a与b的值信息。这个特征值知道在哪些位上a和b相同,哪些位上a和b不同。
其次,我们分析一下特征值和运算值之间的联系,如果一个特征值和a在某位上同时为1,则说明这个位上b的值一定不为1;如果一个特征值和a的某位上同时为0,则说明这个位上b的值一定为0;
接着来分析,一个特征值和a在某位上一个为1,一个为0,则说明这个位上b的值一定为1;
则从上面的结果可以看出,一个结论:
两个值之间一定存在第三个值,他们之间构成一个异或环,他们任意两个值的异或关系等于第三个值。
难道这个要被定义为Joseph定理,oh!少年想多了吧,书看少了哈!