JavaScript中pure function调用是否会被编译器做缓存优化？

你之前的猜测是正确的，绝大多数通用编程语言的默认编译/执行逻辑不会自动识别纯函数并缓存调用结果，你给出的JavaScript代码示例里的两次split调用，也不会复用第一次的执行结果。

核心原因有两点： #

• 纯函数自动识别的难度极高，可靠性差
  要判定一个函数是纯函数，需要同时满足「相同输入永远返回相同输出」「无任何可观测副作用」两个条件。对于JavaScript这类动态语言来说，运行时可以任意修改内置方法的实现，比如你完全可以重写String.prototype.split插入副作用逻辑，编译期根本无法确定最终调用的函数是否为纯函数。就算是静态语言，要是函数内部调用了其他没有明确标注的函数，判定纯函数的成本也会指数级上升，很容易出现误判。
• 缓存的收益不一定能覆盖额外开销
  缓存结果需要额外消耗内存存储返回值，还要做缓存键计算、匹配查找的逻辑。如果目标函数本身执行成本极低，比如示例中对短字符串做split操作，重新执行的开销远低于缓存查询的开销，自动做缓存反而会降低性能。编译器的默认优化策略都会优先选择收益确定、风险低的方案，这种收益不稳定的优化不会默认开启。

存在这类优化的特殊场景 #

当然也不是所有场景都不会做这类优化，符合以下条件时可能存在对应的缓存机制：

• 纯函数式编程语言（比如Haskell）的默认执行逻辑就支持这类优化，因为这类语言的所有函数默认都是纯函数，不需要额外做纯度判定。
• 部分静态语言在开启高优化等级、并且开发者手动给函数添加了纯函数标注的情况下，编译器会自动做结果复用，比如C/C++的__attribute__((const))注解、Rust的#[pure]注解（需开启对应特性）。
• 业务开发中如果有需要，你也可以手动给需要的函数添加记忆化（memoization）逻辑，自主控制缓存规则。

内容的提问来源于stack exchange，提问作者Corentin