如何将TypeScript泛型数组类型转换为泛型联合类型适配Omit

你的问题核心是Omit的第二个参数要求是单个键或键的联合类型，但你把泛型P定义成了数组类型，导致类型不匹配。这里有两种解决思路：

方案1：将数组类型转换为联合类型 #

利用TypeScript的P[number]语法，可以提取数组元素的联合类型，直接替换Omit的第二个参数。同时由于Object.fromEntries的返回类型默认是Record<string, unknown>，需要加类型断言来匹配预期返回值：

export function excludeProps<T extends Record<string, any>, P extends Array<keyof T>>(
  object: T,
  ...propsToExclude: P
): Omit<T, P[number]> {
  const filteredEntries = Object.entries(object).filter(([key]) => !propsToExclude.includes(key as keyof T));
  return Object.fromEntries(filteredEntries) as Omit<T, P[number]>;
}

这里P[number]会把数组类型P转换成它包含的键的联合类型，刚好满足Omit的参数要求。

方案2：更直观的泛型定义（推荐） #

没必要把P定义成数组类型，直接让它是keyof T的子集联合类型，然后让propsToExclude作为这个联合类型的数组。这种写法更符合TypeScript的常规用法，类型推断也更清晰：

export function excludeProps<T extends Record<string, any>, P extends keyof T>(
  object: T,
  ...propsToExclude: P[]
): Omit<T, P> {
  const filteredEntries = Object.entries(object).filter(([key]) => !propsToExclude.includes(key as P));
  return Object.fromEntries(filteredEntries) as Omit<T, P>;
}

调用时比如excludeProps({a: 1, b: 2}, 'a', 'b')，TypeScript会自动推断P为'a' | 'b'，返回类型就是Omit<{a: number, b: number}, 'a' | 'b'>，完全符合需求。

内容的提问来源于stack exchange，提问作者Daniel Macak