javascript中默认函数参数的范围

IT技术 javascript ecmascript-6
2021-01-21 03:43:01

我正在使用 EcmaScript 2015 的一些功能，我必须说规范很难理解。

我完全理解这段代码应该抛出某种错误：

(function(a = b, b = 1) { })();

而且我知道默认值可以使用外部作用域：

(function() {
  let c = 1;
  return (function(a = c) { return a === 1; })();
})();

但我不明白为什么这些例子不好：

(function() {
  let a = 1;
  (function(a = a) { })();
})();

(function() {
  let b = 1;
  (function(a = b, b = 2) { })();
})();

我的 Chrome 59.0.3071.115 抛出未定义变量的 ReferenceError。

似乎 Chrome 正在做一些优化，其中只创建了 1 个范围，其中所有参数都设置为不可访问，并在分配后一一添加。

这方面的一些证据可能是：

(function(a = () => b, b = 2) { return a() === 2; })();

这对我来说似乎是一个缺失的机会，我想知道规范是否强制在这里只使用 1 个范围，或者这只是 v8 实现细节。

有人可以指出我在规范中的位置可以澄清这一点吗？

1个回答

我不明白为什么这些例子不好

因为默认初始化器不是在父作用域中计算的，而是在函数作用域内计算的。参数本身已经在范围内，因此您可以执行以下操作

(function(a = 2, b = a) { console.log(b); }());

有人可以指出我在规范中的位置可以澄清这一点吗？

相关部分是§9.2.12 FunctionDeclarationInstantiation。

我必须说规范相当难以理解。

是的，虽然它是为引擎实现者而不是程序员编写的。但是，注释基本上证实了您对优化的理解

如果函数的形式参数不包含任何默认值初始值设定项，则主体声明将在与参数相同的环境记录中实例化。如果存在默认值参数初始值设定项，则会为主体声明创建第二个环境记录。

你的例子基本上脱糖

(function() {
  let a = arguments[0] !== undefined ? arguments[0] : b,
//                                                    ^ clearly a ReferenceError
      b = arguments[1] !== undefined ? arguments[1] : 1;
  {
  }
})();

(function() {
  let c = 1;
  return (function() {
    let a = arguments[0] !== undefined ? arguments[0] : c;
//                                                      ^ works as you'd think
    {
      return a === 1;
    }
  })();
})();

(function() {
  let a = 1;
  (function() {
    let a = arguments[0] !== undefined ? arguments[0] : a;
//                                                      ^ again clearly a ReferenceError
    {
    }
  })();
})();

(function() {
  let b = 1;
  (function() {
    let a = arguments[0] !== undefined ? arguments[0] : b,
//                                                      ^ still a ReferenceError
        b = arguments[1] !== undefined ? arguments[1] : 2;
    {
    }
  })();
})();

(function() {
  let a = arguments[0] !== undefined ? arguments[0] : () => b,
//                                                          ^ works indeed
      b = arguments[1] !== undefined ? arguments[1] : 2;
  {
    return a() === 2;
  }
})();
所以看起来 a = a case 在任何情况下都不可行。如果每个默认值都在自己的范围内进行评估，则情况 a = b 可能是可行的。但这对于引擎来说开销太大，因此板子的所有参数只有 1 个范围。看起来规范在这里很清楚。谢谢你。
2021-03-15 03:43:01
其它你可能感兴趣的问题
上一篇Backbone：为什么将 `$('#footer')` 分配给 `el`？ 下一篇Angular UI-Router $urlRouterProvider .当我单击 <a ui-sref="..."> 时不起作用