为什么 JavaScript 引擎在初始化之前编译 LET 变量？

Question

当我们编写类似下面 sn-p JavaScript 的代码时，不要编译这段代码并返回 Uncaught SyntaxError: Identifier 'variableName' has already been declared 而且我们看不到“Hello World”控制台

function functionName() {
  console.log("Hello World");
}

functionName();
let variableName = "Murad";
let variableName = "Tofiq";

但是当我们编写像下面的sn-p这样的代码时，代码被编译但在执行时返回错误，我们在控制台中看到“Hello World”。

function functionName() {
  console.log("Hello World");
}

functionName();
console.log(variableName);
let variableName = "Tofiq";

我的问题是 JavaScript 编译器知道我们声明变量的语义分析时间让这个是创建 TDZ（临时死区）并且此代码返回错误。但是为什么这段代码会编译？这是bug吗？

Answer 1

原因是因为 JavaScript 在 host environment 中运行。

严格来说，V8 JavaScript 编译器/解释器无法在 parsetime 知道variableName 尚不存在于全局环境中。因此，虽然在同一函数范围（或环境）内两次声明 const 或 let 是 SyntaxError，但您给出的第二个示例是 runtime ReferenceError，因为它不是在代码执行之前生成。

然而，TypeScript 可以检测到这些东西，因为它知道它运行的环境（通过配置），所以它会正确地抱怨并拒绝编译对它不知道的全局变量的引用。

希望这是有道理的。

Answer 2

你的例子很简单，但这里有一个更有趣的例子：

function f() { return g }
let h = f()
if (b) h()
let a = 7
function g() { return a }

一般来说，在初始化之前提前检测变量是否被使用是非常重要的（甚至是不可判定的）。所以它被认为太复杂了，最终是徒劳的，如果只是在某些情况下被拒绝，那将是不一致的。

相比之下，检测重复绑定总是微不足道的。