最直接跨平台判断浮点数是否为无穷大的方式是使用C++11起标准化的std::isinf，它定义在<cmath>中，适用于float、double和long double，仅判断±∞而不区分正负。
用 std::isinf 判断浮点数是否为无穷大
最直接、跨平台的方式是调用 std::isinf，它定义在 <cmath> 中，适用于 float、double 和 long double。
注意：它只判断是否为 ±∞，不区分正负；若需区分，可额外配合符号判断：
#include <cmath>
#include <iostream>
<p>double x = std::numeric_limits<double>::infinity();
if (std::isinf(x)) {
std::cout << "x 是无穷大\n";
if (x > 0) std::cout << "且为正无穷\n";
else std::cout << "且为负无穷\n";
}-
std::isinf在 C++11 起标准化，旧编译器（如某些 C++98 环境）可能不支持，此时可退回到fpclassify或宏判断 - 传入非浮点类型（如
int）会触发隐式转换，但结果不可靠，务必确保参数是浮点类型 - 对
NaN返回false，这点和std::isnan互补，别混淆
用 fpclassify 区分无穷大、NaN 和正常值
当需要统一分类浮点状态（比如同时处理 ∞、NaN、零、次正规数），fpclassify 更灵活，它返回整型分类常量：
#include <cmath>
#include <iostream>
<p>double x = -std::numeric_limits<double>::infinity();
switch (fpclassify(x)) {
case FP_INFINITE: std::cout << "无穷大\n"; break;
case FP_NAN: std::cout << "NaN\n"; break;
case FP_ZERO: std::cout << "零\n"; break;
case FP_SUBNORMAL: std::cout << "次正规数\n"; break;
case FP_NORMAL: std::cout << "正规浮点数\n"; break;
}-
fpclassify同样来自<cmath>，C++11 起可用，但语义更接近 C 标准，兼容性略好于std::isinf的早期实现 - 不要直接比较
fpclassify(x) == FP_INFINITE来判断——某些平台（尤其老 MSVC）可能把FP_INFINITE定义为宏组合，建议用==比较是安全的，但避免位运算误用 - 它不依赖 IEEE 754 实现细节，但在非 IEEE 平台（极少见）行为未定义
避免用 == 或 != 直接比较 INFINITY
有人试图写 x == INFINITY，这看似直观，但有隐患：
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
INFINITY是宏，定义在<cmath>或<ctgmath>，某些编译器（如早期 GCC + -ffast-math）可能禁用该宏或优化掉比较 - 对
float类型，应使用INFINITYF或std::numeric_limits<float>::infinity()，混用类型会导致隐式转换和意外结果 - 即便能编译通过，
x == INFINITY在部分嵌入式平台或严格浮点模式下可能被优化为恒假
更稳妥的做法是始终走标准库函数路径，而不是依赖宏展开后的字面值比较。
构造无穷大的常见方式及验证场景
实际开发中，无穷大通常不是手动赋值，而是计算溢出或显式构造产生：
- 除零：如
1.0 / 0.0→INFINITY（仅当开启浮点异常屏蔽，否则可能 SIGFPE） - 溢出：如
std::numeric_limits<double>::max() * 2.0→INFINITY - 显式构造：
std::numeric_limits<double>::infinity()是最推荐的可读写法
测试时别只验正无穷，负无穷同样常见（如 -1.0 / 0.0 或 -std::numeric_limits<double>::max() * 2.0），std::isinf 对两者都返回 true。
真正容易被忽略的是：在模板代码里泛化处理时，std::isinf 不是 constexpr（C++23 前），无法用于编译期判断；若需编译期检查无穷大，只能靠 std::numeric_limits<T>::has_infinity 配合静态断言，而不能真正判值。
