n是2的幂当且仅当n>0且n&(n-1)==0;该位运算利用二进制中仅一个1的特性,高效安全,避免浮点精度与循环性能问题。

用 n & (n - 1) 判断是否为2的幂最简洁
正整数 n 是2的幂,当且仅当它的二进制表示中**只有一个 1**。利用位运算特性:n & (n - 1) 会把 n 最低位的 1 变成 0,其余位不变。所以如果 n 只有一个 1,那 n & (n - 1) 结果必为 0。
但要注意边界:这个技巧只对正整数有效,0 和负数必须先排除。
推荐写法:
bool isPowerOfTwo(int n) {
return n > 0 && (n & (n - 1)) == 0;
}-
n > 0排除非正数(0不是2的幂,负数在补码下也不满足语义) - 不加括号如
n & n - 1会因运算符优先级出错(&优先级低于-),必须写成(n & (n - 1)) == 0 - 对
int类型安全;若用unsigned int,可省略n > 0,但仍建议保留以明确意图
为什么不用 log2(n) 或循环除2
调用 std::log2 看似直观,但有精度陷阱:浮点计算不精确,比如 std::log2(2^23) 可能返回略小于 23 的值,std::round 后再验证仍不可靠,尤其在 n 接近 INT_MAX 时。
立即学习“C++免费学习笔记(深入)”;
循环除2(while (n % 2 == 0) n /= 2; return n == 1;)逻辑正确,但:
- 时间复杂度 O(log n),而位运算是 O(1)
- 对
n == 0或负数容易陷入死循环或未定义行为 - 编译器很难对这种循环做有效优化,而
n & (n - 1)几乎总被编译为单条指令(如 x86 的test+je)
处理无符号大整数(如 uint64_t)要小心
当 n 是 uint64_t 且值为 1ULL 这类高位数时,<code>n - 1 没问题,但需确保类型一致:
bool isPowerOfTwo(uint64_t n) {
return n != 0 && (n & (n - 1)) == 0;
}- 用
n != 0替代n > 0,适配无符号类型 - 避免混用有/无符号:比如传入
int常量1给uint64_t参数,虽隐式转换安全,但显式写1ULL更清晰 - 某些平台对 64 位位运算支持较弱(如旧嵌入式编译器),此时可考虑查表或分段判断,但绝大多数现代环境无需担心
常见误判场景和调试建议
最容易漏掉的是 n == 0 和 n == 1:
-
0:所有位都是 0,0 & (0 - 1)实际是0 & 0xFFFFFFFF(补码下),结果为 0 → 若没加n > 0判断,会错误返回true -
1:二进制是1,1 & 0 == 0,且1 > 0,正确返回true—— 这正是我们想要的(2⁰ = 1) - 调试时可在 assert 中直接打印
n和n & (n - 1),比看 log 更快定位问题
真正麻烦的是把该判断嵌在性能敏感路径里还用了浮点,或者在模板函数中没约束整数类型,导致 T 是 float 时编译失败又不好排查。


















