C++里怎么“摸清”一个浮点数的底细？isnan、isinf、isfinite 实战手记

写C++时，你有没有遇到过这样的情况：函数返回一个 double，但调用方传进来的是 0.0 / 0.0，结果程序悄无声息地崩在后续除法上？或者日志里突然冒出个 1.#INF，查半天才发现是某次迭代中累加了溢出的中间值？
浮点数不是整数——它自带“身份不确定性”。NaN、±Inf、正常数、零，表面都是 double，内里却是四类截然不同的“物种”。靠 == 或 != 判断？那等于用体温计量气压。

C++标准库早替我们备好了三把小刀：std::isnan、std::isinf、std::isfinite。它们不造数据，只做一件事：看一眼，就认出这个浮点数到底属于哪一类。

先划重点：这三个函数都定义在 <cmath> 中，参数是 float/double/long double，返回 bool。别用宏（如旧式 _isnan），也别手动比较 x != x——那是教科书里的“技巧”，不是工程里的解法。

std::isnan(x) 是唯一能稳稳揪出 NaN 的函数。为什么？因为 NaN 有个反直觉特性：它不等于任何值，包括它自己。所以 x == x 为假，确实能检测 NaN——但这是副作用，不是契约。而 std::isnan 是语义明确、跨平台、编译器优化友好的正统路径。实测中，某些 ARM 架构下 x != x 可能被优化掉，std::isnan 却始终可靠。

std::isinf(x) 专治无穷大。注意：它对 +Inf 和 -Inf 都返回 true，不区分正负。如果你需要区分，得额外判断 x > 0 或 x < 0。常见陷阱是误以为 isinf(0.0) 会返回 true——不会。零是有限的，isinf(0.0) 返回 false，isfinite(0.0) 才返回 true。

说到 std::isfinite(x)，它是三者中最“低调”的一个，却最常被忽略。它的逻辑很干净：当且仅当 x 既不是 NaN，也不是 ±Inf 时，返回 true。换句话说，它把“合法数值”这个概念具象化了——包括正负零、正常浮点数、次正规数（denormals）。很多算法入口校验，一句 if (!std::isfinite(x)) return error; 比堆砌一堆 if (isnan || isinf || x == 0) 更简洁、更少漏判。

实际编码中，这三个函数常以“守门员”姿态出现。比如做数值积分前检查输入区间端点：

double integrate(double a, double b, std::function<double(double)> f) {
    if (!std::isfinite(a) || !std::isfinite(b)) {
        throw std::invalid_argument("Integration bounds must be finite");
    }
    // 后续计算...
}

再比如处理传感器数据流：某次采样可能因硬件异常返回 NaN，直接参与平均会导致整个结果污染。这时加一层过滤：

std::vector<double> clean_readings;
for (double v : raw_data) {
    if (std::isfinite(v)) {  // 一招过滤 NaN 和 Inf
        clean_readings.push_back(v);
    }
}

值得提一句冷知识：std::isfinite 在 C++11 中才成为标准，但几乎所有现代编译器（GCC 4.8+、Clang 3.2+、MSVC 2013+）都支持。如果你还在维护 C++98 项目，#include <cmath> 后可用 _finite（Windows）或 isfinite()（POSIX 系统），但请优先升级标准——省去条件编译的麻烦。

还有一个容易被低估的场景：调试时快速定位异常值。与其在 GDB 里反复打印 p/x x 看比特位，不如临时加一行：

if (!std::isfinite(x)) {
    std::cerr << "Busted at line " << __LINE__ 
              << ": x = " << x << " (isnan=" << std::isnan(x) 
              << ", isinf=" << std::isinf(x) << ")\n";
}

输出一目了然，比翻 IEEE 754 标准文档快十倍。

最后提醒一个硬核细节：这三个函数对 float 和 double 都有效，但不要对整数类型强转后调用。比如 std::isnan(0) 编译不过（类型不匹配），而 std::isnan(static_cast<double>(0)) 虽然能过，但毫无意义——整数零永远是有限的。它们只该用于真正可能携带特殊值的浮点计算路径。

浮点数的世界没有“默认安全”。isnan、isinf、isfinite 不是锦上添花的装饰函数，而是你在数值代码里必须系上的安全带。它们不解决算法问题，但能让你第一时间知道——车轮是不是已经悬空。下次看到 nan 或 inf 出现在日志里，别急着翻源码，先问问自己：这地方，我有没有让这三个函数站好岗？