TypeScript泛型约束识别异常？对象赋值报错原因咨询

以下是相关代码及报错情况：

const objectKeys = <T extends {},>(obj: T) => Object.keys(obj) as Array<keyof T>;

const bigObject = {
    a: 1,
    b: '2',
    c: [3],
};
const smallOne = {
    a: 1,
    b: '2',
} satisfies Partial<typeof bigObject>;


// 等同于 Object.assign(bigObject, smallOne)

// 这段报错原因已理解：`bigObject[key]` 对应 `bigObject['a' | 'b']`，类型为 `number | string`，将 `smallOne[key]` 赋值给它时，要求类型为 `string & number`，即 never
objectKeys(smallOne).forEach(key => bigObject[key] = smallOne[key]);
// err:                             ^^^^^^^^^^^^^^
// Type 'string | number' is not assignable to type 'never'.

// 此处存在疑问：类型 T 被约束为 keyof (typeof smallOne)，即只能是 'a' 或 'b'，为何TypeScript要求smallOne具备属性 'c'？期望该行代码正常运行。
objectKeys(smallOne).forEach(<T extends keyof (typeof smallOne),>(key: T) => bigObject[key] = smallOne[key]);
// err:                                                                      ^^^^^^^^^^^^^^
// Type '{ a: number; b: string; }[T]' is not assignable to type '{ a: number; b: string; c: number[]; }[T]'.
//  Property 'c' is missing in type '{ a: number; b: string; }' but required in type '{ a: number; b: string; c: number[]; }'.(2322)

报错原因解析 #

TypeScript处理泛型索引类型赋值时，会执行全称量化检查：它需要确保对于所有可能的T（即便T被约束为keyof smallOne），smallOne[T]的类型都能兼容bigObject[T]。

这里的核心问题是，TypeScript会把{ a: number; b: string; }[T]和{ a: number; b: string; c: number[]; }[T]作为两个泛型类型整体比较，而非仅针对T的实际可能取值（'a'/'b'）。它会校验：是否任意T（只要同时属于两个对象的key），前者类型都兼容后者？

由于bigObject包含c这个key，而smallOne没有，TypeScript会认为当T为c时（虽然你的泛型约束排除了该情况，但类型系统的全称检查不会忽略），smallOne[T]为undefined，而bigObject[T]是number[]，二者不兼容，因此抛出“缺少属性c”的错误。

解决方法 #

方法1：给smallOne指定精确关联类型 #

直接用Pick提取bigObject的指定key类型，让TypeScript明确二者的类型关联：

const smallOne: Pick<typeof bigObject, 'a' | 'b'> = {
    a: 1,
    b: '2',
};

方法2：类型断言缩小范围 #

在回调中通过类型断言明确赋值的类型兼容性：

objectKeys(smallOne).forEach(<T extends keyof typeof smallOne>(key: T) => {
    bigObject[key] = smallOne[key] as typeof bigObject[T];
});

方法3：直接使用Object.assign #

Object.assign内部已处理好类型兼容逻辑，是最简洁的方案：

Object.assign(bigObject, smallOne);

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