添加#pragma GCC optimize("Ofast")后NaN判断行为异常原因咨询

核心原因 #

Ofast是GCC的激进优化选项，它会自动开启-ffast-math编译标志——这个标志的核心是放弃IEEE 754浮点数标准的严格兼容性，优先追求性能。

其中-ffast-math包含一个关键优化假设：程序中的所有浮点数都是有效的实数（非NaN、非无穷大）。基于这个假设，编译器会直接将x == x这类表达式优化为常量true，完全跳过实际的运行时比较操作。这就导致原本应该返回false的NaN自比较，被强制改写为true，最终出现你看到的异常输出。

另外补充一点：sqrt(-2)在默认编译模式下会返回NaN，但-ffast-math也可能改变数学函数的行为（比如对非法输入的处理不再严格遵循IEEE标准），不过这里的主要问题还是自比较的优化逻辑。

正确的NaN检测方式 #

不要依赖自比较来判断NaN，应该使用C++标准库提供的std::isnan函数（需包含<cmath>头文件）。这个函数是专门为检测NaN设计的，即使启用-ffast-math，也能正确识别NaN（多数场景下）。修改后的代码示例：

#pragma GCC optimize("Ofast")
#include <cmath>
#include <iostream>
using namespace std;

int main()
{
  float a = sqrt(2);
  float b = sqrt(-2);

  isnan(a) ? cout << "Its NaN" << endl : cout << "Its a real number" << endl;
  isnan(b) ? cout << "Its NaN" << endl : cout << "Its a real number" << endl;

  return 0;
}

内容的提问来源于stack exchange，提问作者shubhamjr