TypeScript函数重载报错：重载签名与实现签名不兼容

你定义了两个接口、三个函数重载签名及实现，但遇到错误：This overload signature is not compatible with its implementation signature，报错指向第二个重载。问题出在实现的返回值类型不兼容重载签名，同时代码里还有几处语法/逻辑错误，具体修复如下：

错误根源 #

1. 返回值类型不匹配：实现函数的返回类型需要兼容所有重载签名的返回类型（MyPosition | MyPositionWithDefault），但原代码里的错误导致TypeScript无法正确推断类型。
2. 代码拼写错误：第一个分支返回的属性是u（应为y）；第二个分支里a.toString是函数引用，不是字符串，应该调用a.toString()。
3. 重载与实现的类型兼容性：实现函数的返回值必须能被所有重载签名的返回类型覆盖，原实现的错误返回导致类型推断异常。

修复后的代码 #

interface MyPosition {
  x: number | undefined
  y: number | undefined
}

interface MyPositionWithDefault extends MyPosition {
  default: string
}

function position(): MyPosition
function position(a: number): MyPositionWithDefault
function position(a: number, b: number): MyPosition
function position(a?: number, b?: number): MyPosition | MyPositionWithDefault {
  if (a === undefined && b === undefined) {
    return { x: undefined, y: undefined }
  }

  if (a !== undefined && b === undefined) {
    return { x: a, y: undefined, default: a.toString() }
  }

  return { x: a, y: b }
}

关键修复点 #

• 显式指定实现函数的返回类型为MyPosition | MyPositionWithDefault，让TypeScript明确返回值兼容所有重载。
• 修正拼写错误：把u改为y，把a.toString改为a.toString()。
• 用严格的undefined判断替代!a（避免0被误判为false），逻辑更严谨。

内容的提问来源于stack exchange，提问作者Дарья Орлова