快速判断一个数是2的正n次幂

问题背景

如果y是2的正n次幂用，那么用数学公式表示y有：
$$y=2^n\text{\hspace{1em}(n是正整数)}$$
用通俗的语言来讲，y是有n个2相乘得到的。那么如何来判断y是满足以上条件的y呢？

常规解法

private static boolean isPowOf2(int n) {
		if (n < 2) {
			return false;
		}

        if (n == 2) {
            return true;
        }

        int cos = n % 2;
        if (cos != 0 ) {
            return false;
        }
        return isPowOf2(n / 2);
    }

通常的解法如上面的代码所示，会使用递归的方式来执行连续n个2相乘的逆过程。因为是n个2相乘，所以在逆过程中的每一个结果都能整除2，然后就可以判断除以2以后的子问题是否是2的n次幂了。

利用二进制的特点

一个数是2的正n次幂，那么这个数只能是{2, 4, 8, 16 …}，对应的二进制为：

• 2 -> 10
• 4 -> 100
• 8 -> 1000
• 16 -> 10000

从上面的规律可以初步得出2的正n次幂所对应的二进制数中有且仅有一位为1，类似于在十进制中10的正n次幂有且仅有一位为1。
上述规律可以通过证明给出严格的结论，这里选择忽略。
下面重点介绍利用该特性的两种快速判断一个数是2的正n次幂的方法。

方法一

private static boolean fastIsPowOf2One(int n) {
        return n >= 2 && (n & (n - 1)) == 0;
    }

上面的代码首先判断 n >= 2 来保障输入在合法的范围内。
然后第二个条件是n & (n - 1)==0，这个条件用到了位运算的技巧。
n&(n-1)在二进制数中的含义是“将最最低位的1置为0”，而2的正n次幂对应的二进制数中只有一个1，这个1就是最低位的1，所以如果n是2的正n次幂，n&(n-1)==0就必然成立。

方法二

    private static boolean fastIsPowOf2Two(int n) {
        return n >= 2 && (n & (-n)) == n;
    }

上线的代码同样先判断n>=2来保障输入在合法的范围内。
然后第二个天剑是 (n&(-n))==n，这个条件同样用到了位运算的技巧。
n&(-n)在二进制数中的含义是“只保留n中的最低位的1，其余的位均置为0”，而2的正n次幂对应的二进制数中只有一个1，这个1就是最低位的1，所以如果n是2的正n次幂，n&(-n)==n就必然成立。

netty中是使用的就是该方法。

总结

巧妙利用二进制数的规律和位运算，能够简化很多问题。