<p>应使用 std::bit_width(x) - 1（C++20）或 __builtin_clz（GCC/Clang），而非 std::floor(std::log2(x))，因浮点精度误差会导致 2ⁿ 结果略小于 n 而下溢；std::bit_width 专为无符号整数设计，返回位数减 1 即 floor(log₂(x))，安全高效。</p>
log2 的整数下限：用 std::floor 还是直接位运算？
直接取 log2 的下限（即 floor(log₂(x))）时，std::floor(std::log2(x)) 看似合理，但对整数输入极易出错——浮点计算的精度误差会让 2ⁿ 这类精确值算出来略小于 n，std::floor 就会向下多扣 1。比如 std::log2(64) 在某些平台返回 5.999999999，std::floor 后变成 5 而非 6。
- 只对正整数 x 有效（x ≥ 1），0 或负数未定义
- 优先用整数方法：对无符号整数，
sizeof(T) * 8 - __builtin_clz(x) - 1（GCC/Clang）或std::bit_width(x) - 1（C++20） -
std::bit_width(x)返回 x 二进制表示的位数（即 floor(log₂(x)) + 1），所以减 1 就是所求 - 若不能用 C++20，
__builtin_clz对unsigned int必须保证 x ≠ 0；传 0 会 UB
C++20 的标准解法：std::bit_width
std::bit_width 是目前最安全、最直观的标准库方案，定义在 <bit> 头文件中，专为这类需求设计。
- 输入必须是无符号整型（
unsigned、uint32_t等），有符号类型需先转为对应无符号类型 - 对 x = 1，
std::bit_width(1)返回 1 → 下限 log₂ 是 0 - 对 x = 8，
std::bit_width(8)返回 4 → 下限 log₂ 是 3 - 它内部通常编译为单条指令（如 x86 的
bsr），零开销
兼容老标准的替代写法（C++17 及之前）
没有 std::bit_width 时，手动实现要绕过浮点陷阱。常见错误是直接用 log2 + floor，正确做法是基于最高置位 bit 的位置。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 对
unsigned int：用31 - __builtin_clz(x)（GCC/Clang），注意__builtin_clz(1)是 31，结果为 0 - MSVC 用户可用
_BitScanReverse，返回 bool 并通过输出参数获取位置 - 手写循环移位虽可移植，但性能差且易漏边界（如 x=1 时循环次数为 0）
- 不要用
(int)std::log2(x)强转——截断和 floor 行为不同，且同样受精度影响
为什么不能直接用 std::log2？
根本问题是 IEEE 754 双精度无法精确表示大多数 log₂ 结果。哪怕数学上是整数，浮点计算也可能有 ulp 级误差。
立即学习“C++免费学习笔记（深入）”；
- 典型失败案例：
std::log2(1u << 24)在某些 libc 实现中返回 23.999999999999996，std::floor得到 23 而非 24 - 即使加
+ 1e-10修正，也无法覆盖所有平台和输入范围 - 只有当 x 是 2 的幂且编译器+libc 能保证精确计算时才偶然正确，不可依赖
- 整数位运算路径完全规避浮点，是唯一可靠选择
真正要注意的是类型匹配和零值防护——std::bit_width 对 0 未定义，__builtin_clz 对 0 是未定义行为，任何方案都必须确保输入 ≥ 1。
