在函数中声明默认参数有什么作用？

Question

这不是调试问题或操作方法问题。这是一个概念问题。

我发现我很难理解this“第二范围”是什么，但忽略了细节我想出了这个解释：

如果函数存储（以某种方式）如下：

{
  // function body written using undefined parameters. 
  // When the function is called the arguments are assigned to the parameters.
}

声明默认参数是这样的：

{ // Second scope
  parameter1 = "something"
  parameter2 = 5
  {
    // function body written using the above parameters. 
    // When the function is called the arguments or default values get assigned to the parameters.
  }
}

这真的是在幕后发生的吗？如果不是，那里面会发生什么？ ECMAScript docs 比我的水平方式高。也许有人可以用外行的方式提供解释？谢谢！

Answer 1

这个解释很好！是的，参数列表有自己的范围。让我稍微扩展一下你的解释，然后解释为什么会有额外的范围。

当您在没有默认参数值的情况下调用函数时，会为函数体创建一个新范围，并在该范围内创建参数，就像函数中的顶级变量一样。所以，从概念上讲：

<<
    let param1 = /*...the argument value provided for param 1 if any */;
    let param2 = /*...the argument value provided for param 2 if any */;

    // Start of function code
    var variable1;
    let variable2;
    // End of function code
>>

（我使用<</>> 分隔符而不是{/}，因为范围不仅仅是块范围，它们也隔离了var；所以我选择了一个任意分隔符。 )

当有默认参数值时，正如您所描述的，还有一个额外的范围：

<<
    let param1 = /*...the argument value provided for param 1 if any */;
    let param2 = /*...the argument value provided for param 2 if any */;
    <<
        // Start of function code
        var variable1;
        let variable2;
        // End of function code
    >>
>>

原因是默认参数值是表达式，而不仅仅是文字。例如：

function example(a = 1, b = a + 1) {
//                          ^^^^^−−−−−−−−−−−−− expression, not just literal
    return a + b;
}

console.log(example());  // 1 + (1 + 1) = 3
console.log(example(2)); // 2 + (2 + 1) = 5

一个重要的原因是，如果参数列表和函数体只有一个作用域，这意味着参数列表中的表达式可以引用函数体中声明的提升变量和函数。被提升的变量只有undefined 的值，所以这不会有用，但是被提升的函数会用它们的函数体初始化，导致这样的情况：

// Doesn't work because of the additional scope
function example(a, b = blarg()) {
    function blarg() {
        return 42;
    }
    // ...
}

这会导致 ReferenceError，因为函数体的作用域在参数列表的作用域中不可用。

IIRC 有支持和反对的争论，也有相当多的讨论，但最终决定将参数列表放在自己的范围内，以防止这种情况和其他奇怪现象。