std::is_unsigned是编译期类型特征，仅判断类型是否为无符号整型，不接受值参数，不可用于运行时数值判断；正确用法是配合decltype或模板参数配合static_assert做类型安全断言。
std::is_unsigned 是编译期判断，不能用于运行时变量
它只对类型起作用，不是用来检查某个 int 变量的值是不是“看起来像无符号数”。比如你传入 static_cast<unsigned int>(-1)</unsigned> 得到的值，std::is_unsigned 依然看的是它的类型——而这个类型是 unsigned int，所以返回 true；但如果你传的是 int x = -1;，哪怕你把它当无符号用，std::is_unsigned<decltype>::value</decltype> 仍是 false。
常见错误现象：
- 把 std::is_unsigned 当成“判断一个数是否为正”或“是否溢出”用
- 在模板外直接写 std::is_unsigned(x)（语法错误，它不接受值）
- 必须配合
decltype或显式类型名使用，例如std::is_unsigned<decltype>::value</decltype> - 在 C++17 起可用简写
std::is_unsigned_v<decltype></decltype> - 它不关心值，只认类型签名：哪怕
char实际存储的是255，只要它是有符号char，结果就是false
位运算前用 std::is_unsigned 做类型安全断言
真正有用的地方，是在模板函数里防止用户误传有符号类型做右移、位掩码等操作。比如实现一个通用的“取低 N 位”函数：
template <typename T>
T low_bits(T x, int n) {
static_assert(std::is_unsigned_v<T>, "low_bits requires unsigned type");
return x & ((T{1} << n) - 1);
}这样当有人调用 low_bits(-5, 3) 且 T 是 int 时，编译直接报错，而不是产生未定义行为（有符号负数左移是 UB）。
- 别用它做运行时分支（比如
if (std::is_unsigned_v<t>) {...}</t>），那是浪费编译期信息 - 配合
static_assert才发挥最大价值：提前拦截危险类型组合 - 注意
char类型陷阱：它可能是signed char或unsigned char，取决于平台；明确需要时应写死unsigned char
和 std::is_integral、std::is_signed 的关系别搞混
std::is_unsigned 不是 !std::is_signed 的等价替换。三者覆盖范围不同：
立即学习“C++免费学习笔记（深入）”；
-
std::is_signed_v<char></char>和std::is_unsigned_v<char></char>可能同时为false（如果char是独立类型） -
std::is_integral_v<bool></bool>是true，但std::is_unsigned_v<bool></bool>也是true（C++ 标准规定bool属于无符号整型） -
std::is_unsigned_v<enum class e></enum>是false，即使底层类型是unsigned int—— 枚举类型不属于算术类型子集
所以别靠“非 signed 即 unsigned”来推导，老老实实用对应 trait。
位运算安全检查不能只靠 std::is_unsigned
它只是第一道门槛。比如右移操作：x >> n 即使 x 是 unsigned，若 n >= bit_width(x)，C++20 前仍是未定义行为（C++20 起定义为 0）。所以还要配合：
- 用
std::numeric_limits<t>::digits</t>获取有效位宽（不含符号位） - 对移位数做运行时裁剪：
n = std::min(n, static_cast<int>(std::numeric_limits<t>::digits))</t></int> - 避免混合类型运算：比如
unsigned int a; int b; auto c = a >> b;—— 这里b会被提升，但逻辑上已脱离类型约束
最易被忽略的一点：std::is_unsigned 对 std::size_t、std::uintptr_t 等可移植类型返回 true，但它们的宽度不固定，位运算逻辑必须依赖 sizeof 或 numeric_limits 动态计算，不能硬编码 32 或 64。
