std::is_signed是编译期类型特征，返回std::integral_constant而非bool；对浮点类型恒返回false；char的符号性实现定义，跨平台不可靠；需结合std::numeric_limits等综合判断数值行为。
std::is_signed 是编译期判断，不是运行时函数
它本质是类型特征（type trait），返回的是一个 std::integral_constant<bool value></bool> 类型，不是 bool 值。直接用 if (std::is_signed<int>::value)</int> 没问题，但更常见、更安全的写法是取 ::value 成员或用 std::is_signed_v<t></t>（C++17 起）。
- 错误写法：
if (std::is_signed<int>)</int>—— 编译失败，类型不能当布尔值用 - 正确写法（C++11）：
if (std::is_signed<int>::value)</int> - 推荐写法（C++17）：
if (std::is_signed_v<int>)</int> - 模板中匹配有符号类型：用
std::enable_if_t<:is_signed_v>, int> = 0</:is_signed_v>控制重载或特化
std::is_signed 对浮点类型返回 false，但 float/double 有符号
这是最容易误解的一点：std::is_signed 只对整型（char、short、int 等）有意义；对 float、double、long double，标准规定必须返回 false，哪怕它们实际能表示负数。
- 原因：C++ 标准将 “signedness” 限定在整型算术类型（integral arithmetic types），浮点属于“floating-point arithmetic types”，归类不同
- 想统一判断是否能表负？得自己封装：
template<typename t> constexpr bool can_be_negative_v = std::is_signed_v<t> || std::is_floating_point_v<t>;</t></t></typename> - 别依赖
std::is_signed<float>::value</float>做逻辑分支，它恒为false
char 的 signedness 是实现定义的，std::is_signed 不可靠
在大多数 x86/x64 编译器（GCC、Clang、MSVC）上，char 默认等价于 signed char 或 unsigned char 取决于编译选项（如 -fsigned-char），所以 std::is_signed_v<char></char> 可能为 true 或 false，跨平台时行为不一致。
- 安全做法：避免直接对
char用std::is_signed做关键逻辑判断 - 明确意图时，用
signed char或unsigned char替代裸char - 若必须处理字节流且关心符号扩展，优先用
std::byte（C++17）或uint8_t/int8_t - 检查当前平台行为：
static_assert(std::is_same_v<decltype char>); // 但不保证 signed</decltype>
数值处理适配中，别只靠 is_signed，还得看数值范围和溢出语义
判断类型是否有符号只是第一步。真正做数值适配（比如序列化、边界检查、格式化输出）时，std::is_signed 本身不提供最大值、最小值或溢出行为信息。
立即学习“C++免费学习笔记（深入）”；
- 配合使用：
std::numeric_limits<t>::min()</t>和std::numeric_limits<t>::max()</t>才能知道实际可表示范围 - 有符号整型溢出是未定义行为（UB），无符号是回绕（well-defined）——这点比“有没有符号”影响更大
- 示例：把
T x转成字符串时，std::is_signed_v<t></t>决定要不要加负号前缀，但std::to_chars会自动处理，不用手动判 - 做 clamp 操作时，
if (std::is_signed_v<t>) { clamp_to = std::numeric_limits<t>::min(); }</t></t>才算完整
类型特征只是拼图的一块，真正稳住数值逻辑，得把 std::is_signed、std::numeric_limits、底层存储约定（比如二进制补码）和目标场景的语义一起考虑。漏掉任意一环，都可能在边界值上出错。
