std::numeric_limits是C++中用于查询数据类型属性和极限值的模板类，定义于<limits>头文件。它可获取算术类型的最大值max()、最小值min()、最低值lowest()、精度epsilon()、无穷大infinity()及NaN值，支持判断类型是否为有符号、整数、浮点、精确表示等特性，常用于跨平台代码和模板编程中安全初始化与类型判断，避免硬编码，提升可移植性和健壮性。
std::numeric_limits 是 C++ 标准库中一个非常实用的模板类，定义在 <limits> 头文件中，用于查询各种算术数据类型的属性和极限值。它帮助程序员在编写跨平台、可移植代码时，准确了解当前系统上特定类型所能表示的范围和特性。
1. 基本用途：获取类型的数值限制
通过 std::numeric_limits<T>，你可以查询任意算术类型 T 的最大值、最小值、是否支持特殊值（如无穷大、NaN）等信息。
常见查询包括：
- max()：返回该类型能表示的最大值
- min()：返回该类型能表示的最小值（对整型是有符号最小值，浮点则是正最小值）
- lowest()：返回能表示的最小有限值（适用于浮点，比 min() 更准确）
- epsilon()：浮点类型的精度误差上限，用于比较浮点数是否“相等”
- infinity()：返回正无穷大的表示（仅对支持无穷的浮点类型有效）
- quiet_NaN() 和 signaling_NaN()：返回 NaN 值
#include <iostream>
#include <limits>
int main() {
std::cout << "int 最大值: " << std::numeric_limits<int>::max() << "\n";
std::cout << "int 最小值: " << std::numeric_limits<int>::min() << "\n";
std::cout << "double 最大值: " << std::numeric_limits<double>::max() << "\n";
std::cout << "double 最小正数: " << std::numeric_limits<double>::min() << "\n";
std::cout << "double 精度误差: " << std::numeric_limits<double>::epsilon() << "\n";
}
2. 查询类型特性：判断类型行为
除了极限值，std::numeric_limits 还提供一系列静态常量，用于判断类型的特性，这对模板编程特别有用。
立即学习“C++免费学习笔记（深入）”；
常用布尔特性的静态成员：
- is_signed：类型是否为有符号
- is_integer：是否为整数类型
- is_floating_point：是否为浮点类型
- is_exact：是否精确表示（整型是，浮点不是）
- has_infinity：是否支持无穷大
- has_quiet_NaN：是否支持静默 NaN
- radix：表示基数（通常是 2 或 10）
- digits：有效数字位数（二进制位数）
- digits10：能精确表示的十进制位数
if (std::numeric_limits<double>::has_infinity) {
auto inf = std::numeric_limits<double>::infinity();
std::cout << "支持无穷大: " << inf << "\n";
}
if (std::numeric_limits<double>::has_quiet_NaN) {
auto nan = std::numeric_limits<double>::quiet_NaN();
std::cout << "NaN 值: " << nan << "\n"; // 输出通常为 "nan"
}
3. 在模板编程中的实际应用
std::numeric_limits 常用于泛型代码中，根据类型不同执行不同逻辑。例如实现一个安全的比较函数或初始化极值变量。
典型场景：找出容器中元素类型的理论最大值作为初始比较值
template <typename T>
T safe_max(const std::vector<T>& vec) {
if (vec.empty()) {
return T{}; // 返回默认值
}
T result = std::numeric_limits<T>::lowest(); // 安全初始化为最小值
for (const auto& val : vec) {
if (val > result) result = val;
}
return result;
}
这里使用 lowest() 而不是 min()，因为对于浮点类型，min() 返回的是最小正正规数，而 lowest() 才是真正的最小值（如 -DBL_MAX）。
4. 注意事项与常见误区
- 调用成员函数前要确保类型支持该特性，比如对 int 调用 infinity() 会返回 0
- min() 对浮点类型返回的是最小正正规数，不是负最大值，应使用 lowest() 获取最小可表示值
- 所有值都是编译期常量，可用于 constexpr 上下文
- 自定义类型需特化 std::numeric_limits 才能使用
基本上就这些。std::numeric_limits 提供了一种标准、安全、可移植的方式来访问类型限制和属性，避免了硬编码数值（如 INT_MAX），提升了代码健壮性和可读性。尤其在处理浮点运算、边界检查、模板元编程时，它是不可或缺的工具。
