摘要:
判断一个整数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 --------------------- 阅读全文