如何在TypeScript中将映射的泛型类型转换为元组的并集

Question

我正在创建类似于Object.entries东西，我希望它被更强地键入。 我想创建一个给定对象返回该对象属性的2元组的强类型联合的类型。

目前

export type Entries<T> = [keyof T, T[keyof T]][];

Entries<{first: number, second: string}> = ["first" | "second", number | string][]

我想要什么

Entries<{first: number, second: string}> = ["first", number] | ["second", string][]

Answer 1

您应该使用带有{[K in keyof T]: ...}语法的实际映射类型 ，然后查找其属性：

export type Entries<T> = { [K in keyof T]: [K, T[K]] }[keyof T][];

type E = Entries<{ first: number; second: string }>;
// type E = (["first", number] | ["second", string])[]

---

您还可以使用像这样的分布式条件类型 ，它需要一个辅助类型别名才能工作：

type EntriesHelper<T, K> = K extends keyof T ? [K, T[K]] : never;
type Entries<T> = Array<EntriesHelper<T, keyof T>>;

type E = Entries<{ first: number; second: string }>;
// type E = (["first", number] | ["second", string])

或像这样在条件类型中使用推断而不是帮助器的对象：

type Entries<T> = Array<
  keyof T extends infer K ? (K extends keyof T ? [K, T[K]] : never) : never
>;

type E = Entries<{ first: number; second: string }>;
// type E = (["first", number] | ["second", string])[]

---

它们在这里都产生相同的输出，但是面对可选属性或其他边缘情况时，它们的行为可能有所不同，因此请小心。 希望能有所帮助； 祝好运！

链接到代码