std::numeric_limits 是 c++ 标准库中定义在 头文件中的模板类，用于静态获取算术类型的数值边界和属性，如 min()、max()、lowest()、digits、is_signed 等，所有成员均为 constexpr 静态成员，须通过 std::numeric_limits::member 形式访问。
std::numeric_limits 是什么，它能查哪些值
它不是函数，是 C++ 标准库里一个模板类，专门用来静态获取任意算术类型（比如 int、double、unsigned long long）的数值边界和属性。你不能“调用”它，只能用作用域解析符读它的静态成员。
常见可查值包括：min()、max()、lowest()（对浮点数更合理）、digits（有效位数）、is_signed（是否带符号）等。注意：min() 对浮点类型返回的是**最小正正规数**，不是负最大值；负最大值得用 -max() 或 lowest()。
怎么写才不编译报错
最常踩的坑是忘了加 std:: 前缀或没包含头文件。它定义在 <limits></limits> 里，且所有成员都是静态的，必须通过 :: 访问。
- 必须写
#include <limits></limits>，漏掉就直接Error: 'numeric_limits' was not declared in this scope - 必须写
std::numeric_limits<int>::max()</int>，不能写成numeric_limits<int>().max()</int>（它不是对象） - 类型参数必须是具体类型，不能是变量或 auto：
std::numeric_limits<decltype>::max()</decltype>可以，但std::numeric_limits<t>::max()</t>在非模板上下文中会报错
示例：
立即学习“C++免费学习笔记（深入）”；
int main() { constexpr auto imax = std::numeric_limits<int>::max(); // ✅ 正确 constexpr auto fmin = std::numeric_limits<Float>::lowest(); // ✅ 浮点最小值（含负） return 0; }int 和 unsigned int 的 min/max 为什么不一样
因为语义不同：int 是有符号整型，min() 返回 INT_MIN（通常是 -2147483648）；而 unsigned int 是无符号，min() 就是 0，max() 是 UINT_MAX（通常是 4294967295）。混淆这两者会导致逻辑错误，比如用 std::numeric_limits<int>::min()</int> 当作“能表示的最小非负数”来用。
-
std::numeric_limits<int>::min()</int>→ 负数 -
std::numeric_limits<unsigned int>::min()</unsigned>→0 -
std::numeric_limits<float>::min()</float>→ 最小正正规浮点数（如 1.17549e-38），不是负数 -
std::numeric_limits<float>::lowest()</float>→ 最小可表示值（如 -3.40282e+38）
constexpr 和运行时调用的区别
所有 std::numeric_limits 的静态成员（包括 min()、max()）都是 constexpr，意味着它们在编译期就能确定。这带来两个实际影响：
- 可以用于数组大小、模板非类型参数、
static_assert等需要编译期常量的地方 - 不会产生任何运行时开销——它不是函数调用，只是取一个已知常量
- 但别试图对它取地址或绑定引用：比如
auto& ref = std::numeric_limits<int>::max;</int>是非法的，因为它是静态成员函数，不是变量
典型安全用法：
static_assert(std::numeric_limits<short>::digits >= 15, "short too small"); int arr[std::numeric_limits<unsigned char>::max() + 1]; // ✅ 合法数组长度真正容易被忽略的是浮点类型的 min() 和 lowest() 差异，以及无符号类型 min() 恒为 0 这一事实——这两点在边界检查和序列生成逻辑里一旦写反，调试起来非常隐蔽。