摘要：
判断一个整数x是否是2的N次方。 方法之一是判断x & (x - 1)==0。若为True，则x是2的N次方；若为False，则x不是2的N次方。 有人质疑，他证明了“2的n次方一定符合这个条件”， 却并没有证明“符合这个条件的一定是2的n次方”呀！更没有证明“不符合条件的一定不是2的n次方”呀。 现在，从两个方面来证明这个方法的正确性 证明之前，先给出一些定义 &运算的定义：A & B 表示将A和B转化为二进制，然后按照对位&运算。 例如：17 & 9 100012 =1710 & 1012 =910 --------------------- 阅读全文