论元在词汇环境中的位置是什么？

Question

下面的代码总是打印传入参数a的参数，而不考虑是否存在同名变量。

可能是因为参数标识符单独绑定到作用域中的变量。他们的位置在哪里？他们在词汇环境中吗？

null

function foo(a, b = () => a) {
  var a = 1
  console.log(b())
}
foo() // undefined
foo(2) // 2

null

是否var声明最终位于特殊的VariableEnvironment中，而参数位于lexicalEnvironment中？和let和const通过使重定义成为早期错误来避免冲突？

相关的还有：

• 8.3.2 ResolveBinding（名称[,env])
• 8.1.1环境记录

Answer 1

如果存在任何默认值，将为参数创建单独的环境记录。

在此位置声明的函数的语义是这样的，即此环境记录定义它们的局部范围。规范中的注释（见第28条）指出：

注意：需要一个单独的环境记录，以确保形参列表中的表达式创建的闭包不具有函数体中声明的可见性。

规范中的更多内容：

当为计算ECMAScript函数建立执行上下文时，将创建一个新的函数环境记录，并在该环境记录中实例化每个形参的绑定。函数体中的每个声明也被实例化。如果函数的形参不包括任何默认值初始化器，则在与参数相同的环境记录中实例化主体声明。如果存在默认值参数初始化器，则为正文声明创建第二个环境记录。形式参数和函数作为FunctionDeclarationInstantiation的一部分进行初始化。所有其他绑定都在函数体的计算过程中初始化。

因此，在没有缺省参数的情况下，我推断一个预先存在的词法环境（VariableEnvironment或LexicalEnvironment）用于参数绑定。也许吧。