javascript - 2.9999999999999999 >> .5？

Question

我听说您可以将数字右移 0.5 而不是使用 Math.floor()。我决定检查它的限制以确保它是合适的替代品，因此我检查了以下值并在 Google Chrome 中获得了以下结果:

2.5 >> .5 == 2;
2.9999 >> .5 == 2;
2.999999999999999 >> .5 == 2;  // 15 9s
2.9999999999999999 >> .5 == 3;  // 16 9s

经过一些调整后，我发现在 Chrome 和 Firefox 中，当右移 0.5 时，两个值的最高可能值是 2.9999999999999997779553950749686919152736663818359374999999¯(重复 9)。在 IE 中这个数字是 2.9999999999999997779¯。

我的问题是:数字 .0000000000000007779553950749686919152736663818359374 有什么意义？这是一个非常奇怪的数字，它确实激起了我的好奇心。

我一直在努力寻找答案或至少某种模式，但我认为我的问题在于我真的不了解按位运算。我原则上理解这个想法，但是将位序列移动 .5 对我来说根本没有任何意义。感谢您的帮助。

郑重声明，奇怪的数字序列随 2^x 变化。以下数字仍可正确 chop 的最高可能值:

for 0: 0.9999999999999999444888487687421729788184165954589843749¯for 1: 1.9999999999999999888977697537484345957636833190917968749¯for 2-3: x+.99999999999999977795539507496869191527366638183593749¯for 4-7: x+.9999999999999995559107901499373838305473327636718749¯for 8-15: x+.999999999999999111821580299874767661094665527343749¯...and so forth

Answer 1

实际上，您只是在第一个操作数上执行 floor()，而没有进行任何浮点运算。由于左移和右移位运算仅对整数操作数有意义，因此 JavaScript 引擎首先将两个操作数转换为整数:

2.999999 >> 0.5

变成:

Math.floor(2.999999) >> Math.floor(0.5)

这又是:

2 >> 0

移位 0 位意味着“不做移位”，因此您最终得到第一个操作数，只是 chop 为一个整数。

SpiderMonkey 源代码有:

switch (op) {
  case JSOP_LSH:
  case JSOP_RSH:
    if (!js_DoubleToECMAInt32(cx, d, &i)) // Same as Math.floor()
        return JS_FALSE;
    if (!js_DoubleToECMAInt32(cx, d2, &j)) // Same as Math.floor()
        return JS_FALSE;
    j &= 31;
    d = (op == JSOP_LSH) ? i << j : i >> j;
    break;

您看到某些数字“四舍五入”是由于 JavaScript 引擎无法处理超出一定精度的十进制数字，因此您的数字最终会四舍五入为下一个整数。在您的浏览器中试试这个:

alert(2.999999999999999);

您将获得 2.999999999999999。现在尝试再添加一个 9:

alert(2.9999999999999999);

你会得到 3。