c++ - IEEE754的C++静态断言

）

如何对IEEE754规范（浮点表示）进行静态声明？

我的想法是这样的：

static unsigned char c[8] = { 0, 0, 0, 0, 0, 0xd0, 0x84, 0x40 };
static double d= *reinterpret_cast<double *>(c);
BOOST_STATIC_ASSERT(d==666.);

但这不起作用:(
我应该指出，我的编译器不是C ++ 11（我使用Visual Studio 2008），并且没有常规的静态断言。

最佳答案

首先，请注意，由于编译器的特性，您无法可靠地断言浮点算法符合IEEE 754，例如Visual C ++和g ++都具有标志，这些标志可以以例如1的代价稍微提高操作速度。 NaN值不能正确比较wrt。 IEEE 754。

但我有把握地确定，如果std::numeric_limits::is_iec559为true，则普通值的位级表示形式符合IEEE 754。

即

static_assert( std::numeric_limits<double>::is_iec559, "IEEE 754 floating point" );

“ IEC 559”实际上只是“ IEEE 754”的另一个名称；这是相同的标准。

关于c++ - IEEE754的C++静态断言，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/22785934/