【学习笔记】对 (x&y) + ( (x^y)>>1 ) 的理解

对于位运算求两个数的平均值问题，(整形数据)

int  function（int x，int y）

{

     return （ (x&y) + ( (x^y)>>1 ) ）;

}

给出两个整数，求出结果。

题目中的&和^都是位运算，所以我们有必要研究数据的对位情况。任何数据只有3中情况。

1） 0 与 0对应

2） 0 与 1对应

3）1  与 1对应

 

举例子来说：0101 和1101 也就是x和y分别为5、13.这两个数据出现了所谓的3种对应位情况。

我们可以把数据拆开来看：5  = 0000 + 100 + 00 + 1          13 = 1000 + 100 + 00 + 1

当对应位是1和0时，x&y 结果为0 ，x^y 的结果就是1 。

例如：上面数据的第四位0和1对位，此时x^y的结果就是1000，正是1101的第四位结果。

再右移一位，相当于除以2，所以当 0和1对位是原函数结果为 (x+y)/2 。

当对应位是1和1时，1^1的结果为0，所以原函数后半部分不考虑，1&1结果为1，这也是(x+y)/2；

例如：第一位和第三位的对位，都为100，他们 相与的结果 和 相加除以2 相等，即x&y=（x+y）/2；

当对应位是0和0时，无论怎么样都是0，即也符合(x+y)/2.

综合上述三种情况，我们可以知道其实原函数返回值就是(x+y)/2。