闭包实现 memoization 的核心是让递归调用指向缓存函数本身,而非原始函数名;需正确赋值或 IIFE 封装,避免缓存失效;键生成须安全(如 join('|') 或白名单),并控制生命周期防泄漏;务必验证命中且函数纯。
直接用闭包做 memoization 是最轻量、最可控的方式,但关键不在“加缓存”,而在“让递归调用真正走缓存”。很多性能问题不是计算慢,而是缓存根本没被用上。
必须让递归调用指向缓存函数本身
递归函数内部如果还调用原始函数名(比如 fibonacci),那顶层套一层 memoize(fibonacci) 完全无效——内部调用绕过了缓存逻辑。
- 正确做法:把缓存后的函数重新赋值给原函数名,例如 fibonacci = memoize((n) => ...)
- 或用 IIFE 封装整个逻辑,让递归体天然闭包引用缓存版本,避免命名污染
- 错误示例:const memoFib = memoize(fibonacci); 而 fibonacci 内部仍写 fibonacci(n-1) → 缓存永不命中
缓存键要能准确区分输入组合
单参数数字/字符串可用 Map 直接作键;但多参数或含对象时,JSON.stringify(args) 很危险:undefined、function、NaN、循环引用都会出错或误判。
- 简单多参数:用 args.join('|'),前提是参数全是基础类型且不含 |
- 含对象或不确定类型:写白名单键生成函数,例如只取 obj.id + '|' + obj.version
- 切忌直接用对象字面量当键——{a:1} 和 {a:1} 是两个不同引用,Map 默认不相等
控制缓存生命周期,防内存泄漏
递归深度大时,缓存可能积累成千上万个键值对。长期驻留不仅占内存,还会拖慢垃圾回收。
- 加计数器:缓存条目超阈值(如 1000)后清空 cache.clear()
- 更稳妥用 LRU 策略,例如集成 lru-cache 库,手动注入到闭包缓存逻辑中
- 警惕全局引用:若缓存函数被绑定到事件监听器或挂到 window 上,缓存会一直存活
动手前先验证缓存是否真生效
别假设它在工作。加一行日志:console.log('cache hit:', cache.has(key)),跑几轮递归,确认内部调用确实命中了缓存。
- 常见假象:顶层调用快了,但子调用仍在重复算——说明递归没走缓存函数
- 纯函数是前提:带副作用(修改外部变量、读 DOM、调 API)的函数不能缓存
- 浮点数慎用:0.1 + 0.2 !== 0.3,作为键可能导致意外未命中

















