std::log2不适合正整数快速求Log2，因其是浮点函数，存在调用开销、精度误差（如log2(65536)可能返回15.999999导致floor后错一位）和舍入不确定性；而正整数log2本质是定位最高有效位，可用__builtin_clz等位运算在常数时间内精确完成。
为什么std::log2不适合正整数快速求Log2
std::log2是通用浮点对数函数，底层调用log再缩放，有函数调用开销、浮点精度误差和舍入不确定性。对正整数n求以2为底的向下取整（即floor(log2(n))），本质是找最高有效位（MSB）的位置——这完全可由位运算在常数时间内完成，无需浮点。
常见错误是直接用(int)std::log2(n)并假设结果精确，但当n接近2^k时（如n == 65536），浮点误差可能导致结果为k-1而非k；更糟的是，n==1时std::log2(1)返回0.0没问题，但n==0会触发域错误——而你若只处理正整数，其实根本不需要处理0。
用__builtin_clz或_BitScanReverse获取MSB位置
GCC/Clang提供__builtin_clz（count leading zeros），MSVC提供_BitScanReverse，二者都可在单条CPU指令内定位最高位。关键点：它们对输入为0未定义，所以必须确保输入是正整数。
- 对32位无符号整数
uint32_t n，31 - __builtin_clz(n)就是floor(log2(n)) - 对64位整数，用
__builtin_clzll(n)，然后是63 - __builtin_clzll(n) - MSVC下：用
unsigned long index; _BitScanReverse(&index, n);，index即所求结果 - 注意：
__builtin_clz(1)返回31（x86_32），所以公式中必须用31 - ...而非32 - ...
示例：
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
uint32_t log2_floor(uint32_t n) {
return 31 - __builtin_clz(n);
}该函数对n = 1,2,3,...,0x80000000均返回正确整数结果，且编译后通常只剩1~2条指令。
跨平台封装与边界检查
不同编译器、不同位宽需适配，且必须排除n == 0——这不是性能问题，而是未定义行为源头。
- 不要写
assert(n > 0)，生产环境应避免abort；改用if (n == 0) return -1;或抛异常，取决于接口契约 - 用
sizeof(T) * 8 - 1动态计算位宽偏移，而非硬编码31/63 - Clang/GCC支持
__builtin_clz但要求参数非零；MSVC的_BitScanReverse也要求非零输入 - C++20起可用
std::bit_width(n) - 1，它正是为这个场景设计的，且对n==0定义为0（需确认是否符合你的语义）
轻量封装示例：
int ilog2(uint32_t n) {
return n ? 31 - __builtin_clz(n) : -1;
}性能陷阱：别在循环里反复查表或分支
有人用查表法（如256字节表+两次查表）或while (n >>= 1) count++，前者缓存不友好，后者是O(log n)——在现代CPU上比__builtin_clz慢一个数量级。
- 查表法需要至少256B内存，L1 cache可能挤出其他热数据
- 分支预测失败成本高：如果
n分布不均（比如大量小值和少量大值），while循环的跳转会频繁误预测 -
__builtin_clz是纯计算指令，无分支、无访存、无依赖链 - 注意：某些嵌入式平台（如ARM Cortex-M0）不支持CLZ指令，此时才需回退到查表或移位，但这是例外不是常态
真正容易被忽略的是：编译器优化级别。未开-O2时，__builtin_clz可能不会内联为单指令，而生成库调用——务必在发布构建中验证汇编输出。
