有三种“正式”的方法:posix isnan宏，c++0x isnan函数模板，或visual c++ _isnan函数。

不幸的是，要检测使用哪一种是相当不切实际的。

不幸的是，没有可靠的方法来检测是否有IEEE 754表示的nan。标准库提供了一种正式的方法(numeric_limits<double>::is_iec559)。但在实践中，g++之类的编译器会搞砸这一点。

理论上，我们可以简单地使用x != x，但g++和visual c++之类的编译器却搞砸了。

因此，最后，测试特定的NaN位模式，假设(并希望在某些时候强制执行!)一个特定的表示，例如IEEE 754。

编辑:作为一个“像g++这样的编译器……搞砸了”的例子，考虑一下

#include <limits>
#include <assert.h>

void foo( double a, double b )
{
    assert( a != b );
}

int main()
{
    typedef std::numeric_limits<double> Info;
    double const nan1 = Info::quiet_NaN();
    double const nan2 = Info::quiet_NaN();
    foo( nan1, nan2 );
}

使用g++ (TDM-2 mingw32) 4.4.1编译:

C:\test> type "C:\Program Files\@commands\gnuc.bat"
@rem -finput-charset=windows-1252
@g++ -O -pedantic -std=c++98 -Wall -Wwrite-strings %* -Wno-long-long

C:\test> gnuc x.cpp

C:\test> a && echo works... || echo !failed
works...

C:\test> gnuc x.cpp --fast-math

C:\test> a && echo works... || echo !failed
Assertion failed: a != b, file x.cpp, line 6

This application has requested the Runtime to terminate it in an unusual way.
Please contact the application's support team for more information.
!failed

C:\test> _

如上所述，a != a在g++和其他一些编译器中不起作用，但这个技巧应该起作用。它可能没有那么高效，但它仍然是一种方法:

bool IsNan(float a)
{
    char s[4];
    sprintf(s, "%.3f", a);
    if (s[0]=='n') return true;
    else return false;
}

基本上，在g++中(虽然我不确定其他)printf在%d或%上打印'nan'。如果变量不是有效的整数/浮点数，则格式为F。因此，这段代码检查字符串的第一个字符是否为“n”(如“nan”)

inline bool IsNan(float f)
{
    const uint32 u = *(uint32*)&f;
    return (u&0x7F800000) == 0x7F800000 && (u&0x7FFFFF);    // Both NaN and qNan.
}

inline bool IsNan(double d)
{
    const uint64 u = *(uint64*)&d;
    return (u&0x7FF0000000000000ULL) == 0x7FF0000000000000ULL && (u&0xFFFFFFFFFFFFFULL);
}

如果sizeof(int)为4,sizeof(long long)为8，则此方法有效。

在运行时，它只是比较，类型转换不需要任何时间。它只是改变比较标志配置来检查是否相等。

您可以使用在limits标准库中定义的numeric_limits<float>::quiet_NaN()进行测试。double有一个单独的常数。

#include <iostream>
#include <math.h>
#include <limits>

using namespace std;

int main( )
{
   cout << "The quiet NaN for type float is:  "
        << numeric_limits<float>::quiet_NaN( )
        << endl;

   float f_nan = numeric_limits<float>::quiet_NaN();

   if( isnan(f_nan) )
   {
       cout << "Float was Not a Number: " << f_nan << endl;
   }

   return 0;
}

我不知道这是否适用于所有平台，因为我只在Linux上用g++进行了测试。

第一个解决方案:如果您使用c++ 11

既然问了这个问题，就有了一些新的发展:重要的是要知道std::isnan()是c++ 11的一部分

剧情简介

在header <cmath>中定义

bool isnan( float arg ); (since C++11)
bool isnan( double arg ); (since C++11)
bool isnan( long double arg ); (since C++11)

确定给定的浮点数参数是否为非数字(NaN)。

参数

参数:浮点值

返回值

如果arg是NaN则为true，否则为false

参考

http://en.cppreference.com/w/cpp/numeric/math/isnan

请注意，如果您使用g++，这与-fast-math不兼容，请参阅下面的其他建议。

其他解决方案:如果你使用非c++ 11兼容的工具

对于C99，在C中，这是作为一个返回int值的宏isnan(C)实现的。x的类型应为float, double或long double。

不同的供应商可能包含或不包含函数isnan()。

检查NaN的可移植方法是使用IEEE 754属性，即NaN不等于自身:即x == x对于x是NaN将为假。

然而，最后一个选项可能不适用于每个编译器和某些设置(特别是优化设置)，所以在最后的手段，你总是可以检查位模式…

当前c++标准库中没有可用的isnan()函数。它是在C99中引入的，并被定义为宏而不是函数。C99定义的标准库元素既不是当前c++标准ISO/IEC 14882:1998的一部分，也不是更新版ISO/IEC 14882:2003的一部分。

2005年提出了技术报告1。TR1为c++带来了与C99的兼容性。尽管它从未被正式采用成为c++标准，但许多实现(GCC 4.0+或Visual c++ 9.0+ c++实现)确实提供了TR1特性，全部或仅部分(Visual c++ 9.0不提供C99数学函数)。

如果TR1可用，那么cmath包含C99元素，如isnan()， isfinite()等，但它们被定义为函数，而不是宏，通常在std:: TR1:: namespace中，尽管许多实现(例如Linux上的GCC 4+或Mac OS X 10.5+上的XCode)将它们直接注入std::，因此std::isnan定义良好。

此外，c++的一些实现仍然使C99 isnan()宏对c++可用(通过cmath或math.h包含)，这可能会引起更多的混淆，开发人员可能认为这是一种标准行为。

关于visualc++的一个注意事项，如上所述，它不提供std::isnan，也不提供std::tr1::isnan，但它提供了一个定义为_isnan()的扩展函数，该扩展函数自visualc++ 6.0以来一直可用

在XCode中，有更多的乐趣。如前所述，GCC 4+定义了std::isnan。对于旧版本的编译器和库形式的XCode，似乎(这里是相关的讨论)，还没有机会检查自己)定义了两个函数，Intel上的__inline_isnand()和Power PC上的__isnand()。