闭包是实现记忆化函数最自然、最轻量的方式，它通过外层函数创建私有缓存并返回可访问该缓存的新函数，使缓存持久、私有且隔离。

闭包是实现记忆化函数最自然、最轻量的方式——它让缓存数据与函数逻辑绑定在同一作用域内，既私有又持久，无需依赖外部状态管理。

核心原理：闭包维持私有缓存空间

外层函数接收目标函数，内部声明一个缓存容器（如 Map 或普通对象），再返回一个新函数。这个新函数通过闭包持续访问该缓存，每次调用时先查键、再决定是否执行原逻辑。

• 缓存对象不会被垃圾回收，因为它始终被返回的函数引用
• 外部无法直接读写缓存，保障了封装性
• 每个 memoize 调用都生成独立缓存，互不干扰

基础实现：支持单参数纯函数

以下是一个兼顾健壮性与可读性的版本：

function memoize(fn) {
  const cache = new Map();
  return function(arg) {
    if (cache.has(arg)) return cache.get(arg);
    const result = fn(arg);
    cache.set(arg, result);
    return result;
  };
}

• 用 Map 而非对象，支持任意类型键（数字、字符串、Symbol、甚至函数）
• 只适用于纯函数：输入相同，输出必相同，且无副作用
• 不处理 this 绑定，如需保留上下文，改用 fn.call(this, arg)

多参数与复杂键的处理

原始实现只接受单个参数。若函数有多个参数，需将它们“归一化”为唯一键：

• 两个简单值（如数字、字符串）：用 `${a}|${b}` 拼接，高效且可控
• 参数数量不定或含对象：用 JSON.stringify(args)，但注意循环引用、undefined、函数值会丢失
• 更稳妥方案：自定义键生成函数，例如对对象做浅比较或字段白名单序列化

必须警惕的实际问题

缓存不是加了就万事大吉，几个典型陷阱常导致性能不升反降：

• 内存泄漏：缓存无限增长，尤其键来自时间戳、随机 ID 或用户输入时；建议加入 LRU 策略或手动 clear 接口
• 键误判：{a:1} 和 {a:1} 是两个不同对象，Map 默认用 === 判断，结果永远不命中
• 异步缓存共享：Promise 缓存后，后续调用拿到的是同一个 Promise，适合防重复请求，但不支持主动刷新
• 递归失效：若被缓存函数内部仍调用原始函数（而非缓存版），缓存完全不起作用