柯里化本身不提供记忆化,但通过闭包可自然实现递归状态缓存;其核心是将多维参数逐步收集为唯一键,在外层闭包中用Map缓存结果,确保跨调用链共享,避免通用柯里化导致的缓存隔离问题。

函数柯里化本身不直接提供“记忆化”能力,但它天然配合闭包,为递归状态的记忆化提供了简洁、自然的封装结构。在算法题解中(比如动态规划类、树路径求和、带参数约束的回溯等),我们常需缓存「已计算过的参数组合 → 结果」映射。柯里化可将多维参数逐步收集成一个确定的键,再结合闭包内部缓存对象,实现轻量级记忆化。
用柯里化构造带记忆的递归函数
核心思路是:把原递归函数转为柯里化形式,在最内层闭包中维护一个 Map 或普通对象,以已收集的全部参数拼接为 key,缓存结果。
- 每次调用都先检查缓存,命中则直接返回
- 未命中则执行实际递归逻辑,存入缓存后再返回
- 参数收集过程由柯里化链自动完成,无需手动 flatten 多维输入
典型场景:带约束的路径和(如 leetcode 112/113 变种)
假设要写一个函数 pathSumMemo(target),它接收目标值,返回一个可继续传入节点值的柯里化函数,并自动记忆「当前累计和 + 剩余目标」的结果:
function createPathSumMemo() {
const cache = new Map();
function curried(sum, target) {
const key = `${sum},${target}`;
if (cache.has(key)) return cache.get(key);
// 模拟递归分支:比如 sum === target → true;sum > target → false;否则继续
let result;
if (sum === target) result = true;
else if (sum > target) result = false;
else result = curried(sum + 1, target) || curried(sum + 2, target); // 简化示意
cache.set(key, result);
return result;
}
return function pathSumMemo(target) {
return function step(sum) {
return curried(sum, target);
};
};
}
// 使用:
const ps = createPathSumMemo()(10); // 目标为 10
console.log(ps(3)); // 计算 sum=3 → 缓存 { '3,10': ... }
console.log(ps(3)); // 直接命中缓存
与通用 curry + memo 组合的差异
直接对递归函数做通用柯里化(如 curry(fn))再套 memo,往往无法记忆中间态——因为每次柯里化调用生成的是新函数实例,闭包不共享缓存。而手写柯里化+内嵌缓存的方式,让所有调用链共享同一份 cache,真正实现「递归深度中的状态复用」。
- 通用 curry 是「参数分发器」,适合静态函数复用
- 算法题中的记忆化柯里化是「带状态的递归控制器」,强调跨调用链的缓存穿透
- 关键区别在于缓存作用域:必须置于最外层闭包,而非每次 curried 调用内部
注意事项:避免闭包泄露与 key 冲突
记忆化依赖参数可序列化且唯一。若参数含对象、函数或 Symbol,需自定义 key 生成逻辑(如 JSON.stringify + 类型前缀),否则会失效或误命。
- 简单数值/字符串参数:直接
`${a},${b},${c}`安全高效 - 含数组或对象:建议用
JSON.stringify([a, b, c]),但注意 undefined / function / 循环引用会丢失 - 高频调用时,可用 WeakMap 存储对象参数,但仅限单参数场景
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南











