要让数学计算库在V8下跑出极致单线程性能，核心是促使V8激进内联：函数须纯逻辑、AST极简、接口稳定；避免闭包污染、临时对象及类型混用；需预热并用--trace-inlining等工具验证内联效果。
要让数学计算库在 V8 下跑出极致单线程性能，核心不是“写得多快”，而是“让 V8 敢把你的函数直接摊平”。内联展开不是锦上添花的优化，而是把函数调用开销彻底归零、为后续类型特化和逃逸分析铺路的关键前提。
只暴露纯、小、稳的顶层函数
用户调用入口（如 clamp、lerp、distance2D）必须满足三项硬约束：
-
纯逻辑：不读写任何外部变量，不修改参数，不访问
this、arguments、eval或with -
AST 极简：优先用箭头函数 + 单表达式，例如
(a, b) => a * b比function mul(a, b) { return a * b; }更易被激进内联 -
接口稳定：固定参数个数（禁用
...args），返回值唯一，分支控制在一层以内（如三元表达式可，嵌套if不可）
避免“伪模块化”导致的内联失效
高频路径（如粒子系统每帧更新、WebGL 向量批量归一化）中，宁可保持主函数体扁平，也不要为“整洁”而拆分：
- 把一个含 12 行向量运算的
normalize3拆成len3+scale3，若其中任一子函数捕获了外层const EPS = 1e-8，就可能因闭包环境破坏单态 IC 而整体失联 - 用
obj?.x或obj?.y ?? 0替代直接属性访问，会引入隐式hasOwnProperty查找，V8 直接拒绝内联 - 构造临时对象（如
{ x, y }）或内联函数（如() => x + y）会污染隐藏类，干扰 TurboFan 对内存布局的推断
主动适配 V8 的类型反馈机制
内联效果高度依赖运行时类型一致性。数学库需从设计上“引导”引擎形成稳定反馈：
- 对同一函数反复传入同结构数据：比如
vec2Add(a, b)始终接收两个形如{x: number, y: number}的对象，且初始化顺序一致（先x后y） - 避免混合数值类型：不要让
multiply(a, b)有时传number，有时传BigInt或string；必要时做显式Number()转换 - 预热关键路径：在库初始化后，用典型输入执行 20–50 次目标函数，使其进入“温热”状态，触发 TurboFan 优化编译
用 V8 自带工具闭环验证，不靠猜测
是否真被内联，只能靠日志确认：
- Node.js 启动加
--trace-inlining --trace-opt，搜索[Inlining] funcName at line X: inlined into caller；若出现not inlineable: contains try/catch或too big for inlining (size=...)，立即定位修复 - 浏览器中启用
chrome://flags/#enable-webassembly-simd，在 DevTools 控制台执行%OptimizeFunctionOnNextCall(myFunc)强制优化，再查%GetOptimizationStatus(myFunc)返回值是否含inlined - 用
chrome://tracing录制 JS 执行帧：内联成功后，原函数不再显示独立调用栈帧，其耗时完全合并到父函数执行块中
