JavaScript有严格编译执行流程:先词法分析和语法解析生成AST,再初始化词法/变量环境形成作用域链,接着Ignition字节码与TurboFan JIT优化,最后由宿主事件循环调度宏微任务。
JavaScript 不是“边写边执行”的脚本语言,它有一套严格的编译与执行流程,理解这个流程能帮你解释 hoisting、ReferenceError、闭包生命周期等常见困惑。
V8(Chrome/Node)、SpiderMonkey(Firefox)等引擎一拿到 JS 代码,立刻进行两阶段静态处理:
token,比如 function、const、{、myVar、123
const x = 1 + 2 会生成含 VariableDeclaration、BinaryExpression 节点的树如果这一步出错,你会看到 SyntaxError: Unexpected token '}' 这类错误 —— 它发生在任何代码执行前,连 console.log 都不会触发。
函数调用时,引擎为该执行上下文创建两个关键结构:
LexicalEnvironment:存放 let/const 声明,初始值为 uninitialized(访问即报 ReferenceError)VariableEnvironment:存放 var 和函数声明,会被提前初始化为 undefined(所以 var 有“变量提升”)这就是为什么这段代码不报错但输出 undefined:
console.log(a); // undefined var a = 1;
而这段直接崩溃:
console.log(b); // ReferenceError: Cannot access 'b' before initialization let b = 2;
V8 不直接解释 AST 或生成机器码,它走的是三段式路径:
Ignition 字节码(轻量、内存友好,用于快速启动)TurboFan 编译为优化机器码deoptimization),退回字节码执行这意味着:typeof、instanceof、频繁的 try/catch 都可能阻碍 TurboFan 优化;而保持参数类型一致、避免在热函数里修改原型,能显著提升性能。
JS 引擎本身只管执行同步代码、管理调用栈与内存。真正决定“何时执行 setTimeout 回调”或“谁先拿到 Promise.then”的是宿主(浏览器或 Node.js)的事件循环实现:
setTimeout、setInterval、I/O、UI render
Promise.then、MutationObserver、queueMicrotask
所以这段代码输出顺序是 1 → 3 → 2:
console.log(1); setTimeout(() => console.log(2), 0); Promise.resolve().then(() => console.log(3));
注意:setTimeout(..., 0) 并不等于“立刻执行”,它只是尽快排进下一个宏任务队列 —— 实际延迟取决于当前调用栈是否为空、微任务是否已清空。
真正难调试的,往往不是语法错误,而是你误以为“代码按书写顺序执行”
,却忽略了词法环境初始化时机、JIT 的去优化行为、或者事件循环中宏/微任务的嵌套层级。这些地方没日志、不报错,但逻辑就是不对。