c++oding="utf-8" ?>
std::has_single_bit 是 c++20 中判断无符号整数是否恰好有一个比特位为 1 的 constexpr 函数，对 0 返回 false，不支持负数和浮点数，语义清晰且编译期安全，优于传统 (x & (x-1)) == 0 写法。
std::has_single_bit 是 C++20 新增的 constexpr 工具函数
它直接告诉你一个整数是否恰好只有一个 bit 被置为 1 —— 也就是正整数中 2 的幂（1, 2, 4, 8, 16…），但注意：它对 0 返回 false，对负数行为未定义（编译器通常拒绝负数模板参数）。
用法非常简单：std::has_single_bit(x)，其中 x 必须是无符号整数类型（如 unsigned int、uint64_t）或可隐式转换为无符号类型的有符号整数（此时会做模运算解释，不推荐）。
- 推荐始终传入无符号类型，避免歧义。例如：
std::has_single_bit(static_cast<uint32_t>(n))</uint32_t> - 不能用于浮点数、指针或自定义类型；传入
int时若值为负，结果不可靠（比如std::has_single_bit(-4)在 GCC 中可能返回 true，因为 -4 的补码末尾几位碰巧符合单 bit 模式，但这不是设计本意） - 它是
constexpr，可在编译期判断，比如用在static_assert或模板分支中
和传统写法 (x & (x-1)) == 0 对比有什么区别？
老方法 (x & (x-1)) == 0 确实也能判断 2 的幂，但它对 x == 0 也返回 true（因为 0 & 0xffffffff == 0），而 std::has_single_bit(0) 明确返回 false —— 这更符合“single bit”的字面含义：0 没有任意 bit 被置位。
-
std::has_single_bit语义清晰，意图明确，无需额外排除 0 的逻辑 - 老写法在
x == 0时需手动加&& x != 0，容易遗漏 - 两者性能几乎一致（现代编译器都会优化成 bsr/bsf + test 或 popcnt == 1），但
std::has_single_bit更安全：它会对非无符号类型触发 SFINAE 或硬错误，提前暴露类型问题
常见误用：传入有符号负数或零扩展错误
比如你有一个 int n = -8，直接调用 std::has_single_bit(n) 看似能过编译，但行为未定义。实际中，-8 在内存中是 0xfffffff8（32 位），其二进制含多个 1，但模板实例化时可能被当作大正数处理，导致结果意外。
- 绝对不要对负的
int直接调用 —— 即使编译通过，也不代表逻辑正确 - 如果原始数据是有符号的，先确认它 ≥ 0，再转无符号：
n >= 0 && std::has_single_bit(static_cast<unsigned>(n))</unsigned> - 对
char或short，注意整型提升：std::has_single_bit(c)实际调用的是int版本，可能扩大范围导致误判（比如char c = 0x80提升为负的int），应显式转成目标无符号类型
在编译期断言和模板约束中的实用例子
这是 std::has_single_bit 最体现价值的地方 —— 把校验逻辑前移到编译期。
template<unsigned n>
struct power_of_two_buffer {
static_assert(std::has_single_bit(N), "N must be a power of two");
char data[N];
};</unsigned>
这样 power_of_two_buffer 合法，power_of_two_buffer 直接编译失败，错误信息明确。
- 搭配
consteval函数也可用于运行时常量检查，但注意：必须确保输入是常量表达式，否则编译报错 - 在
if consteval分支里用它做条件判断，比运行时查表或位运算更直观 - 注意：C++20 标准库实现要求该函数对所有无符号整数类型都可用，但某些旧 STL（如 libstdc++ 12 之前）可能未完全支持，若遇
undefined reference，请升级工具链
真正要注意的是类型安全 —— 它不是万能的“is_power_of_two”黑盒，而是严格意义上的“has exactly one bit set”，所以输入类型和值域必须由你来把关。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
