二进制平行转换算法求含1的个数

此算法求二进制含一的个数：
int BitCount4(unsigned int n)
{
n = (n &0x55555555) + ((n >>1) &0x55555555) ;
n = (n &0x33333333) + ((n >>2) &0x33333333) ;
n = (n &0x0f0f0f0f) + ((n >>4) &0x0f0f0f0f) ;
n = (n &0x00ff00ff) + ((n >>8) &0x00ff00ff) ;
n = (n &0x0000ffff) + ((n >>16) &0x0000ffff) ;

return n ; 

}
想必大家都接触过这段代码，下面我们就来分析下这种算法的巧妙性。首先假设一个unsigned int n 。其中第一行代码中的0x55555555转换为二进制
0x55555555：0101 0101 0101 0101 0101 0101 0101 0101
n ：xxxx xxxx xxxx xxxx xxxx xxxx xxxx xxxx
n>>1 : 0xxx xxxx xxxx xxxx xxxx xxxx xxxx xxxx
其中x=0或1。上面进行与运算的：
0x 0x 0x 0x 0x 0x 0x 0x 0x 0x 0x 0x 0x 0x 0x 0x
0x 0x 0x 0x 0x 0x 0x 0x 0x 0x 0x 0x 0x 0x 0x 0x
两者相加 ： y y y y y y y y y y y y y y y y (y=0~2^1)。
这是因为0x55555555中有16个0所以此时n的x的个数为16（0与任意数结合为0）
此时相邻的俩个比特数相结合必然不会超过2。此时y=0x。
0x33333333：0011 0011 0011 0011 0011 0011 0011 0011
然后将其相邻的两个比特数相结合00为0 11为1
0x33333333：01 01 01 01 01 01 01 01
&
n ：yy yy yy yy yy yy yy yy
n>>2 : 0y yy yy yy yy yy yy yy (因为此时00=0)
=
n ： 0y 0y 0y 0y 0y 0y 0y 0y
+
n>>2 : 0y 0y 0y 0y 0y 0y 0y 0y
=
z z z z z z z z z=(0~2^2）
此后n左移几位就有几位相邻比特相结合
因为0x0f0f0f0f0f:00001111 00001111 00001111 00001111=>01 01 01 01
所以 第4层n ： ww ww w=(0~2^3)
0x00ff00ff=> 01 01
第5层n ： e e e=(0~2^4)
0x0000ffff=> 0 1
最终n为 r r=(0~2^5)
所以 所以n的结果与x为1的个数相同。第一次写，多多见谅。