std::make_signed和std::make_unsigned是编译期类型推导工具，非值转换设施；仅接受cv-unqualified无符号整型，对bool、size_t、引用等非法；需先剥离限定与引用，并约束integral且非bool类型。
std::make_signed 和 std::make_unsigned 不是值转换工具，而是编译期类型推导设施；用错场景或传错类型会直接编译失败，不是运行时问题。
std::make_signed_t 为什么有时编译不过
常见错误现象：error: static assertion failed: make_signed requires a valid unsigned integer type 或 no type named 'type' in 'struct std::make_signed。
根本原因不是“写法不对”，而是模板实参不满足约束：
-
std::make_signed只接受无符号整型（如unsigned int、uint16_t），对bool、size_t、const int、int&均不合法 - 传入
const int会触发 SFINAE 失败，因为 trait 要求类型是 cv-unqualified 的整型 - 传入
char行为虽定义（std::make_signed总是::type signed char），但若平台默认char有符号，再转回可能掩盖符号歧义
安全写法：统一先剥离限定和引用：std::make_signed_t<:remove_cvref_t>>（C++20）或 std::make_signed_t<:remove_cv_t>>>（C++17）。
std::make_unsigned_t 能不能用来“安全转无符号值”
不能。它只做类型映射，不处理值语义。
典型误用：auto u = std::make_unsigned_t —— 这行代码合法，但结果是 UINT_MAX，属于隐式模运算，极易引入逻辑 bug。
正确分工：
- 需要“确定某整型变量对应的无符号类型” → 用
std::make_unsigned_t - 需要“把当前有符号值转成等价无符号表示” → 先判断非负，再
static_cast<:make_unsigned_t>>(x) - 需要“位级 reinterpret”（如协议解析中把
int32_t当作 4 字节位模式操作）→ 直接static_cast，别绕路用(x) std::make_unsigned
特别注意：对 char 类型，std::make_unsigned_t 得到的是 unsigned char，但若原 char c = '\xFF' 在有符号平台上是 -1，直接 cast 会变成 255 —— 这是否符合业务意图，必须由你明确决定，trait 不替你判断。
模板泛化中怎么避免 make_signed/make_unsigned 编译失败
核心原则：不盲目转发类型，先做约束检查。
常见错误是写一个泛型函数，直接对任意 T 调用 std::make_signed_t，结果遇到 float 或 std::string 就崩。
推荐做法（C++20）：
template <typename t>
requires std::is_integral_v<:remove_cvref_t>> && !std::is_same_v<bool std::remove_cvref_t>>
using signed_type_of = std::make_signed_t<:remove_cvref_t>>;</:remove_cvref_t></bool></:remove_cvref_t></typename>
更兼容的 SFINAE 写法（C++17）：
template <typename t typename="std::enable_if_t<" std::is_integral_v>> &&
!std::is_same_v<bool std::remove_cvref_t>>
>>
using signed_type_of = std::make_signed_t<:remove_cvref_t>>;</:remove_cvref_t></bool></typename>
关键点：必须同时过滤掉 bool（标准明确排除）和 cv/ref 修饰；仅靠 std::is_unsigned_v 不够，因为 std::make_signed 输入要求是“无符号整型”，而输出才是“对应有符号型”——别把输入和用途搞反。
最易被忽略的一点：这些 trait 的行为依赖于目标平台的整型宽度布局。比如 std::make_signed 在 Windows x64 上通常失败，因为 size_t 是 64 位，但 long 是 32 位，long long 虽是 64 位却未必被选为“对应有符号型”。这种平台相关性不会报运行时错，但会在不同编译器/ABI 下静默失效。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
