一个正整数 n 是 2 的幂当且仅当 n > 0 且 n & (n - 1) == 0;原理是 n 为 2 的幂时二进制仅含一个 1,n-1 将其变为低位全 1,按位与得 0;需先排除 n ≤ 0,因 0 和负数均不满足定义。

一个正整数 n 是 2 的幂,当且仅当它的二进制表示中**有且仅有一个 1**。利用位运算可以 O(1) 完成判断,无需循环或对数运算。
用 n & (n - 1) 清除最低位的 1
这是最经典、最高效的判断方式。原理是:若 n 是 2 的幂(如 8 = 0b1000),则 n - 1 的二进制为全 1(7 = 0b0111),两者按位与结果必为 0;而其他正整数(如 6 = 0b0110,5 = 0b0101)不满足该性质。
注意必须额外排除 n 的情况,因为负数和 0 不属于 2 的幂(数学定义中 2 的幂指 2^k,k ≥ 0,即 1, 2, 4, 8, ...)。
bool isPowerOfTwo(int n) {
return n > 0 && (n & (n - 1)) == 0;
}-
n == 0时,n & (n - 1)为0 & (-1)(补码下 -1 全为 1),结果非 0,但逻辑上 0 不是 2 的幂,所以必须先判n > 0 n 直接被n > 0拦截,避免符号位干扰- 该写法对
int、long long均适用,只要类型支持二进制补码和位运算
为什么不用 log2(n) 或循环除 2?
浮点函数如 std::log2 存在精度问题,尤其对大整数(如 2^52 附近)可能返回 52.00000000000001 或 51.99999999999999,取整后出错;循环除法时间复杂度为 O(log n),且分支预测失败率高,性能远低于位运算。
立即学习“C++免费学习笔记(深入)”;
- 例如
n = 1 ,循环需执行 30 次;而n & (n - 1)是单条 CPU 指令 -
std::log2(2^30)在某些平台返回30.0,但std::log2(2^53 - 1)可能因 double 精度丢失而误判 - 编译器通常无法将
log2优化为位运算,而n & (n - 1)几乎总被内联为 2~3 条汇编指令
处理无符号整数或更大范围(如 uint64_t)
原理完全一致,只需确保类型匹配。对于 unsigned 类型,可省略符号检查,但仍需排除 0:
bool isPowerOfTwo(uint64_t n) {
return n != 0 && (n & (n - 1)) == 0;
}-
uint64_t下n - 1对n == 0会回绕为0xFFFFFFFFFFFFFFFF,此时n & (n - 1)为 0,但 0 不是 2 的幂,所以仍要显式写n != 0 - 不要用
n > 0判断无符号类型(虽等价,但语义不如n != 0清晰) - 若使用
size_t(常见于容器大小判断),同样适用该模式
真正容易被忽略的是边界:0、负数、最小负数(如 INT_MIN)。无论用哪种位运算技巧,第一步永远应该是明确数学定义——2 的幂是正整数集合 {1, 2, 4, 8, …},其余一切优化都建立在这个前提之上。











