javascript如何工作_它的引擎执行流程是怎样的？

javaScript有严格编译执行流程：先词法分析和语法解析生成AST，再初始化词法/变量环境形成作用域链，接着Ignition字节码与TurboFan JIT优化，最后由宿主事件循环调度宏微任务。

javascript 不是“边写边执行”的脚本语言，它有一套严格的编译与执行流程，理解这个流程能帮你解释 hoisting、ReferenceError、闭包生命周期等常见困惑。

引擎启动时先做词法分析和语法解析

V8（chrome/node）、SpiderMonkey（firefox）等引擎一拿到 js 代码，立刻进行两阶段静态处理：

• 词法分析（Lexing）：把源码切分成 Token，比如 function、const、{、myvar、123
• 语法解析（Parsing）：用 token 构建抽象语法树（AST），例如 const x = 1 + 2 会生成含 VariableDeclaration、BinaryExpression 节点的树

如果这一步出错，你会看到 SyntaxError: Unexpected token '}' 这类错误 —— 它发生在任何代码执行前，连 console.log 都不会触发。

执行前必须完成变量环境与词法环境的初始化

函数调用时，引擎为该执行上下文创建两个关键结构：

立即学习“Java免费学习笔记（深入）”；

• 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;

字节码与即时编译（JIT）不是可选优化，而是执行核心环节

V8 不直接解释 AST 或生成机器码，它走的是三段式路径：

• AST → Ignition 字节码（轻量、内存友好，用于快速启动）
• 运行中统计热点函数（如被调用超 100 次）→ 触发 TurboFan 编译为优化机器码
• 若后续发现类型不稳定（比如某参数从 number 变成 String），则去优化（deoptimization），退回字节码执行

这意味着：typeof、instanceof、频繁的 try/catch 都可能阻碍 TurboFan 优化；而保持参数类型一致、避免在热函数里修改原型，能显著提升性能。

事件循环不是 JavaScript 引擎的一部分，而是宿主环境提供的调度机制

JS 引擎本身只管执行同步代码、管理调用栈与内存。真正决定“何时执行 setTimeout 回调”或“谁先拿到 promise.then”的是宿主（浏览器或 Node.js）的事件循环实现：

• 宏任务（macrotask）：setTimeout、setInterval、I/O、ui render
• 微任务（microtask）：Promise.then、MutationObserver、queueMicrotask
• 每次宏任务执行完，引擎会清空全部微任务队列，再取下一个宏任务

所以这段代码输出顺序是 1 → 3 → 2：

console.log(1); setTimeout(() => console.log(2), 0); Promise.resolve().then(() => console.log(3));

注意：setTimeout(..., 0) 并不等于“立刻执行”，它只是尽快排进下一个宏任务队列 —— 实际延迟取决于当前调用栈是否为空、微任务是否已清空。

真正难调试的，往往不是语法错误，而是你误以为“代码按书写顺序执行”，却忽略了词法环境初始化时机、JIT 的去优化行为、或者事件循环中宏/微任务的嵌套层级。这些地方没日志、不报错，但逻辑就是不对。