如何为含兜底重载的TypeScript接口新增特定重载？

可以实现，核心问题在于TypeScript的重载匹配逻辑：它会按重载定义的顺序从上到下查找第一个匹配调用参数的签名。原接口的兜底重载（比如用rest参数的）兼容性最广，会匹配几乎所有调用；而直接扩展接口时，新增的重载会被追加到原重载列表的末尾，也就是兜底重载之后，所以永远不会被触发。

解决步骤 #

不要直接扩展原接口的单个方法，而是重新声明整个接口，把原有的所有重载（包括特定签名和兜底）复制过来，再将新增的重载插入到兜底签名之前。

示例：扩展lodash的extend方法 #

原LoDashStatic接口中extend的重载包含最多4个源对象的签名，最后是兜底重载。要新增支持5个源对象的重载，在你的lodash-extensions.d.ts中这样写：

declare module 'lodash' {
  interface LoDashStatic {
    // 复制原接口的所有特定重载，确保和原定义一致
    extend<TObject, TSource>(object: TObject, source: TSource): TObject & TSource;
    extend<TObject, TSource1, TSource2>(object: TObject, source1: TSource1, source2: TSource2): TObject & TSource1 & TSource2;
    extend<TObject, TSource1, TSource2, TSource3>(object: TObject, source1: TSource1, source2: TSource2, source3: TSource3): TObject & TSource1 & TSource2 & TSource3;
    extend<TObject, TSource1, TSource2, TSource3, TSource4>(object: TObject, source1: TSource1, source2: TSource2, source3: TSource3, source4: TSource4): TObject & TSource1 & TSource2 & TSource3 & TSource4;
    
    // 新增的5个源对象重载，放在兜底之前
    extend<TObject, TSource1, TSource2, TSource3, TSource4, TSource5>(
      object: TObject,
      source1: TSource1,
      source2: TSource2,
      source3: TSource3,
      source4: TSource4,
      source5: TSource5
    ): TObject & TSource1 & TSource2 & TSource3 & TSource4 & TSource5;
    
    // 保留原兜底重载
    extend<TObject>(object: TObject, ...otherSources: any[]): TObject;
  }
}

注意事项 #

• 复制原重载时必须和原模块定义完全一致，避免破坏原有代码的类型推断；
• 若原模块后续更新了重载列表，需要同步更新你重写的接口，否则可能出现类型不匹配；
• 这种方法适用于所有带兜底重载的接口扩展场景，不限于lodash。

内容的提问来源于stack exchange，提问作者T.J. Crowder