TypeScript 中实现类型安全的递归柯里化函数（Curry）

本文详解如何通过泛型、条件类型与递归接口解决 typescript 中柯里化函数的类型推导问题，使 `curried(1)(2, 3)` 等多层调用获得精准类型提示与编译时校验。

在 TypeScript 中实现类型安全的柯里化（currying）函数时，常见错误如 “Not all constituents of type are callable”，其根源在于：原始实现返回的是统一函数类型（如 (...args: T[]) => any），而 TypeScript 无法根据已传参数数量自动推导出下一次调用是继续柯里化（返回新函数）还是最终执行（返回结果值）。要真正解决这个问题，必须让返回类型具备动态性和递归结构——即：类型需随已传入参数数量变化，并能自我嵌套。

✅ 正确方案：递归条件类型接口

核心思路是定义一个命名的递归接口 Curried，其中：

• A 是原函数完整的参数元组类型（如 [number, number, number]）；
• R 是最终返回类型（如 string）；
• 每次调用后，剩余参数类型 AR 被条件推导，若为空则返回 R，否则返回 Curried。

interface Curried {
  >(...args: AA): 
    A extends [...{ [I in keyof AA]: any }, ...infer AR] 
      ? [] extends AR ? R : Curried 
      : never;
}

该定义的关键点：

• AA extends Partial 允许传入任意长度的前缀参数（如对 [a,b,c] 可传 [a] 或 [a,b]）；
• 使用 infer AR 提取剩余未满足的参数类型（如传入 1 后，AR 为 [b: number, c: number]）；
• [] extends AR ? R : Curried 实现类型分支：参数已满 → 返回结果；否则 → 返回可继续调用的新柯里化函数。

✅ 实现函数：类型断言绕过编译器限制

由于 TypeScript 编译器难以静态验证高阶泛型函数体的类型安全性，我们采用 any + 类型断言的方式桥接实现与声明：

const curry = (fn: (...args: A) => R) => {
  const curried = (...args: any): any =>
    args.length < fn.length
      ? (...innerArgs: A[]) => curried(...args, ...innerArgs)
      : fn(...args);
  return curried as Curried;
};

⚠️ 注意：这不是类型漏洞，而是 TypeScript 对复杂泛型推导的合理妥协。只要函数逻辑正确（严格按 fn.length 判断），运行时行为完全可靠。

博特妙笔

公职人员公文写作平台，集查、写、审、学为一体。

下载

✅ 实际使用效果

const join = (a: number, b: number, c: number) => `${a}_${b}_${c}`;
const curriedJoin = curry(join);
// 类型：Curried<[number, number, number], string>

const partial = curriedJoin(1); 
// 类型：Curried<[number, number], string>

const result = partial(2, 3); 
// 类型：string → 完美推导！
console.log(result); // "1_2_3"

链式调用也完全受支持：

curriedJoin(1)(2, 3); // ✅ 类型安全，无报错

⚠️ 重要注意事项：function.length 的运行时不确定性

需警惕 JavaScript 中 fn.length 仅反映形参个数，而 TypeScript 允许函数类型宽泛赋值（如 (x: string) => void 可赋给 (x: string, y: number) => void）。这会导致：

• 编译期类型认为 length === 3（基于参数列表），
• 运行时 fn.length === 1（因实际函数只声明了 1 个参数），
• 柯里化逻辑误判参数是否“已满”，引发运行时错误。

✅ 建议：仅对明确签名的函数（如工具函数、非回调场景）使用此 curry；对 Array.filter 等接收回调的 API，应避免依赖 length 做柯里化判断。

综上，通过递归接口 + 条件类型 + 显式断言，我们实现了真正类型安全、可推导、可链式调用的柯里化函数——既满足开发体验，又不失类型严谨性。