JavaScript 作用域與預解析：語言規範與引擎實現的區別

核心觀點

JavaScript 的作用域規則、變量提升（預解析）是語言規範（ECMAScript 標準）定義的語義，而非特定引擎的實現細節。無論引擎是否進行「預解析」優化，代碼運行結果必須符合規範。

規範層面：詞法環境與聲明提升

• var：函數作用域，聲明提升至作用域頂部，初始化為 undefined。
• let/const：塊級作用域，聲明提升但進入暫時性死區（TDZ），訪問拋 ReferenceError。
• function：函數聲明整體提升（含函數體），函數表達式遵循 var/let 規則。

引擎實現層面

V8、SpiderMonkey、JavaScriptCore 等引擎通過解析器生成 AST、編譯器生成字節碼/機器碼、運行時執行 等階段實現語義。現代引擎採用懶解析、內聯緩存、隱藏類 等優化，但對開發者透明。

學習建議

1. 掌握規範語義：理解作用域鏈、閉包、this 綁定、TDZ 等概念，寫出可預測代碼。
2. 不依賴實現細節：不要假設某引擎「會預解析」而寫出依賴副作用的代碼。
3. 工具輔助：使用 ESLint 檢查作用域相關問題（如 no-use-before-define）。

經典面試題驗證理解

console.log(a); // undefined (var 提升)
var a = 1;

console.log(b); // ReferenceError (TDZ)
let b = 2;

foo(); // "foo" (函數聲明提升)
function foo() { console.log("foo"); }

bar(); // TypeError: bar is not a function (函數表達式 var 提升但未初始化)
var bar = function() { console.log("bar"); };

總結

作用域與預解析是語言承諾，引擎如何兌現是實現細節。專注於規範語義，編寫健壯、可移植的 JavaScript 代碼。