TypeScript错误2322：泛型约束子类型实例化问题及解决探讨

错误原因解析 #

你遇到的错误本质是TypeScript的泛型子类型窄化问题：虽然你约束了T extends Record<string, number>，但T可以是这个约束的子类型——比如传入一个字面量对象{ age: 25 }，此时T[K]的类型是字面量类型25，而非宽泛的number。42属于number类型，但无法赋值给更具体的25类型，因此TypeScript报错。

可行解决方案 #

方案1：类型断言（快速解决，需注意风险） #

直接用类型断言告诉TypeScript你确认42可以安全赋值给T[K]：

export async function assignNumber<
  T extends Record<string, number>,
  K extends keyof T,
>(
  object: T,
  key: K,
) {
  object[key] = 42 as T[K];
}

• 适用场景：你明确知道调用方传入的对象不会依赖字面量类型的严格约束，或者你的函数逻辑就是要强制覆盖属性值。
• 风险提示：如果调用方用as const锁定了对象的字面量类型，调用函数后会出现类型与实际值不一致的情况（比如类型显示25，实际值是42）。

方案2：简化泛型约束（更安全的写法） #

如果你的函数不需要保留对象的完整具体类型，只需要确保目标属性是number类型，可以简化泛型约束：

export async function assignNumber<K extends string>(
  object: Record<K, number>,
  key: K,
) {
  object[key] = 42;
}

• 优势：彻底避免子类型窄化问题，类型检查更严格，无需断言。
• 局限性：函数无法获取对象的其他属性类型信息，如果业务需要保留原对象的完整类型，此方案不适用。

方案3：拓宽调用方的类型（调用端处理） #

如果是调用方传入了字面量对象导致的问题，可以让调用方主动拓宽属性类型为number：

// 主动声明类型，避免字面量窄化
const obj: { foo: number } = { foo: 123 };
assignNumber(obj, 'foo'); // 无错误

这种方式不需要修改函数代码，适合你无法修改函数但能控制调用方式的场景。

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