Math.pow（x，0）是否为1时，是否有任何`x`值？

Question

我在上一个问题中发现Math.pow(0, 0) === 1返回true 。

在文档中，我们找到了x^y的以下规则：

• 如果y是NaN，则结果为NaN。
• 如果y为+0，则结果为1，即使x为NaN。
• 如果y为-0，则结果为1，即使x为NaN。
• 如果x是NaN且y非零，则结果为NaN。
• 如果abs（x）> 1且y为+∞，则结果为+∞。
• 如果abs（x）> 1且y为-∞，则结果为+0。
• 如果abs（x）== 1且y为+∞，则结果为NaN。
• 如果abs（x）== 1且y为-∞，则结果为NaN。
• 如果abs（x）<1且y为+∞，则结果为+0。
• 如果abs（x）<1且y为-∞，则结果为+∞。
• 如果x是+∞且y> 0，则结​​果为+∞。
• 如果x是+∞且y <0，则结果为+0。
• 如果x是-∞且y> 0且y是奇数，则结果为-∞。
• 如果x是-∞且y> 0且y不是奇数，则结果为+∞。
• 如果x是-∞且y <0且y是奇数，则结果为-0。
• 如果x是-∞且y <0且y不是奇数，则结果为+0。
• 如果x为+0且y> 0，则结​​果为+0。
• 如果x为+0且y <0，则结果为+∞。
• 如果x是-0且y> 0且y是奇数，则结果为-0。
• 如果x是-0且y> 0且y不是奇数，则结果为+0。
• 如果x是-0且y <0且y是奇数，则结果为-∞。
• 如果x是-0且y <0且y不是奇数，则结果为+∞。
• 如果x <0且x是有限的且y是有限的并且y不是整数，则结果是NaN。

---

有趣的是，对于x的任何值，返回值为1 。 我们可以找到x任何值， Math.pow(x, 0)返回的值是非1吗？

我在NodeJS shell中尝试了以下内容，但我猜它在浏览器控制台中的结果相同：

> Math.pow(undefined, 0)
1
> Math.pow(Date(), 0)
1
> Math.pow("asd", 0)
1
> Math.pow(function () {}, 0)
1
> Math.pow(function () { return 3}, 0)
1
> Math.pow([], 0)
1
> Math.pow(null, 0)
1

也许我们找到了一个JS技巧，就像x === x // false （其中isNaN(x) === false ）情况一样。

---

只是为了澄清： y将永远为0 。 只有x正在改变。

Answer 1

您从文档中复制/粘贴包含以下要求：

• 如果y为+0，则结果为1，即使x为NaN

所以看起来你的问题的答案是“不”

Answer 2

不， 从来没有任何结果不会运行的情况。 该函数的定义表明：

• 如果y是NaN，则结果为NaN。
• 如果y为+0，则结果为1，即使x为NaN。
• 如果y为-0，则结果为1，即使x为NaN。

所有参数在运行之前都被强制为数字类型，因此无论它是什么1.如果多个结果适用，则第一个适用的顺序是返回的结果，在本例中为1 。

正如你所说y为0，因此它不是 NaN，因此不会返回NaN。

ES5§15.8.2 ：

以下每个Math对象函数都将ToNumber抽象运算符应用于其每个参数（如果有多个，则按从左到右的顺序），然​​后对生成的Number值执行计算。

任何不是数字的参数（或满足数字格式的字符串）都将被强制为0（对于null ， false和"" ），1（对于true ）或NaN（其他任何）。

Answer 3

是的，既然您正在使用运行V8的node.js，那么让我们来看看源代码 。

函数Math.pow在math.js和states中定义：

function MathPow(x, y) {
  return %_MathPow(TO_NUMBER_INLINE(x), TO_NUMBER_INLINE(y));
}

宏TO_NUMBER_INLINE用于将任何类型转换为数值。 因此，在_MathPow操作中，我们将数字作为参数。

让我们前进到hydrogen.cc ，它实现了MathPow调用，指的是在hydrogen-instructions.cc指令中的HPower指令HPower 。 后者使用power_helper(c_left->DoubleValue(), c_right->DoubleValue())计算功率： assembler.cc定义的方法。 在这里，我们终于有了计算的逻辑：

double power_helper(double x, double y) {
  int y_int = static_cast<int>(y);
  if (y == y_int) {
    return power_double_int(x, y_int);  // Returns 1 if exponent is 0.
  }

  // ...
}

注释（从源拷贝）说的一切，甚至有没有必要检查power_double_int在同一个文件中定义的说，每个值传递给Math.pow与第一个参数y == 0将返回1 。

要说肯定让我们检查power_double_int ：

double power_double_int(double x, int y) {
  double m = (y < 0) ? 1 / x : x;
  unsigned n = (y < 0) ? -y : y;
  double p = 1;
  while (n != 0) {
    if ((n & 1) != 0) p *= m;
    m *= m;
    if ((n & 2) != 0) p *= m;
    m *= m;
    n >>= 2;
  }
  return p;
}

从上面开始， n将始终为0 ，因此while循环永远不会运行，返回p = 1不变。

Answer 4

根据ES5规范的算法的前三个步骤如下：

• 如果y是NaN，则结果为NaN。
• 如果y为+0，则结果为1，即使x为NaN。
• 如果y为-0，则结果为1，即使x为NaN。

如果您正在编写ES5标准的实现，那么您的代码可能如下所示：

function pow(x, y) {
    if (isNaN(y)) return NaN;
    if (y === 0) return 1;
    // ... follow the other rules
}

当y === 0时，没有任何x值会导致它返回1以外的任何值。