js引擎实现
JavaScript 引擎的基本实现原理
JavaScript 引擎的核心任务是解析和执行 JavaScript 代码，通常包含以下几个关键组件：
词法分析器（Lexer）
将源代码分解为一系列标记（tokens），识别关键字、标识符、运算符等。例如 var x = 42; 会被分解为 var、x、=、42、;。
语法分析器（Parser）
根据语法规则将 tokens 转换为抽象语法树（AST）。例如 x + y 会生成一个 BinaryExpression 节点，包含左右子节点 x 和 y。
解释器（Interpreter） 直接执行 AST 或转换为字节码。早期引擎如 SpiderMonkey 采用纯解释执行，现代引擎多结合 JIT 编译。
现代引擎的优化技术
即时编译（JIT）
- 基线编译器：快速生成非优化机器码，适用于频繁执行的代码
- 优化编译器：对热点代码进行类型特化、内联缓存等优化
- 去优化：当假设失效时回退到基线版本
隐藏类（Hidden Class） V8 等引擎通过隐藏类优化对象属性访问，避免动态查找：
function Point(x, y) {
this.x = x; // 隐藏类 C0 → C1
this.y = y; // 隐藏类 C1 → C2
}内联缓存（Inline Cache） 缓存方法调用和属性访问的结果，假设后续操作具有相同类型：
function getX(o) {
return o.x; // 首次访问记录类型信息
}内存管理机制
垃圾回收（GC）
- 标记-清除：遍历可达对象，清除未被标记的内存
- 分代回收：将堆分为新生代和老生代，采用不同回收策略
- 增量标记：将标记过程分解为小任务，减少停顿时间
内存分配
- 新生代使用 Semispace 分配，通过 Scavenge 算法快速回收
- 老生代使用连续内存分配，结合标记清除/压缩算法
事件循环实现
调用栈（Call Stack） 同步代码通过调用栈执行，遵循 LIFO 原则：
function foo() {
bar(); // 压栈
}
function bar() {
throw new Error(); // 栈追踪
}任务队列（Task Queue）
- 宏任务：setTimeout、I/O 等
- 微任务：Promise、MutationObserver
- 执行顺序：同步代码 → 微任务 → 渲染 → 宏任务
性能优化实践
类型稳定性 避免改变变量类型，帮助引擎优化：
// 反例
let x = 1; // 整数
x = 1.1; // 转为浮点
x = "1"; // 转为字符串
// 正例
const x = 1; // 保持整数类型内存优化 及时解除引用，避免内存泄漏：
// 反例
window.cache = {...}; // 全局缓存
// 正例
const cache = new WeakMap(); // 弱引用现代 JavaScript 引擎如 V8、SpiderMonkey 通过持续迭代这些技术，实现了接近原生代码的执行效率。开发者理解这些原理有助于编写高性能应用。
