柯里化是将多参数函数重构为单参数函数链的技术，即把f(a,b,c)转为f(a)(b)(c)，每次只接收一个参数并返回新函数，参数齐备时执行原逻辑；核心依赖闭包暂存参数、严格一元契约及fn.length判断收齐信号。
柯里化在函数式编程中不是“解构”多元函数，而是**重构调用方式**：把 f(a, b, c) 转成 f(a)(b)(c) 的链式结构，每一步只接收一个参数、返回一个新函数，最终执行时仍调用原始逻辑。它不改变函数本质，但强制形成纯一元函数序列，为组合、复用和延迟求值打下基础。
核心是单参数契约与闭包记忆
真正的柯里化要求严格遵守“每次只传一个参数”的契约，不能跳步、不能重排、不能合并（除非实现支持多参调用）。关键靠闭包保存已传参数：
- 每次调用都把当前参数存入数组或变量
- 未满参时返回新函数，继续等待下一个参数
- 参数个数达到
fn.length时，用fn.apply(this, args)执行原函数 - this 绑定需保留，避免丢失上下文
手动实现一个标准柯里化函数
以下是一个兼顾兼容性与语义准确的实现：
Alibabacloud Sdk Client Initialization For Java
下载
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
function curry(fn) {
return function curried(...args) {
if (args.length >= fn.length) {
return fn.apply(this, args);
}
return (...moreArgs) => curried.apply(this, args.concat(moreArgs));
};
}
```
- 使用 rest 参数
...args收集每次传入的参数 - 用
fn.length判断形参个数，作为收齐信号 - 递归返回箭头函数，自动继承词法作用域，避免
this丢失 - 支持多次调用中穿插多个参数，比如
curried(1)(2, 3)
为什么必须是一元链？不是为了炫技
一元结构带来函数式编程的关键能力：
立即学习“Java免费学习笔记（深入）”；
-
可组合性：
compose(f, g)(x)要求每个函数都只接受一个输入，柯里化后自然适配 -
部分应用天然成立：调用
curriedAdd(5)得到(b) => 5 + b，就是一个确定的、可复用的一元函数 - 延迟执行可控：参数未齐时不运行，适合配置驱动、事件响应等场景
- 类型推导友好：TypeScript 中能更精准地推断每层函数的输入输出类型
注意边界：箭头函数与占位符
ES6 箭头函数的 length 恒为 0，无法用于自动判断参数个数，所以柯里化工具函数通常不直接接受箭头函数作为 fn；如需支持占位符（如 _），需额外维护参数位置映射，属于增强版实现，不属于基础柯里化范畴。
