JS 代码优化的‘单态’建议：为何保持函数参数类型一致能提升 JIT 效率

尊敬的各位同仁，下午好！

今天，我们将深入探讨一个在JavaScript性能优化领域既关键又常被忽视的主题：单态性（Monomorphism）及其对现代JavaScript引擎即时编译器（JIT）效率的深远影响。JavaScript以其动态性和灵活性而闻名，这使得它成为构建各种应用的理想选择。然而，这种动态特性也给底层的JIT编译器带来了巨大的挑战。理解这些挑战，并学习如何编写JIT友好的代码，是我们将应用程序性能推向极致的关键。

1. JavaScript的动态特性与JIT编译器的挑战

JavaScript是一门弱类型、动态类型的语言。这意味着变量在声明时不需要指定类型，并且可以在运行时改变其类型。

let x = 10;        // x 是一个数字
x = "hello";       // x 变成了字符串
x = { name: "Bob" }; // x 变成了对象

这种灵活性是JavaScript易用性的核心，但对追求极致性能的JIT编译器而言，却是一把双刃剑。

1.1 传统编译器的世界观

在C++、Java等静态类型语言中，编译器在代码编译阶段就知道变量的类型。例如：

// C++
int add(int a, int b) {
    return a + b;
}

编译器可以确定 a 和 b 都是整数，+ 操作符就是整数加法，返回类型也是整数。它可以直接生成高效的机器码，例如一条简单的 ADD 指令。内存布局也是固定的，访问对象属性可以直接计算偏移量。

1.2 JavaScript JIT编译器的困境

相比之下，JavaScript的JIT编译器在编译一个函数时，可能无法事先确定其参数的类型。考虑以下JavaScript函数：

function add(a, b) {
    return a + b;
}

当JIT编译器第一次遇到 add 函数时，它不知道 a 和 b 会是什么类型。它们可能是数字、字符串、对象，甚至是 null 或 undefined。+ 操作符的行为也会根据参数类型而变化：

• 如果 a 和 b 都是数字，执行数学加法。
• 如果其中一个或两个是字符串，执行字符串连接。
• 如果一个参数是对象，它可能会被转换为原始值（通过 valueOf 或 toString）再进行操作。

为了正确处理所有可能性，JIT编译器必须插入大量的运行时类型检查和分支逻辑。这会显著增加生成的机器码的体积和执行时间，从而降低性能。

// JIT编译器可能需要内部模拟的逻辑 (简化版)
function add(a, b) {
    if (typeof a === 'number' && typeof b === 'number') {
        // 执行快速数字加法
        return a_as_number + b_as_number;
    } else if (typeof a === 'string' || typeof b === 'string') {
        // 执行字符串连接
        return String(a) + String(b);
    } else {
        // 处理其他复杂情况，如对象转换等
        // ...
        return a_converted + b_converted;
    }
}

这种多态性（Polymorphism），即一个操作或函数能处理多种类型输入的能力，是JavaScript灵活性的体现，但也是JIT优化最大的障碍之一。

2. JIT编译器的运作机制：从解释到优化

为了克服JavaScript动态性带来的挑战，现代JavaScript引擎（如V8、SpiderMonkey、JavaScriptCore）都采用了多层JIT编译架构。这个过程大致可以分为以下几个阶段：

2.1 解释器 (Interpreter)

当JavaScript代码首次执行时，它通常会被解释器处理。解释器逐行读取并执行字节码，速度较慢，但启动快，适用于不经常执行的代码。在V8中，这个角色由Ignition解释器承担。

2.2 基础编译器 (Baseline Compiler)

如果一个函数被频繁调用，或者在一个循环中执行多次，JIT引擎会认为它是一个“热点”函数。此时，基础编译器（如V8的Sparkplug，旧版本中的Full JIT）会介入，将函数的字节码编译成机器码。这个阶段的编译速度很快，但生成的机器码优化程度不高，依然会包含一些类型检查。

2.3 优化编译器 (Optimizing Compiler)

对于那些真正“超热”的代码路径，即被执行得极其频繁的函数，JIT引擎会将其发送给优化编译器（如V8的TurboFan）。优化编译器会花费更多时间，进行更深入的分析和优化，生成高度优化的机器码。

优化编译器的一个核心策略是推测性优化（Speculative Optimization）。它会观察函数在过去运行时的实际类型信息，并基于这些信息做出假设。例如，如果 add(a, b) 函数在过去一百次调用中，a 和 b 总是数字，优化编译器就会假设它们将来也总是数字，并生成只有数字加法的机器码，省略所有类型检查。

2.4 去优化 (Deoptimization)

推测性优化存在一个风险：如果JIT的假设被打破了怎么办？例如，add(a, b) 函数在优化后，突然传入了字符串参数。这时，JIT引擎会检测到类型不匹配，并触发去优化过程。被优化的机器码会被抛弃，执行流程会回退到基础编译器生成的代码，甚至解释器代码，然后重新收集类型信息，等待再次优化。

去优化是一个代价高昂的操作，因为它涉及上下文切换和重新编译。频繁的去优化会严重损害应用程序的性能。因此，我们编写代码的目标之一，就是尽量避免触发去优化。

3. 单态性（Monomorphism）与多态性（Polymorphism）的对比

现在，让我们聚焦到核心概念：单态性与多态性。

3.1 多态性（Polymorphism）

当一个函数、操作或对象属性访问点在运行时遇到了多种不同类型的输入时，我们就称之为多态的。

示例 1：函数参数的多态性

function process(value) {
    if (typeof value === 'number') {
        return value * 2;
    } else if (typeof value === 'string') {
        return value.toUpperCase();
    } else {
        return "Unknown type";
    }
}

process(10);        // 第一次调用，value是数字
process("hello");   // 第二次调用，value是字符串
process(20);        // 第三次调用，value是数字

在这个例子中，process 函数的 value 参数在不同调用中可以是数字或字符串。JIT编译器在优化 process 函数时，不能简单地假设 value 总是某种特定类型。它必须生成包含条件分支的代码，在运行时检查 value 的类型，并根据类型执行不同的逻辑。这阻止了深层优化，如函数内联和类型特化。

示例 2：对象属性访问的多态性

假设我们有一个函数，它接收一个对象，并访问其 x 属性：

function getX(obj) {
    return obj.x;
}

const obj1 = { x: 10, y: 20 };
const obj2 = { a: 1, x: "hello" }; // obj2 的 x 属性是字符串类型
const obj3 = { y: 5, x: true };   // obj3 的 x 属性是布尔类型

getX(obj1); // x 是数字
getX(obj2); // x 是字符串
getX(obj3); // x 是布尔值

这里，getX 函数中的 obj.x 属性访问点是多态的，因为 x 属性在不同对象中具有不同的类型。JIT编译器无法直接确定 x 的内存偏移量或其类型，必须进行额外的查找和类型检查。

3.2 单态性（Monomorphism）

当一个函数、操作或对象属性访问点在运行时始终只遇到一种类型的输入时，我们称之为单态的。

示例 1：函数参数的单态性

function processNumber(value) {
    return value * 2;
}

function processString(value) {
    return value.toUpperCase();
}

processNumber(10);
processNumber(20);
// ... 所有的调用都只传入数字

processString("hello");
processString("world");
// ... 所有的调用都只传入字符串

现在，我们把 process 函数拆分成了 processNumber 和 processString。

• processNumber 函数的 value 参数总是数字。JIT编译器可以生成高度优化的机器码，直接执行 value * 2 的数字乘法，无需任何类型检查。
• processString 函数的 value 参数总是字符串。JIT编译器可以生成直接调用字符串 toUpperCase 方法的机器码。

这种单态性极大地简化了JIT编译器的任务，使其能够进行更深层次的优化。

示例 2：对象属性访问的单态性

function getX(obj) {
    return obj.x;
}

const obj1 = { x: 10, y: 20 };
const obj2 = { x: 30, z: 40 }; // x 仍然是数字类型
const obj3 = { x: 50, a: 60 }; // x 仍然是数字类型

getX(obj1); // x 是数字
getX(obj2); // x 是数字
getX(obj3); // x 是数字

在这个场景下，getX 函数中的 obj.x 属性访问点是单态的，因为 x 属性在所有传入的对象中都保持了数字类型。JIT编译器可以学习到 obj 的内部结构（即“隐藏类”，后面会详细讨论），并直接通过内存偏移量访问 x 属性，而无需进行昂贵的查找。

4. 单态性如何助力JIT编译器优化

单态性是JIT编译器进行高性能优化的基石。它能够解锁一系列强大的优化技术，从而让JavaScript代码运行得像C++代码一样快。

4.1 类型特化 (Type Specialization)

当JIT编译器观察到某个变量或操作始终处理同一种类型时，它会生成专门针对该类型的机器码。

• 多态场景: a + b 可能需要检查 a 和 b 的类型，然后决定是数字加法还是字符串连接。
• 单态场景: 如果 a 和 b 始终是数字，JIT可以直接生成一条CPU的 ADD 指令。这比多态代码快几个数量级。

4.2 函数内联 (Function Inlining)

函数内联是一种非常重要的优化。它不是通过函数调用来执行一个函数，而是将函数体直接复制到调用它的地方。

没有内联：

CallerFunc() {
    ...
    call CalleeFunc(); // 产生函数调用栈帧，保存寄存器，跳转，执行，返回
    ...
}

内联后：

CallerFunc() {
    ...
    // CalleeFunc() 的函数体内容直接插入到这里
    ...
}

内联的优势：

• 消除函数调用开销: 避免创建新的栈帧、保存/恢复寄存器、跳转等。
• 暴露更多优化机会: 内联后，JIT编译器可以对整个代码块（包括原来被内联的函数体）进行更全面的分析和优化，例如常量传播、死代码消除等。

单态性对内联的促进：

• 一个函数只有在它足够小且其参数和操作是单态的情况下，才更容易被JIT编译器内联。
• 如果一个函数是多态的，JIT编译器将很难内联它，因为它必须复制所有复杂的类型检查和分支逻辑，这使得内联后的代码变得过于庞大和复杂。
• 将大而复杂的函数拆分成小而单态的辅助函数，这些辅助函数更有可能被内联，从而提升整体性能。

4.3 隐藏类（Hidden Classes / Shapes / Maps）与对象属性访问优化

这是V8引擎（以及其他JS引擎的类似概念）中一个非常核心的优化技术。由于JavaScript对象是动态的，属性可以在运行时添加或删除，这使得传统的固定内存布局优化难以实现。为了解决这个问题，V8引入了“隐藏类”的概念。

什么是隐藏类？

当JavaScript引擎创建一个对象时，它会为该对象生成一个内部的“隐藏类”（也称为“形状”或“映射”）。这个隐藏类描述了对象的结构，包括它的属性名称和它们在内存中的偏移量。

隐藏类的工作原理：

1. 初始对象创建：

   const obj = {}; // JIT 创建第一个隐藏类 C0，表示一个空对象。

2. 添加第一个属性：

   obj.x = 10; // JIT 创建一个新的隐藏类 C1。
               // C1 继承自 C0，并表示有一个属性 'x'，它位于内存偏移量 0 处。
               // obj 现在关联到 C1。

3. 添加第二个属性：

   obj.y = 20; // JIT 创建一个新的隐藏类 C2。
               // C2 继承自 C1，并表示有一个属性 'y'，它位于内存偏移量 1 处。
               // obj 现在关联到 C2。

当JIT编译器遇到 obj.x 这样的属性访问时，如果它知道 obj 关联的隐藏类，它就可以直接通过隐藏类中记录的偏移量来访问属性，而无需进行慢速的哈希表查找。这就像C++中访问结构体成员一样快。

单态性对隐藏类的影响：

• 单态的隐藏类转换链： 如果你总是以相同的顺序和类型添加属性，JIT会为这些对象创建相同的隐藏类转换链。这意味着所有这些对象都会共享相同的隐藏类结构，从而实现高效的属性访问。
• 多态的隐藏类转换： 如果你以不同的顺序添加属性，或者在同一属性名上赋予不同类型的值，或者动态删除属性，JIT将不得不创建更多的隐藏类，或者在属性访问时执行更慢的动态查找。

表格：隐藏类优化对比

| 场景 | 代码示例 | 隐藏类行为 | JIT优化效果 |
| :—————- | :———————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————— and many more.

function add(a, b) {
    return a + b;
}

add(1, 2);           // a: number, b: number -> returns number (mathematical addition)
add("hello", "world"); // a: string, b: string -> returns string (concatenation)
add(10, "apples");   // a: number, b: string -> returns string (concatenation, 10 is coerced to "10")
add({val: 1}, {val: 2}); // a: object, b: object -> returns "[object Object][object Object]" (coerced to string)

在这个例子中，add 函数的参数 a 和 b 在不同调用中可以是数字、字符串或对象。+ 操作符的行为也随之改变。对于JIT编译器而言，当它尝试优化 add 函数时，它无法确定 a 和 b 的具体类型，也无法确定 + 操作的具体语义。

为了确保正确性，JIT必须生成多态代码（Polymorphic Code）。这种代码会在运行时包含大量的类型检查和条件分支，以处理所有可能的输入组合。

1. 类型检查开销： 每次执行 a + b 时，JIT生成的代码都必须检查 a 和 b 的类型。这本身就是CPU指令，会消耗时间。
2. 分支预测失败： 复杂的条件分支使得CPU的分支预测器难以准确预测执行路径。分支预测失败会导致流水线停顿，显著降低性能。
3. 阻止深层优化： 由于类型不确定性，JIT无法进行类型特化、函数内联等高性能优化。例如，它不能直接生成一条高效的数字加法指令，因为它不知道 a 和 b 是否总是数字。

5.2 单态性（Monomorphism）的优势

与多态性相反，当一个函数、操作或对象属性访问点在运行时始终只遇到一种类型的输入时，它就是单态的。

function addNumbers(a, b) {
    return a + b;
}

addNumbers(1, 2);
addNumbers(10, 20);
addNumbers(100, 200);
// ... 所有的调用都只传入数字

在这个 addNumbers 函数的例子中，参数 a 和 b 始终是数字。JIT编译器观察到这种一致性后，可以做出一个推测性假设：a 和 b 将来也会是数字。基于这个假设，JIT可以：

1. 生成单态代码（Monomorphic Code）： 直接生成执行数字加法的机器码，无需任何类型检查。这就像C/C++中的 int + int 操作一样高效。
2. 促进函数内联： addNumbers 函数体小且操作单一，JIT可以很容易地将其内联到调用者中，进一步消除函数调用开销并暴露更多优化机会。
3. 提高分支预测准确性： 代码路径变得简单，没有复杂的条件分支，CPU的分支预测器可以高效工作。

单态性对性能的影响总结：

特性	描述	JIT优化效果
单态性	函数/操作/属性访问点始终处理同一种类型的输入。	极大地促进类型特化、函数内联、高效的属性访问（通过隐藏类）。生成紧凑、快速的机器码，避免去优化。
多态性	函数/操作/属性访问点处理多种不同类型的输入。	导致类型检查、条件分支、去优化。阻碍深层优化。生成的机器码更大、更慢。

6. 实践指南：如何编写JIT友好的单态代码

理解了单态性的重要性之后，我们来看看在日常JavaScript开发中，如何有意识地编写JIT友好的代码，以帮助JIT编译器发挥其最大潜力。

6.1 保持函数参数类型一致

这是最直接也最重要的建议。尽量确保一个函数在它的生命周期内，其参数总是接收相同的数据类型。

反例 (Polymorphic):

function calculateArea(shape) {
    if (shape.type === 'circle') {
        return Math.PI * shape.radius * shape.radius;
    } else if (shape.type === 'rectangle') {
        return shape.width * shape.height;
    } else {
        throw new Error('Unknown shape type');
    }
}

const circle = { type: 'circle', radius: 5 };
const rect = { type: 'rectangle', width: 4, height: 6 };

calculateArea(circle); // shape 是一个带有 radius 的对象
calculateArea(rect);   // shape 是一个带有 width/height 的对象

calculateArea 函数的 shape 参数可以是两种不同的对象结构。JIT编译器必须为 shape.type、shape.radius、shape.width、shape.height 这些属性的访问生成多态代码。

正例 (Monomorphic):

将多态函数拆分为多个单态函数。

function calculateCircleArea(circle) {
    return Math.PI * circle.radius * circle.radius;
}

function calculateRectangleArea(rectangle) {
    return rectangle.width * rectangle.height;
}

const circle = { type: 'circle', radius: 5 };
const rect = { type: 'rectangle', width: 4, height: 6 };

calculateCircleArea(circle);     // circle 参数始终是 { type: 'circle', radius: number }
calculateRectangleArea(rect); // rectangle 参数始终是 { type: 'rectangle', width: number, height: number }

现在，calculateCircleArea 和 calculateRectangleArea 函数都接收单态参数。JIT可以为它们生成高度优化的机器码，因为 circle.radius 和 rectangle.width/height 的类型和内存偏移量都是可预测的。

6.2 保持函数返回类型一致

与参数类型类似，一致的返回类型也有助于JIT优化。当一个函数总是返回相同类型的值时，调用它的函数也能更好地进行优化。

反例:

function getValue(data) {
    if (data.type === 'number') {
        return data.value; // 返回数字
    } else if (data.type === 'string') {
        return data.text; // 返回字符串
    }
    return null; // 返回 null
}

正例:

function getNumericValue(data) {
    return data.value; // 始终返回数字
}

function getStringValue(data) {
    return data.text; // 始终返回字符串
}

6.3 保持对象结构（隐藏类）一致

这是利用隐藏类优化的关键。确保你创建的对象具有一致的属性顺序和属性类型。

反例 (导致隐藏类多态):

function createPerson(name, age) {
    const person = {};
    if (name) {
        person.name = name; // 属性添加顺序不一致
    }
    person.age = age;
    return person;
}

const p1 = createPerson("Alice", 30); // { name: "Alice", age: 30 }
const p2 = createPerson(null, 25);     // { age: 25 } - 缺少 name 属性
const p3 = createPerson("Bob", 40);   // { name: "Bob", age: 40 }

p1 和 p3 具有相似的结构，但 p2 缺少 name 属性，这将导致JIT为它们创建不同的隐藏类。即使 p1 和 p3 结构相同，如果 p1.name 是字符串而 p3.name 意外变成了数字，也会导致隐藏类路径的分叉。

正例 (保持隐藏类单态):

• 在构造函数中初始化所有属性： 即使某个属性在初始化时是 undefined 或 null，也要确保它存在。
• 始终以相同的顺序添加属性： JIT引擎对属性添加的顺序很敏感。
• 避免在对象创建后动态添加或删除属性： 这会强制JIT创建新的隐藏类，或回退到慢速字典查找模式。

// 使用类或工厂函数确保一致性
class Person {
    constructor(name, age) {
        this.name = name || null; // 确保 name 属性始终存在，即使初始值为 null
        this.age = age;
    }
}

// 或者使用工厂函数
function createConsistentPerson(name, age) {
    return {
        name: name || null, // 始终有 name 属性
        age: age
    };
}

const p1 = new Person("Alice", 30); // { name: "Alice", age: 30 }
const p2 = new Person(null, 25);     // { name: null, age: 25 }
const p3 = new Person("Bob", 40);   // { name: "Bob", age: 40 }

现在，所有 Person 实例都具有相同的属性集合和相同的添加顺序，JIT可以为它们所有实例共享相同的隐藏类，从而实现高效的属性访问。

避免动态删除属性：

const user = { id: 1, name: "Alice", email: "[email protected]" };
delete user.email; // 这会改变对象的隐藏类，导致性能下降

在需要移除属性时，考虑将其值设为 null 或 undefined，而不是 delete 操作。

6.4 避免多态操作符

某些操作符（如 +）在遇到不同类型时会表现出多态行为。

反例:

function formatValue(value) {
    // 可能是数字加法，也可能是字符串连接
    return "Value: " + value;
}

formatValue(123);    // "Value: 123"
formatValue("test"); // "Value: test"

即使结果看起来一致，JIT内部处理 + 操作符的逻辑是多态的。

正例:

显式地进行类型转换，使操作单态化。

function formatNumberValue(num) {
    return "Value: " + String(num); // 显式转换为字符串
}

function formatStringValue(str) {
    return "Value: " + str; // 显式确保 str 是字符串
}

或者，如果确定是数字操作，确保两个操作数都是数字：

function sum(a, b) {
    return Number(a) + Number(b); // 确保都是数字加法
}

6.5 使用特定数据结构

当你知道某个属性的值会是多种类型时，考虑使用 Map 或 WeakMap 而不是普通对象。普通对象的属性访问如果类型多变，会强制JIT退化到哈希表查找。Map 自身就是为这种动态键值对设计的，其内部实现会比多态的普通对象属性访问更优化。

反例:

const config = {};
config.theme = "dark";
config.maxItems = 100;
config.isEnabled = true;
// ... 后来，某个属性可能被赋值为不同类型
config.theme = 1; // 类型改变

正例:

const config = new Map();
config.set("theme", "dark");
config.set("maxItems", 100);
config.set("isEnabled", true);
// ... 即使后来改变类型，Map 的内部实现也能更有效地处理
config.set("theme", 1);

6.6 小而专注的函数

将大型函数拆分成小的、职责单一的函数。小的函数更容易保持单态性，也更容易被JIT编译器内联。

反例:

function processData(data, options) {
    // 很多逻辑分支和不同类型的操作
    let result;
    if (options.mode === 'fast') {
        result = data.map(item => item * 2); // 假设 data 是数字数组
    } else if (options.mode === 'slow') {
        result = data.filter(item => item.length > 5); // 假设 data 是字符串数组
    }
    // ... 更多逻辑
    return result;
}

正例:

function processNumericDataFast(data) {
    return data.map(item => item * 2);
}

function processStringDataSlow(data) {
    return data.filter(item => item.length > 5);
}

// 在顶层根据条件调用特定的单态函数
function processDataWrapper(data, options) {
    if (options.mode === 'fast') {
        return processNumericDataFast(data);
    } else if (options.mode === 'slow') {
        return processStringDataSlow(data);
    }
    // ...
}

6.7 避免使用 arguments 对象

arguments 对象是一个类数组对象，但它不是真正的数组，且访问它会阻止某些JIT优化。

反例:

function sumAll() {
    let total = 0;
    for (let i = 0; i < arguments.length; i++) {
        total += arguments[i];
    }
    return total;
}

正例:

使用剩余参数（Rest Parameters），它会返回一个真正的数组。

function sumAll(...numbers) {
    let total = 0;
    for (const num of numbers) {
        total += num;
    }
    return total;
}
// 或者更简洁：
// function sumAll(...numbers) {
//     return numbers.reduce((acc, curr) => acc + curr, 0);
// }

6.8 谨慎使用 try-catch 块

try-catch 块会引入额外的控制流和栈管理开销，并且在某些情况下会阻止JIT优化，尤其是在热点代码路径中。如果异常处理不是性能关键路径的一部分，或者可以以其他方式处理（例如，通过返回错误状态码），可以考虑避免在紧密循环或热点函数中直接使用 try-catch。

// 反例 (在热点循环中)
function processItems(items) {
    const results = [];
    for (const item of items) {
        try {
            results.push(expensiveOperation(item));
        } catch (e) {
            console.error("Error processing item:", item, e);
            results.push(null);
        }
    }
    return results;
}

// 考虑将 try-catch 移到循环外部或更上层，或用其他方式处理错误
function processItemsOptimized(items) {
    const results = [];
    for (const item of items) { // 循环保持单态和无异常流
        results.push(expensiveOperation(item));
    }
    return results;
}

// 在调用层处理异常
try {
    const processed = processItemsOptimized(myItems);
} catch (e) {
    console.error("Batch processing failed:", e);
}

6.9 避免 eval() 和 with 语句

eval() 会在运行时执行任意代码，with 语句会改变作用域链。这两者都使得JIT编译器无法在编译时确定代码的结构和变量的绑定，从而完全阻止了这些区域的优化。它们应该被避免。

7. 测量与验证

优化工作必须基于数据。在进行任何性能优化时，最重要的是测量。不要凭空猜测哪些代码是瓶颈，哪些优化是有效的。

7.1 使用 console.time 和 performance.now()

这是最简单的测量方法，适用于快速评估小段代码的执行时间。

console.time('myFunctionExecution');
// 调用你的函数
myFunction();
console.timeEnd('myFunctionExecution');

const start = performance.now();
// 调用你的函数
myFunction();
const end = performance.now();
console.log(`myFunction executed in ${end - start} milliseconds`);

7.2 浏览器开发者工具

现代浏览器提供了强大的性能分析工具：

• Chrome DevTools (Performance Tab): 可以记录页面加载和运行时性能，显示函数调用栈、CPU使用率、内存分配等。通过火焰图可以直观地看到哪些函数是性能瓶颈。
• Firefox Developer Tools (Performance): 功能类似。

7.3 专业基准测试库

对于更严谨的基准测试，可以使用像 Benchmark.js 这样的库，它可以处理多次运行、统计平均值、去除异常值等，提供更可靠的测量结果。

// 示例使用 Benchmark.js
const suite = new Benchmark.Suite;

suite.add('Polymorphic Function', function() {
    // 调用多态版本的函数
    calculateArea(circle);
    calculateArea(rect);
})
.add('Monomorphic Function', function() {
    // 调用单态版本的函数
    calculateCircleArea(circle);
    calculateRectangleArea(rect);
})
.on('cycle', function(event) {
    console.log(String(event.target));
})
.on('complete', function() {
    console.log('Fastest is ' + this.filter('fastest').map('name'));
})
.run({ 'async': true });

通过这些工具，你可以对比优化前后代码的性能差异，验证你的单态化策略是否真正带来了性能提升。

8. 优化并非万能药：权衡与取舍

尽管单态性对JIT性能至关重要，但我们也要认识到，任何优化都不是免费的。

8.1 可读性与维护性

过度地为了JIT优化而重构代码，可能会导致代码变得碎片化、难以理解和维护。例如，将一个逻辑上统一的函数拆分成十个小函数，可能会让新来的开发者感到困惑。

8.2 开发时间与复杂性

追求极致的单态性可能需要额外的开发时间来设计和实现更严格的类型约束和数据结构。对于大多数应用的大多数代码路径，JIT的默认优化已经足够好。

8.3 过早优化是万恶之源

不要在项目初期或不明确性能瓶颈的情况下，就盲目地进行这些优化。首先，编写清晰、正确的代码。当性能分析工具明确指出某个“热点”区域存在性能问题时，再有针对性地应用单态性原则。

8.4 JIT引擎的智能进化

现代JIT引擎越来越智能，它们能够识别和优化某些多态模式。例如，V8的TurboFan能够处理一定程度的“内联缓存”（Inline Caches），记住最近遇到的类型，并在下次遇到相同类型时快速响应。然而，即使是智能的JIT，单态性代码仍然能为它们提供最清晰、最直接的优化路径。

9. 总结：拥抱可预测性，助力JIT腾飞

JavaScript的动态特性赋予了它无与伦比的灵活性，而现代JIT编译器则努力在保持这种灵活性的同时，榨取每一滴性能。理解单态性与多态性的概念，并有意识地在关键性能路径上编写单态代码，是作为一名专业开发者提升JavaScript应用性能的重要技能。通过保持函数参数和返回类型的一致性、规范对象结构、避免多态操作符，以及采纳小而专注的函数设计，我们能够极大地简化JIT编译器的工作，使其能够进行更深层次的优化，最终为用户带来更快、更流畅的体验。记住，始终测量，并根据实际数据做出优化决策。