(转贴)反转一个字节 和 判断32位整数二进制中1的个数 的算法

unsigned char reverse8( unsigned char c )
{
    c = ( c & 0x55 ) << 1 | ( c & 0xAA ) >> 1;
    c = ( c & 0x33 ) << 2 | ( c & 0xCC ) >> 2;
    c = ( c & 0x0F ) << 4 | ( c & 0xF0 ) >> 4;
    return c;
}

unsigned long func(unsigned long x)
{
    x = (x & 0x55555555UL) + ((x >> 1) & 0x55555555UL);
    x = (x & 0x33333333UL) + ((x >> 2) & 0x33333333UL);
    x = (x & 0x0f0f0f0fUL) + ((x >> 4) & 0x0f0f0f0fUL);
    x = (x & 0x00ff00ffUL) + ((x >> 8) & 0x00ff00ffUL);
    x = (x & 0x0000ffffUL) + ((x >> 16) & 0x0000ffffUL);
    return x;
}

先看问题1: 反转一个字节。
它的算法是这样的: 首先是2位2位为一组，交换前一半和后一半。再4位4位为一组，交换前一半和后一半。再8位为一组，交换前一半和后一半

。
可能还有点说不清楚。我举个例子。
将1 2 3 4 5 6 7 8 反转。
(1)2个2个为一组，交换前一半和后一半, 变成。
  2 1 4 3 6 5 8 7
(2)4个4个为一组，交换前一半和后一半， 变成
  4 3 2 1 8 7 6 5
(3)再8个为一组，交换前一半和后一半, 变成
  8 7 6 5 4 3 2 1
反转成功。
这样的算法本来很是简单，很容易用数学归纳法证明其正确。这函数， 巧妙就巧妙在作了并行计算，分组，它一次就计算完了。

先看第一个语句。c = ( c & 0x55) << 1 | ( c & 0xAA ) >> 1; 
0x55其实就是01010101, 0xAA就是10101010
假设 c=abcdefgh
c & 0x55 = 0b0d0f0h,    c & 0xAA = a0c0e0g0
跟着，前者左移一位, b0d0f0h0, 后者右移一位, 0a0c0e0g, 再一个|运算，就两位两位交换了位置。
想象一下，你有一个长纸条，分成一格一格，每格写一个字，假如你将纸条每隔一格剪一个小洞，滑一格，覆盖在原来的纸条上，你就会看到两个两个字交换了位置。
(注: |运算可以换成+运算，想一想为什么)

第二个语句。 c = ( c & 0x33 ) << 2 | ( c & 0xCC ) >> 2;
0x33 = 00110011, 0xCC=11001100。 

第三个语句。c = ( c & 0x0F ) << 4 | ( c & 0xF0 ) >> 4;
0x0f = 00001111, 0xF0=11110000.

这两个语句的作用也是 分组，将一半位变成0，移位滑动，跟着再组合，就分组交换了位置。
不防想象两个小纸条剪洞叠加。

这方法应该可以推广。
理解了问题1，也就很容易理解问题2了.

问题2: 判断32位整数二进制中1的个数。
和问题1一样，也是采用了分组并行计算。

基本方法是: 2位2位为一组，相加，看看有几个1。再4位4位为一组，相加，看看有几个1......
还是说的不太明白。接着分析。

为了简单说明，先看看8位的情形。相应地，函数里面的语句变成。
x = (x & 0x55) + ((x >> 1) & 0x55);   (1)
x = (x & 0x33) + ((x >> 2) & 0x33);   (2)
x = (x & 0x0f) + ((x >> 4) & 0x0f);   (3)
return x;

假设x=abcdefgh. 0x55=01010101
x & 0x55 = 0b0d0f0h.  (x>>1) & 0x55 = 0a0c0e0g。相加。就可以知道2位2位一组1的个数。

比如x=11111111
x= (x & 0x55) + ((x >> 1) & 0x55); 之后x=10101010。你2位2位地看，10=2, 就是2 2 2 2, 就是说各组都是2个1。
比如x=00101001
x= (x & 0x55) + ((x >> 1) & 0x55); 之后x=00010101。你2位2位地看，就是0 1 1 1, 前1组只有0个1，后面的组都是1个1。

好啦。再来看。0x33=00110011。
x=abcdefgh. 
x=(x & 0x33)+((x >> 2)&0x33); 相当于, 00ab00ef + 00cd00gh。
因为语句(1)之后。ab指示了头两位有多少个1，cd指示了下两位有多少个1。相加00ab+00cd就指示前4位有多少个1。这样就是4位4位为一组。注意这样的分组，组与组之间永远都不会产生进位的。正因为不会产生进位，才可以分开来看。

好啦。下面的过程都是一样的，不再多说。
8位，16位，32位都一样。