C++里怎么一眼看出一个类型带不带符号？别猜了，用 is_signed 和 is_unsigned

刚写完一段模板代码，编译器突然报错：“static_assert failed: ‘T must be signed’”，而我传进去的明明是 int——它当然有符号啊！可为什么 static_assert(std::is_signed_v<T>, ...) 还是炸了？后来才发现，T 被推导成了 unsigned int……那一刻才真正意识到：类型有没有符号，真不能靠经验“感觉”，得靠标准库给的准绳。

C++ 的 std::is_signed 和 std::is_unsigned 不是语法糖，也不是教学示例里的摆设。它们是编译期就能下结论的“类型法官”，在泛型编程、安全断言、序列化选型甚至嵌入式寄存器映射中，直接决定逻辑分支是否成立。

先说个容易踩的坑：is_signed 和 is_unsigned 只对算术类型（arithmetic types）有明确定义。char 是特例——它的符号性取决于平台，默认可能是 signed char 也可能是 unsigned char；而 char 本身在标准中被单独列为“distinct type”，std::is_signed_v<char> 的值是实现定义的，不可跨平台假设。想稳妥判断 char？得显式转成 signed char 或 unsigned char 再查。

再看一个更隐蔽的问题：bool。很多人直觉认为 bool 非0即1，应该算“无符号”。但标准白纸黑字写着：std::is_signed_v<bool> 为 false，std::is_unsigned_v<bool> 也为 false。bool 既不是 signed，也不是 unsigned——它压根不属于算术类型的符号分类体系。所以，如果你写了个泛型函数，用 if constexpr (is_unsigned_v<T>) { ... } else if constexpr (is_signed_v<T>) { ... }，bool 就会掉进 else 分支的空隙里。这时候得单独加一层 std::is_same_v<T, bool> 判断，或者改用 std::is_integral_v<T> 先兜底。

那实际怎么用？举个硬需求场景：写一个通用的“安全右移”函数。对有符号类型，右移是算术移位（补符号位）；对无符号类型，是逻辑移位（补零）。如果模板参数 T 的符号性不确定，直接 x >> n 可能引发未定义行为（比如负数右移）。正确姿势是：

template<typename T>
constexpr auto safe_right_shift(T x, int n) {
    static_assert(std::is_integral_v<T>, "T must be integral");
    if constexpr (std::is_signed_v<T>) {
        return x >= 0 ? static_cast<std::make_unsigned_t<T>>(x) >> n : /* 处理负数逻辑 */;
    } else {
        return x >> n;
    }
}

这里 std::is_signed_v<T> 不仅是判断，更是编译期分支的开关。没有它，你就得靠文档约定或运行时检查，而后者在 constexpr 上根本走不通。

另一个常被忽略的增量信息：is_signed 和 is_unsigned 对 cv-qualified 类型（如 const int、volatile short）完全透明。std::is_signed_v<const int> 和 std::is_signed_v<int> 结果一致。这点很关键——你在模板里拿到的 T 往往带 const 或 &，但类型特征查的是底层类型，不用手动 std::remove_cv_t。

还有个实用技巧：配合 std::numeric_limits 使用。比如你想为所有有符号整型提供溢出检测包装，可以这样：

template<typename T>
struct checked_int {
    static_assert(std::is_signed_v<T> && std::is_integral_v<T>,
                  "checked_int only supports signed integers");
    // ...
};

比单纯写 std::is_integral_v<T> 更精准，排除了 unsigned long 这类干扰项。

最后提醒一句：别把 is_signed 当作“是否能存负数”的运行时判断。它回答的是“这个类型在语言层面是否定义了负值表示”，和值无关。int x = 5; 是正数，但 std::is_signed_v<decltype(x)> 依然是 true——因为它所属的类型支持负值。

回到开头那个 static_assert 报错。问题不在 is_signed，而在模板实参推导没按你预期走。类型特征库从不撒谎，撒谎的往往是我们的假设。 每次怀疑类型符号性时，少一点“我觉得”，多一行 static_assert(std::is_signed_v<T>)，编译器会立刻告诉你真相。

C++ 的类型系统不是黑箱，而是可触摸、可验证的实体。is_signed 和 is_unsigned 就是你伸进去确认的第一根手指——不靠猜，不靠文档翻页，就靠编译器当场盖章。