应使用 std::isnan 判断 nan,它在 c++11 的 中定义,安全可靠;而 x != x 在 -ffast-math 等优化下可能被误删,且可读性差、易被静态分析工具误报。

用 std::isnan 是最直接可靠的方式
标准库提供了专门用于判断 NaN 的函数,不需要自己造轮子或依赖位操作。C++11 起,std::isnan 在 <cmath></cmath> 中声明,接受 double、float 或 long double,返回 bool。
它比手动比较 x != x 更安全:后者在开启某些编译器优化(如 -ffast-math)时可能被优化掉,导致永远返回 false;而 std::isnan 是明确的语义调用,不受此类优化影响。
示例:
#include <cmath>
#include <iostream><p>int main() {
double x = std::nan("");
std::cout </p>
<h3>为什么不能用 <code>x == x</code> 或 <code>x != x</code> 判断</h3>
<p>虽然 IEEE 754 规定 NaN 不等于任何值(包括自身),所以 <code>x != x</code> 对 NaN 成立,但这个技巧有明显缺陷:</p>
<ul>
<li>编译器在启用 <code>-ffast-math</code>(GCC/Clang)或 <code>/fp:fast</code>(MSVC)时,会假设浮点运算满足数学等价性,从而把 <code>x != x</code> 当作永假表达式优化掉</li>
<li>代码可读性差,新成员看到 <code>if (x != x)</code> 很难第一时间理解意图</li>
<li>静态分析工具(如 clang-tidy)可能报出“自比较总是为假”的警告</li>
</ul>
<h3>注意 <code>std::nan</code> 和平台兼容性</h3>
<p>如果你需要构造一个 NaN 值来测试或初始化,<code>std::nan("")</code> 是标准方式,但它依赖于平台是否支持 quiet NaN 的字符串解析。实际使用中需留意:</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master"><img
src="https://img.php.cn/upload/skill/000/000/081/179051228971575.jpg" alt="C++ Code Review Master" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="overflowclass">C++ Code Review Master</a>
<p class="overflowclass">组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。</p>
</div>
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<ul>
<li>部分嵌入式平台或旧 libc 实现可能未完全支持 <code>std::nan</code>,此时可改用 <code>std::numeric_limits<double>::quiet_NaN()</double></code>
</li>
<li>
<code>std::nan("0x123")</code> 这类带参数的调用,在某些系统上可能返回 0.0 而非 NaN,不推荐依赖</li>
<li>若需跨平台稳定构造 NaN,优先选 <code>std::numeric_limits<double>::quiet_NaN()</double></code>
</li>
</ul>
<h3>NaN 判断必须在计算后立即做,别等它传播</h3>
<p>浮点运算中一旦出现 NaN,它会像病毒一样传播:任何与 NaN 的算术运算结果仍是 NaN。但你往往只关心“源头是否出错”,而不是“最终结果是不是 NaN”。</p>
<p>例如:</p>
<pre class="brush:php;toolbar:false;">double a = sqrt(-1.0); // 可能是 NaN(取决于 math 库和编译选项)
double b = log(a); // 即使 a 是 NaN,log(NaN) 还是 NaN
double c = b * 2.0; // 依然 NaN
这时候如果只在最后检查 c,就丢失了问题发生的具体位置。真正有用的判断,是在每个可能产生 NaN 的操作之后立刻检查输入或输出。
容易被忽略的是:有些数学函数(如 sqrt、log、asin)在定义域外并不一定返回 NaN —— 它可能触发浮点异常、返回特殊值(如 -HUGE_VAL),或由编译器内建函数静默处理。是否返回 NaN,还取决于编译器、math 库实现、以及是否启用了 errno 或 FE_INVALID 检测。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










