代码之家 › 专栏 › 技术社区 › richbai90

动态组合函数中的类型

generics typescript

richbai90 · 技术社区 · 6 年前

n ModelOf<T, A> 并返回类型 ModelOf<T_n1 & T_n2 &T_n3..., A_n1 | A_n2 | A_n3...> T_n 和 A_n 是传递到函数中的模型的泛型参数。这是我到目前为止的情况。

export interface ModelOf<T, A extends string> {
  initial: Record.Factory<T>;
  actions: (
    update$: Subject<
      (state: Record<T> & Readonly<T>) => Record<T> & Readonly<T>
    >
  ) => {
    [p in A]: (...P: any) => void;
  };
}

const modelA : ModelOf<ShapeOfModelA, ActionsOfModelA> = ...
const modelB : ModelOf<ShapeOfModelB, ActionsOfModelB> = ...

const combineModels = (...models : ModelOf<any, any>) : ModelOf<any, any> => {...}
const model = combineModels(modelA, modelB); // ModelOf<any, any> is not what I want

any

0 回复 | 直到 6 年前

ford04 6 年前

你可以写 combineModels 函数类型如下:

declare function combineModels<T extends ModelOf<any, any>[]>(
  ...models: T
): T extends ModelOf<infer I, infer U>[]
  ? ModelOf<UnionToIntersection<I>, U>
  : never;

type UnionToIntersection<T> = (T extends any
  ? (arg: T) => void
  : never) extends (arg: infer I) => void
  ? I
  : never;

generic rest parameters 的元组类型 models 函数参数。的所有实例化 T A ModelOf<T, A extends string> 是吗 conditionally inferred 作为联合类型 I 和 U 我 T s) 到交叉点类型。

interface ModelOf<T, A extends string> {}
declare const modelA: ModelOf<{ a: number }, "fooAction">;
declare const modelB: ModelOf<{ b: string }, "barAction">;

const model = combineModels(modelA, modelB); 
// ModelOf<{a: number} & {b: string}, "fooAction" | "barAction">

Playground

希望,这有帮助!

你也可以用 lookup type 相反(也许更简单一点):

declare function combineModels<T extends ModelOf<any, any>[]>(
  ...models: T
): ModelOf<UnionToIntersection<T[number]["t"]>, T[number]["a"]>

Playground

推荐文章

Abdulkerim Awad · 带有泛型的Typescript函数重载无法按预期工作

1 年前

matt · 为什么在使用泛型参数时可以进行强制转换,而在指定了参数后则不能

1 年前

Moonlit · 在Golang中将`func()Foo`转换为`func)any`?

1 年前

Pavel Foltyn · 如何在C中生成逆字典#

1 年前

Danil · 无法访问通用下标

1 年前

Daniel · C#编译器在应该出错时失败

1 年前

Unlucky · Apollo服务器PubSub实现中的TypeScript泛型问题

1 年前

Oliver Schönrock · 将泛型函数指针强制转换为具有指向不同类型的void*params的特定签名是否定义良好

1 年前

Raz Luvaton · 如何在rust中使用结构泛型使用编译时已知大小为数组长度的类型

1 年前

Exifers · Record与泛型键扩展模板文字的交集不会推断索引访问的结果

1 年前