为什么我不能在派生接口中添加重载？

Question

我正在尝试创建一个派生接口，为现有方法添加新的重载。 但是 TypeScript 不会让我。

考虑以下允许添加两个number的接口：

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

假设我想创建一个派生接口——除了number之外——还允许添加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 似乎不明白我正在尝试添加重载，而不是替换方法签名。

如果我明确重复继承的重载，它确实有效。 但这对我来说似乎是多余的（尤其是在更复杂的阅读世界场景中）：

interface ExtendedAdder extends SimpleAdder {
  add(a: number, b: number): number; // Copied from SimpleAdder
  add(a: bigint, b: bigint): bigint;
}

我发现的另一个解决方法是将ExtendedAdder定义为类型别名而不是接口。 但是这种方法缺乏派生接口的清晰性：

type ExtendedAdder = SimpleAdder & {
  add(a: bigint, b: bigint): bigint;
}

编辑：我的实际代码与添加数字无关，我实际的 function 签名更复杂。 这个问题严格来说是关于通过派生接口向现有方法添加重载，而不是关于这个特定的用例。

Answer 1

在这里，您有通用解决方案：

//https://stackoverflow.com/questions/50374908/transform-union-type-to-intersection-type/50375286#50375286
type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends (
  k: infer I
) => void
  ? I
  : never;

type A = (a: number, b: number) => number;
type B = (a: bigint, b: bigint) => bigint;
type C = (a: number[], b: string, c: string[]) => 42

type Fn = (...args: any[]) => any;
type AllFn = [A, B, C]

type Overloading<T extends ReadonlyArray<Fn>> = UnionToIntersection<T[number]>

type OverloadingParams<T extends ReadonlyArray<Fn>> = Parameters<T[number]>

const x: Overloading<AllFn> = (...arg: OverloadingParams<AllFn>) => null as any;

const result1 = x(2n, 2n) // bigint
const result2 = x(2, 2)// number
const result3 = x([1, 2], 'sd', ['sdf']) //42
const result4 = x(1, 'sd', ['sdf']) //expected error
const result5 = x([1], 2n, ['sdf']) //expected error
const result6 = x([1], 2, ['sdf']) //expected error
const result7 = x(1, 2,2) //expected error