Boost中还提供了一个仅头文件的库，该库具有处理浮点数据类型的简洁工具

#include <boost/math/special_functions/fpclassify.hpp>

你会得到以下函数:

template <class T> bool isfinite(T z);
template <class T> bool isinf(T t);
template <class T> bool isnan(T t);
template <class T> bool isnormal(T t);

如果你有时间，那么看看Boost的整个数学工具包，它有许多有用的工具，并且正在快速增长。

此外，当处理浮点和非浮点时，查看数字转换可能是一个好主意。

有三种“正式”的方法: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> _

当前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()。

考虑到(x != x)对于NaN并不总是保证的(比如如果使用- fast-math选项)，我一直在使用:

#define IS_NAN(x) (((x) < 0) == ((x) >= 0))

数字不能同时< 0和>= 0，所以实际上只有当数字既不小于也不大于或等于0时，这个检查才会通过。基本上没有数字，或者NaN。

如果你喜欢，你也可以使用这个:

#define IS_NAN(x) (!((x)<0) && !((x)>=0)

我不确定这是如何受到快速数学的影响，所以你的里程可能会有所不同。

在我看来，最好的真正跨平台的方法是使用联合，并测试double的位模式来检查nan。

我还没有彻底测试这个解决方案，可能有一种更有效的方法来处理比特模式，但我认为它应该有效。

#include <stdint.h>
#include <stdio.h>

union NaN
{
    uint64_t bits;
    double num;
};

int main()
{
    //Test if a double is NaN
    double d = 0.0 / 0.0;
    union NaN n;
    n.num = d;
    if((n.bits | 0x800FFFFFFFFFFFFF) == 0xFFFFFFFFFFFFFFFF)
    {
        printf("NaN: %f", d);
    }

    return 0;
}

Boost中还提供了一个仅头文件的库，该库具有处理浮点数据类型的简洁工具

#include <boost/math/special_functions/fpclassify.hpp>

你会得到以下函数:

template <class T> bool isfinite(T z);
template <class T> bool isinf(T t);
template <class T> bool isnan(T t);
template <class T> bool isnormal(T t);

如果你有时间，那么看看Boost的整个数学工具包，它有许多有用的工具，并且正在快速增长。

此外，当处理浮点和非浮点时，查看数字转换可能是一个好主意。