JavaScript柯里化支持占位符的关键是用Symbol标记占位、统计非占位符参数个数，当其实参数量≥原函数arity时才执行；占位符不计入实参统计，仅作位置占位。
JavaScript 中实现柯里化时支持占位符（如 _），关键在于函数内部维护参数状态，延迟绑定未传入的参数，并在最终参数满足条件时执行原函数。
占位符的本质是“跳过当前位置”
占位符不是真实参数，而是标记某个位置暂不填充。实现时需记录每个参数位置的状态：已传值、占位符、未传。常见做法是用特殊对象（如 { placeholder: true }）或全局唯一占位符（如 Symbol('PH')）来区分。
- 避免用
null或undefined作占位符——它们可能是合法输入 - 推荐用
Symbol.for('curry-placeholder')，确保唯一且不可枚举 - 每次调用柯里化函数时，只替换第一个遇到的占位符；若无占位符，则追加到末尾
参数收集与触发执行的判断逻辑
不能仅靠参数个数判断是否执行，因为占位符会“占位但不占数”。正确方式是：预设原函数期望的参数总数 arity，统计已传入的非占位符参数个数，并跟踪占位符数量。当非占位符参数个数 ≥ arity 时才执行。
- 例如：
add = (a, b, c) => a + b + c，curriedAdd(1, _, 3)(2)应返回6 - 调用
curriedAdd(1, _, 3)时，收集[1, placeholder, 3]，占位符数=1，实参数=2，未满 arity（3），返回新函数 - 再调用
(2)时，用2替换第一个占位符，得到[1, 2, 3]，实参数=3 → 执行add(1,2,3)
实现一个带占位符的柯里化工具函数
以下是一个轻量实用版本（使用 Symbol 占位符）：
立即学习“Java免费学习笔记（深入）”；
const __ = Symbol('curry-placeholder');
function curry(fn, arity = fn.length) {
return function curried(...args) {
const combined = [];
let argIndex = 0;
let placeholderCount = 0;
// 合并已有参数和新传入参数，处理占位符
for (let i = 0; i < arity; i++) {
if (argIndex < args.length && args[argIndex] === __) {
combined.push(__);
placeholderCount++;
argIndex++;
} else if (argIndex < args.length) {
combined.push(args[argIndex++]);
} else {
combined.push(__);
placeholderCount++;
}
}
// 统计已填入的真实参数个数
const filledCount = combined.filter(x => x !== __).length;
if (filledCount >= arity) {
// 替换所有占位符，按顺序填入剩余参数（如有）
const resolvedArgs = [];
let fillIndex = 0;
for (const item of combined) {
if (item === __) {
resolvedArgs.push(args[argIndex++] || undefined);
} else {
resolvedArgs.push(item);
}
}
return fn(...resolvedArgs);
}
// 返回新柯里化函数，携带已积累的参数状态
return function(...moreArgs) {
return curried(...combined.map(x => x === __ ? (moreArgs.shift() ?? __) : x), ...moreArgs);
};
};
}
更健壮的实现会把参数状态封装为闭包变量，而非每次重算 —— 但核心逻辑一致：占位符是占位不占值，执行时机取决于真实参数是否齐备。
实际使用注意事项
占位符机制提升了灵活性，但也带来理解成本和调试难度。
- 避免嵌套过深：多次柯里化 + 占位符易导致参数流难以追踪
- TypeScript 用户需手动声明占位符类型，否则类型推导会丢失
- 与箭头函数、bind 等组合时注意 this 绑定，建议柯里化函数始终返回普通函数
- 生产环境慎用动态占位符（如运行时决定哪个位置是 _），优先用明确位置调用
