Java源码 Integer.bitCount实现过程

public static int bitCount(int i) {
     // HD, Figure 5-2
     i = i - ((i >>> 1) & 0x55555555);
     i = (i & 0x33333333) + ((i >>> 2) & 0x33333333);
     i = (i + (i >>> 4)) & 0x0f0f0f0f;
     i = i + (i >>> 8);
     i = i + (i >>> 16);
     return i & 0x3f;
}

第一眼看这个代码，完全看不懂。
搜查资料之后才懂：
原来是 先 两个两个一组，求二进制1的个数，并且用两位二进制存储在原处，然后四个四个一组，求二进制位1的个数，再把它存储以4位二进制到原处。以此类推直到计算完成。不得不感叹这个算法设计的精妙之处。

Google了一番，没有查到为什么这个设计。知其然，不知其所以然。

于是，我决定模拟一下发明者的想法，为什么要这么算，怎么想到的，进行求解过程的分析：

想到面试题 5升和3升的杯子 取 4升水这种问题了，这种题不就是利用加减法来回计算吗？利用已知的来求解未知的。

我们平时数数是不是喜欢一对一对的数啊？
先观察存储的情况：

src	store	remark
00	00	这两位没有，那就用0存储
01	01	这两位只有一个1，就用1存储
10	01	这两位也只有一个1,也用1存储
11	10	这两位有两个1，用10存储

那么就一对一对的数，已知 src列 求出 store列？
列式计算：

• 设 $\lambda$ = i - x
• 00 = 00 - 00;
• 01 = 01 - 00;
• 01 = 10 - 01;
• 10 = 11 - 01;

那么 x 又如何通过i得到呢？

我们手无寸铁，对CPU来说也只有加法和移位的手段。假如发明者列出这种算式，敏感的他一下子
很容易看出来：
$x = i>>>1$
就这么简单
那么得到：
$\lambda$ = i - (i>>>1)

那么i不止两位怎么处理？如果这个是最后的两位，那么移位之后后面一位二进制可以抹掉
而前面的移位会影响后面的最高位，那么把移出去的那一位消除：
i>>>1 & 01；
即为：01010101 01010101 01010101 01010101
$\lambda$ = i - (i>>>1 & 0x55555555)

问题解决。
那么 计算了两位的如何计算4位的二进制位呢？
枚举第一步计算完成的所有的情况：

src	target	remark	ref
0000	0000	= 0000 & 0011
0001	0001	= 0001 & 0011	01 = 01 & 11
0010	0010	= 0010 & 0011	10 = 10 & 11
0100	0001	= 01 + 00
0101	0010	= 01 + 01
0110	0011	= 01 + 10
1000	0010	= 10 + 00
1001	0011	= 10 + 01
1010	0100	= 10 + 10

后面两组可以参照第一组的结果，那么可以推算
四位中低两位 bb = aabb & 0011，主要要计算与高两位的和：
已知可以用1100& aabb =aa00得到左边的值，但是多了两个00，那么要计算aa + bb：
可以 aabb>>>2 = 00aa(bb)只看这两位，移位多出去的被00消除，不影响后面的计算。
即:
$\lambda$ =( i & 0x0011) + (i>>>2 & 0x0011)
也就是:
$\lambda$ =( i & 0x33333333) + (i>>>2 & 0x33333333)

同理求8位里面的两边4位之和：
$\lambda$ =( i + i>>>4) & 0x0F0F0F0F

求16位的两边之和：
$\lambda$ = i + (i >>> 8);
由于二等分是8位，而8位一共有4份。
A B C D

(C>>>8) + D D处8位的结果最大为 0001 0000不会进位到C。
(B>>>8) + C C处8位的结果最大为 0001 0000不会进位到B。
(A>>>8) + B B处8位的结果最大为 0001 0000不会进位到B。
A + 0 A处最大结果为 0000 1000

得到
A A+B B+C C+D
最后是求32位全部的内容也就是求(A+B)+(C+D)
A A+B B+C C+D
+
0 0 A A+B

也就是
$\lambda$= i + (i >>> 16)
A A+B A+B+C A+B+C+D
A+B+C+D最大也就32个：
0000 0000 0000 0000 0000 0000 0010 0000
0000 0000 0000 0000 0000 0000 0011 1111 = 0x3F
之所以要return i&0x3F，就是把前面抹干净。