不能直接用 std::log2 计算整数 log2,因其为浮点函数,存在类型转换开销、性能慢及浮点精度误差风险;应使用位运算(如右移计数或 __builtin_clz)求 floor(log₂(x))。

为什么不能直接用 std::log2 计算整数 log2
因为 std::log2 是浮点函数,对整数输入做类型转换、调用数学库、再四舍五入,不仅慢(尤其在 tight loop 中),还可能因浮点精度问题出错。比如 log2(1u 理论上应得 23,但某些平台返回 22.9999999,<code>static_cast<int>(std::log2(x))</int> 就会截断成 22。
__builtin_clz 是最快路径,但要注意平台和输入范围
GCC/Clang 提供的 __builtin_clz(count leading zeros)能在单条 CPU 指令完成,是整数 log2 的事实标准。它返回最高位 1 前导零个数,所以对非零无符号整数 x,31 - __builtin_clz(x) 就是 log2(x)(32 位)。
-
__builtin_clz(0)是未定义行为,必须提前检查x == 0 - 32 位系统用
__builtin_clz(x),64 位推荐用__builtin_clzll(x)配合unsigned long long - MSVC 没有等价 builtin,需用
_BitScanReverse或 fallback 到位移循环 - 注意:
__builtin_clz参数是unsigned int,传int负数会得到错误结果(符号位全 1)
手写位移法兼容性好,但性能差距明显
当无法依赖 builtin(如跨平台嵌入式或 MSVC 环境),可用 while 循环右移计数。虽不如 builtin 快,但逻辑清晰、无依赖:
int ilog2(unsigned x) {
if (x == 0) return -1; // 或抛异常/断言
int r = 0;
while (x > 1) {
x >>= 1;
r++;
}
return r;
}
- 对
x=1返回 0,符合2^0 == 1 - 最坏情况(如
x = 0x80000000)要循环 31 次,而__builtin_clz是常数时间 - 可加分支预测提示:
if (__builtin_expect(x == 0, 0))(GCC/Clang) - 避免用
for (int i = 0; x >>= 1; i++)——这会多移一次,结果偏小
查表法只适合固定小范围,别硬套到 32 位
对 0–255 的 uint8_t,用 256 字节查表确实快且确定。但扩展到 32 位就要 4GB 表,完全不现实。折中方案是分段查表:先用 __builtin_clz 定位字节位置,再查 256 元素子表。实际项目中极少需要——builtin 已足够快,查表反而增加 cache 压力。
真正容易被忽略的是:所有方法都假设输入是 2 的幂吗?不是。整数 log2 通常指 floor(log₂(x)),即最高位位置。如果你需要“是否为 2 的幂”的判断,应该单独用 (x & (x-1)) == 0 && x != 0,别复用 log2 函数再判结果是否整数。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











