为何泛型函数中嵌套对象数组的TypeScript类型推断失效？

为什么数组场景下类型检查失效？ #

你定义的fn2<T extends PARAM>(a: TYPE<T>[])中，泛型T是整个数组共用的单一类型。TypeScript会尝试推断一个能兼容数组所有元素的T：

• 对于示例数组，TypeScript会把T推断为{ a: string } | { b: string }或更宽泛的{ [k: string]: string }
• 此时TYPE<T>的attrB会变成{ [k in keyof T]: null }，而keyof ({ a: string } | { b: string })结果为never，最终attrB的类型退化为空对象{}
• 这就导致任何attrB结构都能通过检查，完全失去了原本的约束作用

另外，对象字面量的额外属性检查（对未定义属性的报错）在数组元素场景下会被弱化，因为数组元素被统一为TYPE<T>类型，TypeScript不会对每个元素单独触发严格的字面量校验。

如何修改实现动态约束？ #

我们需要让数组的每个元素拥有独立的泛型约束，而非共用同一个T。可以通过泛型数组的索引映射实现：

方法1：数组参数版本 #

type PARAM = { [k: string]: string };

type TYPE<T extends PARAM> = {
  attrA: T;
  attrB: { [k in keyof T]: null };
};

// 让数组每个元素对应独立的泛型T
function fn2<T extends PARAM[]>(a: { [I in keyof T]: TYPE<T[I]> }) {}

fn2([
  {
    attrA: { a: 'a' },
    attrB: { a: null } // 正常通过
  }, {
    attrA: { b: 'b' },
    attrB: { z: null } // 报错：类型"{ z: null; }"中缺少属性"b"，但类型"{ b: null; }"需要该属性
  },
]);

方法2：剩余参数版本（支持任意数量元素） #

// 用剩余参数接收任意数量元素，每个元素独立推断泛型
function fn2<T extends PARAM[]>(...a: { [I in keyof T]: TYPE<T[I]> }) {}

fn2(
  { attrA: { a: 'a' }, attrB: { a: null } },
  { attrA: { b: 'b' }, attrB: { z: null } }, // 同样报错
  { attrA: { c: 'c' }, attrB: { c: null } } // 正常通过
);

原理说明 #

核心逻辑是{ [I in keyof T]: TYPE<T[I]> }：

• T被推断为由PARAM类型组成的数组/元组
• 对数组每个索引I，将对应元素类型映射为TYPE<T[I]>，即每个元素使用自身的T[I]作为泛型参数
• 这样每个元素的attrA和attrB会被独立校验，确保键的一致性

内容的提问来源于stack exchange，提问作者Daniel de Andrade Varela