std::numeric_limits::max()和min()返回意外值的根本原因是仅对标准特化类型有效：bool的极值语义非数值，char依赖平台符号性，非算术类型未特化则行为未定义，浮点max()仅为最大有限值而非INF。
std::numeric_limits::max() 和 min() 为什么有时返回意外值？
直接调用 std::numeric_limits<int>::max()</int> 没问题，但对 bool、char（尤其未指定 signed/unsigned）、或自定义类型会出错。根本原因是：只有特化了的类型才提供有效定义，而标准只显式特化了内建算术类型（如 int、double），bool 的 min() 是 false，max() 是 true，但语义上不是“数值极值”；char 则依赖编译器默认符号性——若平台 char 是 unsigned，std::numeric_limits<char>::min()</char> 返回 0，否则返回 -128。
- 用前先确认类型是否被标准特化：
std::numeric_limits<t>::is_specialized</t>必须为true，否则行为未定义 - 避免裸写
char，明确使用signed char或unsigned char -
std::numeric_limits<:string>::max()</:string>编译失败——它不支持非算术类型
float/double 的最大值不是“能表示的最大数”，而是最大有限值
std::numeric_limits<float>::max()</float> 返回的是最大**有限**浮点数（约 3.40282e+38），不是 INFINITY。它和 std::numeric_limits<float>::infinity()</float> 是两回事。实际中容易混淆：比如做边界检查时误以为 max() 能兜住溢出，其实一旦计算结果超过该值，就变成 inf 或 nan，后续比较可能失效。
- 判断是否溢出，优先用
std::isfinite(x)而非x ::max() - 需要无穷大语义时，直接用
std::numeric_limits<t>::infinity()</t>，不要手写1e300f这类 magic number -
std::numeric_limits<double>::lowest()</double>返回最小**负数**（-DBL_MAX），不是最小正数；最小正数是std::numeric_limits<t>::min()</t>（对浮点是 DBL_MIN）
模板编程中怎么安全提取类型的极值？
泛型函数里不能无条件写 std::numeric_limits<t>::max()</t>，因为 T 可能是 std::vector<int></int> 或用户自定义类。必须加 SFINAE 或 C++20 concept 约束。
- C++17 推荐用
constexpr if分支：if constexpr (std::numeric_limits<T>::is_specialized && std::numeric_limits<T>::is_arithmetic) { return std::numeric_limits<T>::max(); } else { static_assert(false, "T must be arithmetic"); } - 别依赖
std::numeric_limits<t>::digits</t>计算位宽——对float它返回有效位数（24），不是总位数（32） - 结构体字段取极值？不行。必须是完整类型，
std::numeric_limits<decltype>::max()</decltype>才合法
替代方案：C++23 引入的 std::to_underlying 和宏常量还值得用吗？
不用。对于整型枚举，std::numeric_limits 依然最可靠；INT_MAX 等宏只适用于固定类型（int、long），无法泛型化，且不覆盖 char、short 等窄类型。C++23 的 std::to_underlying 解决的是枚举转底层类型问题，和极值无关。
立即学习“C++免费学习笔记（深入）”；
- 跨平台代码中，永远优先用
std::numeric_limits<t>::max()</t>，而不是0x7FFFFFFF或std::pow(2, 31) - 1 - 注意
std::numeric_limits<t>::max()</t>是constexpr，可作数组维度、模板参数，但std::numeric_limits<t>::quiet_NaN()</t>在某些旧编译器上不是常量表达式 - 调试时打印极值，用
std::cout ::max()即可，无需额外格式化
最易忽略的一点：std::numeric_limits<t>::is_signed</t> 对浮点类型返回 true，但它的符号性与整型不同——浮点有 -0 和 +0，且 min()/lowest() 含义不同。别想当然套用整型直觉。
