TypeScript内联重载基础柯里化函数时遇类型定义错误如何解决？

你的问题出在函数重载的实现逻辑与参数声明不匹配，导致y在函数实现的作用域内未被定义。

错误代码示例（对应你的报错场景） #

// 重载签名
function curryFunc(x: number, y: number): number;
function curryFunc(x: number): (y: number) => number;
// 实现部分
function curryFunc(x: number) {
  // 这里直接使用y，但y未在当前函数的参数列表中声明
  if (typeof y !== 'undefined') {
    return x + y;
  }
  return (y: number) => x + y;
}

问题本质 #

TypeScript的函数重载仅作用于类型检查层面，实际的函数实现必须兼容所有重载签名，且要符合JavaScript的语法规则：变量必须先声明才能使用。

你单独用index.d.ts时，只是定义了对外的类型接口，不需要写具体实现，所以不会触发这个错误；但在TS文件内联写实现时，实现函数的参数列表只声明了x，y没有被纳入参数（哪怕是可选参数），导致TS认为y是未定义的变量，抛出TS2304错误。

正确的内联重载写法 #

把第二个参数声明为可选参数，让它进入函数作用域，再通过判断参数是否存在来分支逻辑：

// 重载签名
function curryFunc(x: number, y: number): number;
function curryFunc(x: number): (y: number) => number;
// 实现部分：将y设为可选参数
function curryFunc(x: number, y?: number) {
  if (y !== undefined) {
    return x + y;
  }
  return (y: number) => x + y;
}

或者也可以用剩余参数来兼容，不过对于双参数场景，可选参数更直观：

function curryFunc(x: number, y: number): number;
function curryFunc(x: number): (y: number) => number;
function curryFunc(x: number, ...rest: [number] | []) {
  if (rest.length > 0) {
    return x + rest[0];
  }
  return (y: number) => x + y;
}

额外说明 #

重载签名只用来约束外部调用时的类型提示，实现函数的参数必须覆盖所有重载的参数组合，同时保证内部逻辑能正确处理各种参数情况。这样既满足柯里化的类型需求，也符合JS的变量声明规则。

内容的提问来源于stack exchange，提问作者synthet1c