TypeScript中为何无法在派生接口中为现有方法添加重载？

初始场景 #

定义一个支持双number相加的基础接口：

interface SimpleAdder {
  add(a: number, b: number): number;
}

尝试通过接口继承扩展能力，为add方法新增bigint类型相加的重载：

interface ExtendedAdder extends SimpleAdder {
  add(a: bigint, b: bigint): bigint;
}

代码会抛出类型不兼容错误：

Interface 'ExtendedAdder' incorrectly extends interface 'SimpleAdder'.
  Types of property 'add' are incompatible.
    Type '(a: bigint, b: bigint) => bigint' is not assignable to type '(a: number, b: number) => number'.
      Types of parameters 'a' and 'a' are incompatible.
        Type 'number' is not assignable to type 'bigint'.(2430)

核心报错根因 #

TypeScript 对接口继承（extends）的同名方法属性处理逻辑，是类型替换而非重载合并：

• 在派生接口里直接书写的新方法签名，会完全覆盖从父接口继承来的原有方法类型
• 类型系统会校验派生接口的方法类型是否完全兼容父接口的方法类型：上述示例中，派生接口的add方法只接收bigint类型参数，无法满足父接口要求的“接收number类型参数”的契约，因此触发类型不兼容校验
• 这种行为和类的方法重载逻辑有明显区别：类内部定义的同名方法会自动累加为重载列表，而接口继承不会做这类合并操作

现有可行方案的局限性 #

• 手动重复声明父接口原有方法签名：在派生接口里手抄父接口的add方法签名，再追加新的重载，确实可以让代码正常运行，但在复杂业务场景下存在明显缺陷：如果父接口的方法存在多个重载、或后续迭代修改了方法定义，子接口的重复声明会出现版本不一致问题，维护成本极高。
• 交叉类型别名定义：通过type ExtendedAdder = SimpleAdder & { add(a: bigint, b: bigint): bigint }的写法可以自动合并父接口的方法重载列表，不需要重复抄签名，但失去了接口的原生语义：不支持接口声明合并、无法匹配基于接口的类型收窄逻辑，和项目常规的接口设计风格不统一。

兼容接口语义的低冗余实现方案 #

可以结合类型工具，在派生接口里手动完成重载合并的逻辑，既不需要重复抄写父接口的方法签名，又能保留完整的接口特性：

// 基础接口示例，可包含任意数量的原有方法重载
interface SimpleAdder {
  add(a: number, b: number): number;
  add(a: string, b: string): string;
}

// 派生接口实现
interface ExtendedAdder extends Omit<SimpleAdder, 'add'> {
  // 自动提取父接口的原add方法类型，与新增重载交叉合并
  add: SimpleAdder['add'] & {
    (a: bigint, b: bigint): bigint;
  }
}

该实现的优势：

• 完全保留接口的派生语义，支持接口声明合并、类型收窄等所有原生接口能力
• 自动同步父接口的方法签名变更，不需要手动维护重复代码
• 交叉后的函数类型会自动将两边的签名合并为重载列表，和手写所有重载的行为完全一致

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