TypeScript如何解决类型不可赋值、需传入全部属性的报错

你当前定义的ForMembers类型未对传入的函数对象键做可选约束，TypeScript会默认要求传入的对象覆盖目标类型D的全部必填属性，因此缺失属性时会抛出类型错误。

调整ForMembers的类型定义，通过keyof遍历目标类型的键，配合TypeScript内置的Partial工具类型将所有属性标记为可选，同时修正函数内的类型推导即可，修改后的完整代码如下：

// 调整ForMembers泛型参数，基于目标类型D生成可选的处理函数映射
type ForMembers<D> = Partial<{
  [Key in keyof D]: (arg: D) => void;
}>;

export default function transform<S extends { [index: string]: any }, D extends { [index: string]: any }>(
  source: S,
  interfaceName: string,
  forMembers?: ForMembers<D>
): D {
  const newObj = extract(source, getKeys(interfaceName)) as unknown as D;
  if (forMembers) {
    Object.keys(forMembers).forEach((key) => {
      const handler = forMembers[key as keyof D];
      handler?.(newObj);
    });
  }
  return newObj;
}

• keyof D会取出目标类型D的所有公开属性名，作为函数对象允许传入的键范围，传入不存在的键时TS会直接抛出错误
• Partial<>包裹后，映射出的所有属性都会变为可选，不需要强制传入D的全部属性
• 函数内部增加了类型断言和可选链调用，避免遍历键时出现隐式any的类型报错

修改后原有调用代码可以正常通过类型校验，支持按需传入任意组合的属性处理函数，不需要补全names这类不需要自定义处理的属性。

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