TypeScript实现exclude函数报错：Omit<T, keyof T>无string类型索引签名

需要实现类似TypeScript内置Pick、Omit类型的功能，从对象中筛选或排除指定字段。已成功实现pick函数，但编写exclude（对应Omit）函数时遇到编译错误：

No index signature with a parameter of type 'string' was found on type 'Omit<T, keyof T>'

可正常运行的pick函数（待优化） #

export function pick<T extends Object>(
  obj: T,
  ...s: [keyof T]
): Pick<T, keyof T> {
  const returnValue = {} as Pick<T, keyof T>;
  s.forEach((k) => {
    returnValue[k] = obj[k];
  });
  return returnValue;
}

存在编译错误的exclude函数 #

错误出现在returnValue[e[0]] = obj[e[0]]行：

export function exclude<T extends Object>(
  obj: T,
  ...s: [keyof T]
): Omit<T, keyof T> {
  const returnValue = {} as Omit<T, keyof T>;
  Object.entries(obj).forEach((e) => {
    if (!s.includes(e[0] as keyof T))
      returnValue[e[0]] = obj[e[0]]
  });

  return returnValue;
}

尝试搜索string转keyof对象的方法但无果，请问忽略了什么？

核心错误点 #

1. 返回类型错误：Omit<T, keyof T>会排除T的所有键，最终返回空对象类型，完全不符合exclude函数“排除指定键、保留其余键”的预期。
2. 泛型与参数类型不匹配：
   • 原函数仅用T作为泛型，无法精准约束要排除的键集合；
   • 参数s的类型[keyof T]是元组类型，仅允许传入一个键，不符合“排除多个键”的需求，应改为可变参数数组。
3. 类型断言不精准：Object.entries(obj)返回的键是string类型，即使断言为keyof T，也无法匹配Omit<T, K>的键类型（Exclude<keyof T, K>），导致赋值时类型不兼容。

修正后的exclude函数 #

export function exclude<T extends object, K extends keyof T>(
  obj: T,
  ...excludeKeys: K[]
): Omit<T, K> {
  const returnValue = {} as Omit<T, K>;
  // 遍历对象的键而非entries，避免string类型的键问题
  (Object.keys(obj) as Array<keyof T>).forEach((key) => {
    if (!excludeKeys.includes(key)) {
      // 临时断言绕过严格类型检查，已通过逻辑确保key合法
      (returnValue as Record<keyof T, unknown>)[key] = obj[key];
    }
  });
  return returnValue;
}

优化后的pick函数 #

原pick函数返回类型是Pick<T, keyof T>（即原对象类型），未体现“筛选指定键”的语义，优化后精准约束返回类型：

export function pick<T extends object, K extends keyof T>(
  obj: T,
  ...pickKeys: K[]
): Pick<T, K> {
  const returnValue = {} as Pick<T, K>;
  pickKeys.forEach((key) => {
    returnValue[key] = obj[key];
  });
  return returnValue;
}

关键说明 #

• 用泛型K extends keyof T约束要筛选/排除的键，确保传入的键都是T的合法键；
• 遍历Object.keys(obj)并断言为Array<keyof T>，避免string类型的键与对象键类型不兼容；
• 赋值时通过Record<keyof T, unknown>临时断言，绕过TypeScript的严格类型检查（已通过!excludeKeys.includes(key)确保key属于Omit<T, K>的键集合）。

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