整数翻转

前几天在写道进制翻转的题目，发现JAVA提供了直接调用的方法

Integer.reverse(int i)：二进制按位反转
很好奇点进去发现，源码如下：

/**
 * Returns the value obtained by reversing the order of the bits in the
 * two's complement binary representation of the specified {@code int}
 * value.
 *
 * @param i the value to be reversed
 * @return the value obtained by reversing order of the bits in the
 *     specified {@code int} value.
 * @since 1.5
 */
public static int reverse(int i) {
    // HD, Figure 7-1
    i = (i & 0x55555555) << 1 | (i >>> 1) & 0x55555555;
    i = (i & 0x33333333) << 2 | (i >>> 2) & 0x33333333;
    i = (i & 0x0f0f0f0f) << 4 | (i >>> 4) & 0x0f0f0f0f;
    i = (i << 24) | ((i & 0xff00) << 8) |
        ((i >>> 8) & 0xff00) | (i >>> 24);
    return i;
}

这是什么神仙代码？一眼看过去丈二和尚摸不着头脑。

仔细推敲后发现：

不妨设$i$的二进制如下：

1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
$b_1$	$b_2$	$b_3$	$b_4$	$b_5$	$b_6$	$b_7$	$b_8$	$b_9$	$b_{10}$	$b_{11}$	$b_{12}$	$b_{13}$	$b_{14}$	$b_{15}$	$b_{16}$	$b_{17}$	$b_{18}$	$b_{19}$	$b_{20}$	$b_{21}$	$b_{22}$	$b_{23}$	$b_{24}$	$b_{25}$	$b_{26}$	$b_{27}$	$b_{28}$	$b_{29}$	$b_{30}$	$b_{31}$	$b_{32}$

0x55555555二进制：0101 0101 0101 0101 0101 0101 0101 0101

所以很容易发现：

(i & 0x55555555) << 1的结果是：取出$i$的偶数位(左移末尾补0)，结果如下：记为$i_1$

1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
$b_2$	0	$b_4$	0	$b_6$	0	$b_8$	0	$b_{10}$	0	$b_{12}$	0	$b_{14}$	0	$b_{16}$	0	$b_{18}$	0	$b_{20}$	0	$b_{22}$	0	$b_{24}$	0	$b_{26}$	0	$b_{28}$	0	$b_{30}$	0	$b_{32}$	0

(i >>> 1) & 0x55555555的结果是：取出$i$的奇数为(无符号左移首位补0)，结果如下：记为$i_2$

1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
0	$b_1$	0	$b_3$	0	$b_5$	0	$b_7$	0	$b_9$	0	$b_{11}$	0	$b_{13}$	0	$b_{15}$	0	$b_{17}$	0	$b_{19}$	0	$b_{21}$	0	$b_{23}$	0	$b_{25}$	0	$b_{27}$	0	$b_{29}$	0	$b_{31}$

再将$i_1$、记为$i_2$按位取或运算，结果如下：

1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
$b_2$	$b_1$	$b_4$	$b_3$	$b_6$	$b_5$	$b_8$	$b_7$	$b_{10}$	$b_9$	$b_{12}$	$b_{11}$	$b_{14}$	$b_{13}$	$b_{16}$	$b_{15}$	$b_{18}$	$b_{17}$	$b_{20}$	$b_{19}$	$b_{22}$	$b_{21}$	$b_{24}$	$b_{23}$	$b_{26}$	$b_{25}$	$b_{28}$	$b_{27}$	$b_{30}$	$b_{29}$	$b_{32}$	$b_{31}$

可以看出i = (i & 0x55555555) << 1 | (i >>> 1) & 0x55555555;的作用便是将$i$中的每两个相邻位交换位置

同理：

0x33333333二进制：0011 0011 0011 0011 0011 0011 0011 0011

所以应当是每四位中的相邻两位交换，结果如下：

1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
$b_4$	$b_3$	$b_2$	$b_1$	$b_8$	$b_7$	$b_6$	$b_5$	$b_{12}$	$b_{11}$	$b_{10}$	$b_9$	$b_{16}$	$b_{15}$	$b_{14}$	$b_{13}$	$b_{20}$	$b_{19}$	$b_{18}$	$b_{17}$	$b_{24}$	$b_{23}$	$b_{22}$	$b_{21}$	$b_{28}$	$b_{27}$	$b_{26}$	$b_{25}$	$b_{32}$	$b_{31}$	$b_{30}$	$b_{29}$

0x0f0f0f0f二进制：0000 1111 0000 1111 0000 1111 0000 1111

所以应当是每 八位中的相邻四位交换，结果如下：

1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
$b_8$	$b_7$	$b_6$	$b_5$	$b_4$	$b_3$	$b_2$	$b_1$	$b_{16}$	$b_{15}$	$b_{14}$	$b_{13}$	$b_{12}$	$b_{11}$	$b_{10}$	$b_9$	$b_{24}$	$b_{23}$	$b_{22}$	$b_{21}$	$b_{20}$	$b_{19}$	$b_{18}$	$b_{17}$	$b_{32}$	$b_{31}$	$b_{30}$	$b_{29}$	$b_{28}$	$b_{27}$	$b_{26}$	$b_{25}$

到最后一步：

i = (i << 24) | ((i & 0xff00) << 8) | ((i >>> 8) & 0xff00) | (i >>> 24);

注意：0xff00实际上是0x0000ff00

(i << 24)结果：

1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
$b_{32}$	$b_{31}$	$b_{30}$	$b_{29}$	$b_{28}$	$b_{27}$	$b_{26}$	$b_{25}$	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0

(i & 0xff00) << 8 结果：

1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
0	0	0	0	0	0	0	0	$b_{24}$	$b_{23}$	$b_{22}$	$b_{21}$	$b_{20}$	$b_{19}$	$b_{18}$	$b_{17}$	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0

(i >>> 8) & 0xff00 结果:

1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	$b_{16}$	$b_{15}$	$b_{14}$	$b_{13}$	$b_{12}$	$b_{11}$	$b_{10}$	$b_9$	0	0	0	0	0	0	0	0

(i >>> 24)结果：

1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	$b_8$	$b_7$	$b_6$	$b_5$	$b_4$	$b_3$	$b_2$	$b_1$

然后在取或运算，得到最后的翻转结果：

1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30	31	32
$b_{32}$	$b_{31}$	$b_{30}$	$b_{29}$	$b_{28}$	$b_{27}$	$b_{26}$	$b_{25}$	$b_{24}$	$b_{23}$	$b_{22}$	$b_{21}$	$b_{20}$	$b_{19}$	$b_{18}$	$b_{17}$	$b_{16}$	$b_{15}$	$b_{14}$	$b_{13}$	$b_{12}$	$b_{11}$	$b_{10}$	$b_9$	$b_8$	$b_7$	$b_6$	$b_5$	$b_4$	$b_3$	$b_2$	$b_1$

太神奇了！！！