bitCount函数详解

最近刷题的时候看到了这样一个奇怪的函数，一开始非常不理解，后来查阅了资料，现将它记录下来。

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;
   }

先说一下这个函数的功能：表示整型变量i转化成二进制表示时，1的个数。
一看很懵，不知所以然，接下来就开始解释了。

过程解释：

1. 首先将整数i转换成二进制形式，如下所示：
   $$i=b_0\cdot 2^0+b_1\cdot 2^1+...+b_{30}\cdot 2^{30}+b_{31}\cdot 2^{31}$$

2. 对于i = i - ((i >>> 1) & 0x55555555);(2的二进制位0101),得到的结果为：
   $$\begin{gathered} i=b_0\cdot 2^0+b_1\cdot 2^1+...+b_{31}\cdot 2^{31}-b_1\cdot 2^0+b_3\cdot 2^2+b_{31}\cdot 2^{30} \\ =(b_0-b_1)\cdot 2^0+...+b_1\cdot 2^1(b_{30}-b_{31}\cdot 2^{30}+b_{3}1) \\ =(b_0+b_1)\cdot 2^0+...+(b_{30}+b_{31}\cdot 2^{30}) \end{gathered}$$

3. 对于i = (i & 0x33333333) + ((i >>> 2) & 0x33333333);(3的二进制为0011)得到结果为：
   $$\begin{gathered} i=((b_0+b_1)\cdot 2^0+(b_4+b_5)\cdot 2^4+...+(b_{28}+b_{29}\cdot 2^{28}))+((b_2+b_3)\cdot 2^0+(b_6+b_7)\cdot 2^4+...+(b_{30}+b_{31})\cdot 2^{28}) \\ =(b_0+b_1+b_2+b_3+b_4)\cdot 2^0+(b_4+b_5+b_6+b_7)\cdot 2^4+...+(b_{28}+b_{29}+b_{30}+b_{31})\cdot 2^{28}) \\ =(b_0+b_1+b_2+b_3)\cdot 2^0+(b_4+b_5+b_6+b_7)\cdot 2^4+...+(b_{28}+b_{29}+b_{30}+b_{31})\cdot 2^{28}) \end{gathered}$$

4. 对于i = (i + (i >>> 4)) & 0x0f0f0f0f;得到的结果为：
   

5. 对于i = i + (i >>> 8);得到的结果为：
   

6. 对于i = i + (i >>> 16);得到的结果为：
   

7. 最后，i & 0x3f;得到的最终结果为：
   $$i=\sum _{i=0}^{31}{b}_i$$