std::make_signed 仅对整型类型有效，浮点类型和 bool 会编译失败；它只做编译期类型映射，不处理值转换或安全检查，char 特例始终映射为 signed char。
std::make_signed 对浮点类型直接报错
它只对整型类型有效，传 float、double 或 long double 会触发编译失败，错误信息类似：static_assert failed due to requirement 'is_integral_v<t>'</t>。这不是 bug，是标准明确限制——浮点数没有“有符号对应类型”这个概念，它本来就有符号位。
常见误用场景：把用户输入的 auto x = get_value(); 直接塞给 std::make_signed<decltype>::type</decltype>，结果模板实例化失败。
- 只对
char、short、int、long、long long及其unsigned版本合法 -
char是特例：它可能等价于signed char或unsigned char，取决于平台；std::make_signed<char>::type</char>总是signed char - 对
bool同样不合法——is_integral_v<bool></bool>为 true，但标准特化中排除了bool
std::make_signed 不改变值，只改类型
它不参与运行时计算，纯编译期类型映射。比如 std::make_signed<unsigned int>::type</unsigned> 就是 int，仅此而已。想把 unsigned int u = 4294967295U 转成有符号值？不能靠它自动“解释”，必须显式转换：
unsigned int u = 4294967295U; int s = static_cast<int>(u); // 溢出，结果未定义（通常为 -1） 这和 std::make_signed 无关，它只管类型，不管值安全。
立即学习 “C++ 免费学习笔记（深入）”；
- 类型映射是恒等的：对已是有符号类型，如
int，std::make_signed<int>::type</int>还是int - 对
unsigned char，结果是signed char；但两者大小相同，转换时需注意截断或符号扩展 - 不要指望它帮你做安全数值转换——那是
std::clamp、std::bit_cast或手动范围检查的事
跨平台时注意 char 的 signedness 差异
某些嵌入式平台默认 char 是 unsigned，而 x86-64 Linux 默认是 signed。这时 std::make_signed<char>::type</char> 在两边都稳定为 signed char，但如果你写了 char c = -1; 再用 std::make_signed<decltype>::type</decltype>，实际类型可能是 signed char 或 char（取决于 char 是否已被视为有符号），容易引发隐式类型混淆。
- 显式使用
signed char或unsigned char更可靠，避免依赖char的默认符号性 - 若必须泛化处理，用
std::is_signed_v<decltype></decltype>先判断，再决定是否调用std::make_signed - Clang/GCC 加
-fsigned-char或-funsigned-char可强制统一，但影响全局，慎用
