据我所知，strict指[[Strict]]的是函数对象的内部槽。

不，是的。它指的是函数（的严格性或脚本），其中包含该函数声明的块发生。与要（或不）声明的函数的严格性无关。

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

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

所以我们基本上有

                 |      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抛出 a
3：ES5.1 §12 中的注释谈到“实现之间的重大和不可调和的变化”（例如这些）。建议警告。}

那么现在，对于具有遗留语义的 sloppy-mode 函数中的块中的函数声明，具有 Web 兼容性的 ES6 实现如何表现？
首先，纯语义仍然适用。也就是说，函数声明被提升到词法块的顶部。
然而，还有一个var声明被提升到封闭函数的顶部。
并且当函数声明被评估时（在块中，就好像它像一条语句一样被满足），函数对象被分配给那个函数范围的变量。

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

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

工作原理与

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

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

在块外可见？

是的，就像一个var. 但是，还有一个仅在块内可见的第二个绑定。

吊起？

是的 - 两次。

到什么程度？

函数（但用 初始化undefined）和块（用函数对象初始化）。

“TDZ”？

不是在词法声明的变量（的时间死区的意义let/ const/ class）上引用，没有罚球。但是在函数体的执行中遇到函数声明之前，函数范围的变量是undefined（特别是在块之前），如果你尝试调用它，你也会得到一个异常。

仅供参考：在 ES6 中，上述行为仅针对函数作用域中的块指定。由于 ES7这同样适用于块eval和全局作用域。

我不确定你的困惑来自哪里。根据10.2.1很清楚什么是“严格模式”，什么不是。在您的示例中，foos[[Strict]]内部插槽true确实并且将处于严格模式，但托管它的块不会。第一句话（您引用的那句话）与托管块有关，而不是其中生成的内容。您片段中的块不是严格模式，因此该部分适用于它。