TypeScript宽松泛型类型对象无法给新属性赋值报错排查

报错的核心原因是对TypeScript泛型的extends约束存在认知偏差。

遗漏的核心知识点 #

T extends {[key: string]: any}是泛型的上限约束，仅表示传入的泛型T必须兼容「字符串为键、值为任意类型的对象」这个结构，不代表T本身就等于这个索引签名类型。

T可以是任意符合该约束的更具体的子类型，比如你完全可以传入类型为{ id: number, name: string }的参数调用函数，此时T[keyof T]的实际类型是number | string，你将{}（空对象）赋值给这种类型的字段，显然违反类型约定，TS的报错是合理的，目的是防止出现潜在的类型不兼容问题。

另外你代码中把Object.keys(source)断言为Array<keyof T>的写法本身也存在风险：Object.keys返回的永远是string[]类型，而keyof T可能包含数字、Symbol类型的键，极端场景下会出现类型不匹配。

修复方案 #

如果你的业务逻辑确实是要给target中不存在的键默认赋值空对象，可以选择以下两种方式修复：

方式1：收窄泛型约束，明确值类型为对象 #

如果你的入参所有属性的值都是对象类型，可以直接修改泛型约束，从根源上符合赋值逻辑：

const testFunction = <T extends Record<string, object> = Record<string, object>>(target: T, source: T): T  => {
  (Object.keys(source) as Array<keyof T>).forEach(function (key) {
      if (!target[key]) {
        target[key] = {};
      }
  })
  return target;
};

方式2：添加类型断言跳过类型校验 #

如果确实需要支持任意类型的属性值，且你可以确认赋值空对象符合你的业务预期，可以添加类型断言告诉TS你的操作是安全的：

const testFunction = <T extends {[key: string]: any} = {[key: string]: any}>(target: T, source: T): T  => {
  (Object.keys(source) as Array<keyof T>).forEach(function (key) {
      if (!target[key]) {
        target[key] = {} as T[keyof T];
      }
  })
  return target;
};

内容的提问来源于stack exchange，提问作者Łukasz Zaroda