从以下转换整数的数字 - ＆gt;双 - ＆gt;整数无效？

Question

假设我的计算机使用IEEE 754浮点编码，我想知道以下函数返回false的最小数字是什么：

constexpr bool test(const unsigned long long int x)
{
    return static_cast<unsigned long long int>(static_cast<double>(x)) == x;
}

Answer 1

IEEE-754中double上的尾数是53位（52位，一个隐藏，非常技术性）。这意味着如果x中的最高位高于位52，并且一些低位非零，则比较将失败。

你可以通过编写一段代码来找到它：

unsigned long long x = 0x1;

while(x > 0)
{
   x <<= 1ULL;
   if (!test(x+1))
   {
      cout << "x=" << hex << x << endl;
      break;

   }
}

编辑：在实际测试后稍微修改了代码。

按预期打印x=20000000000000。

或者，如果您想使用<limits>，您可以通过以下方式获得相同的结果：

numeric_limits<double> n;
cout << "digits=" << dec << n.digits << " -> " << hex << (1ULL << n.digits) << endl;