Typescript 如何避免多个类型参数重复

发布于11月02日

我有几个需要与相同类型参数一起使用的泛型类型:

type Type1<A, B, C> = ...;
type Type2<A, B, C> = ...;
type Type3<A, B, C> = ...;

f(x: Type1<ComplexParam1, ComplexParam2, ComplexParam3>) {
  const y: Type2<ComplexParam1, ComplexParam2, ComplexParam3> = ...;
  const z: Type3<ComplexParam1, ComplexParam2, ComplexParam3> = ...;
}

如果我可以对类型参数使用扩散运算符，我就可以避免重复:

type ComplexParams = [ComplexParam1, ComplexParam2, ComplexParam3];

f(x: Type1<...ComplexParams>) {
  const y: Type2<...ComplexParams> = ...;
  const z: Type3<...ComplexParams> = ...;
}

但这种语法不起作用.有没有其他方法来实现类似的目标？

推荐答案

我认为最接近这一点的方法是使用Tuple types和Index Access types，如下所示.这可能会节省一些代码，因为您只需定义ComplexParams一次.

type Type1<A, B, C> = any;
type Type2<A, B, C> = any;
type Type3<A, B, C> = any;

type ComplexParam1 = any;
type ComplexParam2 = any;
type ComplexParam3 = any;

type ComplexParams = [ComplexParam1, ComplexParam2, ComplexParam3];

function f(x: Type1<ComplexParams[0], ComplexParams[1], ComplexParams[2]>) {
  let y: Type2<ComplexParams[0], ComplexParams[1], ComplexParams[2]>;
  let z: Type3<ComplexParams[0], ComplexParams[1], ComplexParams[2]>;
}

或者重构Type1、Type2和Type3以接受单个元组参数，而不是三个单独的generic arguments(稍后访问它的各个类型->；相同的原则).

TypeScript Playground个