javascript - ES6 中 block 级函数的精确语义是什么？

Question

我试图通过阅读原始规范来了解 ES6 中新的标准化 block 级函数。我的肤浅理解是:

ES6 中允许 block 级函数声明。

他们提升到街区的顶部。

在严格模式下，它们在包含 block 之外是不可见的。

但是，由于这些语义的一部分被指定为“可选”并且仅对 Web 浏览器 ( Annex B) 是强制性的，这使情况变得更加复杂。所以我想填写下表:

                                             |  Visible outside of block?  |  Hoisted? Up to which point?  |   "TDZ"? |------------------------------------------------------------------------------------------------------------------------|   Non-strict mode,   no "web extensions"   |                             |                               |          ||   Strict mode,       no "web extensions"   |                             |                               |          ||   Non strict mode,   with "web extensions  |                             |                               |          ||   Strict mode,       with "web extensions" |                             |                               |          |

Also it is unclear to me what "strict mode" means in this context. This distinction seems to be introduced in Annex B3.3, as part of some additional steps for the runtime execution of a function declaration:

1. If strict is false, then
...

但是，据我所知， strict指 [[Strict]]函数对象的内部槽。这是否意味着:

// Non-strict surrounding code

{
    function foo() {"use strict";}
}

应该算上表中的“严格模式”吗？然而，这与我最初的直觉相矛盾。

请记住，我最感兴趣的是 ES6 规范本身，而不管实际的实现是否不一致。

Answer 1

As far as I can see, strict refers to the [[Strict]] internal slot of the function object.

不，是的。它确实指的是包含函数声明的 block 出现的函数( or script)的严格性。不是要声明(或不是)要声明的函数的严格性。

“网络扩展”仅适用于草率(非严格)代码，并且仅当函数语句的外观“正常”时 - 例如，如果它的名称不与形式参数或词法冲突声明的变量。

请注意，没有 Web 兼容性语义的严格代码和草率代码之间没有区别。在纯 ES6 中， block 中的函数声明只有一种行为。

所以我们基本上有

                 |      web-compat               pure
-----------------+---------------------------------------------
strict mode ES6  |  block hoisting            block hoisting
sloppy mode ES6  |  it's complicated ¹        block hoisting
strict mode ES5  |  undefined behavior ²      SyntaxError
sloppy mode ES5  |  undefined behavior ³      SyntaxError

1:见下文。要求发出警告。
2:通常， SyntaxError被抛出
3: ES5.1 §12中的注释谈论“实现之间的重大且不可调和的变化”(例如 these )。建议使用警告。

那么现在具有 Web 兼容性的 ES6 实现对于具有遗留语义的草率模式函数中的 block 中的函数声明如何表现？
首先， 纯语义仍然适用 .也就是说，函数声明被提升到词法 block 的顶部。
不过也有 var声明 被提升到封闭函数的顶部。
而当函数声明被求值时(在 block 中，就好像遇到了语句一样)，函数对象为 已分配 到那个函数范围的变量。

这可以通过代码更好地解释:

function enclosing(…) {
    …
    {
         …
         function compat(…) { … }
         …
    }
    …
}

工作方式与

function enclosing(…) {
    var compat₀ = undefined; // function-scoped
    …
    {
         let compat₁ = function compat(…) { … }; // block-scoped
         …
         compat₀ = compat₁;
         …
    }
    …
}

是的，这有点令人困惑，有两个不同的绑定(bind)(用下标 0 和 1 表示)同名。所以现在我可以简洁地回答你的问题:

Visible outside of block?

是的，比如 var .但是，还有一个仅在 block 内可见的第二个绑定(bind)。

Hoisted?

是的 - 两次。

Up to which point?

函数(但是用 undefined 初始化)和 block (用函数对象初始化)。

"TDZ"?

不是在引用时抛出的词法声明变量( let/ const/ class )的时间死区的意义上，没有。但是在执行体中遇到函数声明之前，函数作用域变量是 undefined (尤其是在 block 之前)，如果你尝试调用它，你也会得到一个异常。

仅供引用:在 ES6 中，上述行为仅针对函数范围内的 block 指定。 Since ES7这同样适用于 eval 中的 block 。和全局范围。