TypeScript泛型索引类型赋值报错：是否为已知缺陷？有无特定名称？

你遇到的不是TypeScript的已知缺陷，而是泛型动态属性的类型推断限制，属于TypeScript类型系统的设计行为，没有特定的官方命名。

问题原因 #

TypeScript在推断对象字面量的类型时，对于由泛型参数（T/T2）构成的动态属性名，默认会将其推断为宽泛的{[x: string]: number}索引签名，而非精确的{[K in T | T2]: number}映射类型。

核心原因是：泛型参数是类型层面的抽象，编译阶段无法确定T | T2具体包含哪些字符串值（比如当T是联合类型"a" | "b"时，传入的str1可能是"a"或"b"，字面量对象无法保证覆盖所有可能的键）。为了类型安全，编译器不会假设动态属性名完全匹配泛型索引的所有可能取值。

解决方法 #

1. 类型断言

直接通过as告诉编译器字面量对象符合目标类型：

function foo<T extends string, T2 extends string>(str1: T, str2: T2) {
  let score: {[K in T | T2]: number}; 
  score = {
    [str1]: 1, 
    [str2]: 2
  } as {[K in T | T2]: number};
}

2. 结合Record工具类型

用Record简化映射类型定义，再配合断言：

function foo<T extends string, T2 extends string>(str1: T, str2: T2) {
  let score: Record<T | T2, number>; 
  score = {
    [str1]: 1, 
    [str2]: 2
  } as Record<T | T2, number>;
}

3. 强化变量类型精度（针对字面量泛型）

如果泛型参数是具体的字符串字面量类型，可通过as const强化对象的类型推断精度：

function foo<T extends string, T2 extends string>(str1: T, str2: T2) {
  const obj = {
    [str1]: 1, 
    [str2]: 2
  } as const;
  let score: {[K in T | T2]: number} = obj as {[K in T | T2]: number};
}

补充说明 #

这个行为是TypeScript的设计选择，目的是避免泛型场景下的不安全类型推导。如果编译器允许直接赋值，当泛型参数包含多个可能的字符串值时，字面量对象可能遗漏部分键，导致运行时访问不存在的属性出现错误。

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