JavaScript作为一门动态类型语言，在浏览器和Node环境中依靠复杂的引擎执行。现代JS引擎并非单纯解释源码，而是结合解释器与即时编译器（JIT）来平衡启动速度与运行效率。理解JIT原理有助于我们写出更易被优化的代码。
一、为什么需要JIT
早期JS引擎使用纯解释器逐行执行字节码，启动快但长期运行慢。若直接静态编译，又因动态类型导致编译耗时高且不够灵活。JIT在运行时收集信息，把频繁执行的热点代码编译为机器码，兼顾了启动性能和长期吞吐。
二、JIT的基本工作流程
典型流程包含以下几个阶段：
- 解析源码生成抽象语法树，再转成字节码
- 解释器执行字节码，同时收集类型与调用频次数据
- 监控器发现热点函数，交给基线编译器或优化编译器
- 优化编译器基于假设生成高效机器码
- 假设失效时触发去优化，回退到解释器
1. 解释器与监控器
以V8为例，Ignition解释器执行字节码，TurboFan负责优化编译。引擎中的监控逻辑会统计函数调用次数和循环迭代次数。
2. 内联缓存
内联缓存（Inline Cache）是JIT常用的技术。当访问对象属性时，引擎缓存上一次查找的隐藏类与偏移，下次同形状对象可直接取址。
三、隐藏类与类型稳定性
JS对象看似无结构，但V8会为相同属性顺序的对象创建隐藏类。保持构造函数中属性初始化顺序一致，有助于隐藏类复用。
// 推荐：属性顺序固定
function User(name, age) {
this.name = name;
this.age = age;
}
const a = new User('tom', 18);
const b = new User('lucy', 20);
// 不推荐：动态添加导致隐藏类变化
function BadUser(name) {
this.name = name;
}
const c = new BadUser('jack');
c.age = 25; // 产生新隐藏类
四、去优化机制
优化编译器会基于类型假设生成代码。若后续出现不同类型，例如某参数由数字变为字符串，引擎执行去优化，丢弃机器码回到解释器，保证正确性。
去优化会带来性能抖动，因此应尽量保持函数入参类型稳定。
五、代码层面的优化建议
| 场景 | 建议 |
|---|---|
| 函数参数 | 避免同一函数混合传入不同类型 |
| 对象结构 | 用字面量或构造函数固定属性顺序 |
| 热点循环 | 减少循环内类型分支与反优化操作 |
六、简单示例观察JIT行为
下面代码在反复调用中更容易被识别为热点：
function sum(arr) {
let total = 0;
for (let i = 0; i < arr.length; i++) {
total += arr[i]; // 假设arr中均为数字
}
return total;
}
const data = new Array(1000).fill(0).map((_, i) => i);
for (let j = 0; j < 10000; j++) {
sum(data); // 高频调用触发优化编译
}
七、小结
JavaScript编译器的JIT优化依赖运行时画像，隐藏类、内联缓存与去优化共同保障速度与正确。写代码时减少动态结构变化和类型漂移，可以让引擎更高效地完成优化。
JavaScriptJIT编译器优化修改时间：2026-07-27 15:51:24