std::numeric_limits 是 C++ 标准库中定义在 <limits> 中的模板类，用于类型安全地获取任意数值类型的极值；它比 INT_MAX 等宏更通用，支持自定义类型和编译期计算。
numeric_limits 是什么，为什么不能直接写 INT_MAX
std::numeric_limits 是 C++ 标准库中用于查询类型属性的模板类，定义在 <limits> 头文件里。它比宏（如 INT_MAX、FLT_MIN）更通用、更类型安全：宏只对内置整型/浮点固定有效，而 numeric_limits<T>::max() 可用于任何满足要求的自定义数值类型（比如自己写的 FixedPoint<16>），也支持模板编程。
基本用法：获取内置类型的极值
必须显式指定模板参数，并调用静态成员函数。注意：所有值都是 constexpr，可直接用于编译期计算。
#include <limits>
#include <iostream>
int main() {
std::cout << "int max: " << std::numeric_limits<int>::max() << "\n";
std::cout << "int min: " << std::numeric_limits<int>::min() << "\n";
std::cout << "double lowest: " << std::numeric_limits<double>::lowest() << "\n"; // 非零最小负值
std::cout << "float epsilon: " << std::numeric_limits<float>::epsilon() << "\n"; // 1.0 可表示的最小增量
}
-
::min()对有符号整型返回最负值（如INT_MIN），对浮点返回**正的最小正规数**（即最小正数） -
::lowest()对浮点才真正返回**最小可能值**（即最大负值），这是容易混淆的关键点 -
::max()对所有算术类型都返回最大可表示值 - 无符号类型（如
unsigned int）的::min()恒为 0
常见错误：忘记包含头文件或写错模板语法
两个高频报错：
- 未包含
<limits>→ 编译失败，提示numeric_limits未声明 - 写成
numeric_limits::max()（漏掉<T>）→ 编译器报 “expected a type” 或 “template argument list must follow template name” - 对非数值类型（如
std::string）实例化 → 编译失败，因为特化不存在
正确写法只有这一种形式：std::numeric_limits<T>::xxx()，其中 T 必须是算术类型（int、long double、char 等）或已为该类型提供了 numeric_limits 特化的类。
立即学习“C++免费学习笔记（深入）”；
和 C 宏对比：什么时候该用哪个？
优先用 numeric_limits，除非你明确需要 C 兼容性或在 C 头文件上下文中（如 <stdint.h>）。两者的值通常一致，但行为有细微差别：
-
INT_MAX来自<climits>，是 C 标准宏，不依赖模板，但无法泛化 -
std::numeric_limits<int>::max()是 C++ 原生机制，支持 SFINAE、constexpr if、概念约束等现代特性 - 对
char类型要小心：其有符号性由实现定义，std::numeric_limits<char>::min()可能是 0 或 -128；而CHAR_MIN宏的行为与之保持一致，但语义更隐晦
如果你在写模板函数处理任意数值类型，numeric_limits 是唯一可靠选择；硬编码宏会直接让模板失效。
