TypeScript函数参数类型限制：解决对象赋值类型不兼容错误

问题根源 #

你写的函数之所以报错，核心原因是T extends Record<string, number>仅约束了T的所有属性兼容number，但T[K]可以是number的子类型（比如数字字面量1、2），甚至像你示例中的交叉类型场景——此时number类型的值无法直接赋值给更窄的T[K]类型，TypeScript会抛出类型不匹配的错误。

可行解决方案 #

方案1：让value类型与T[K]严格匹配 #

直接将value的类型定义为T[K]，确保赋值的类型完全一致：

function foo<T extends Record<string, number>, K extends keyof T>(target: T, property: K, value: T[K]) {
  target[property] = value;
}

这个方案最安全，TypeScript会严格校验赋值的类型，比如当T是{ x: 1 }时，value必须是1类型的值。

方案2：使用类型断言跳过检查 #

如果你确定业务场景中赋值的number是安全的，可以用类型断言告诉TypeScript忽略类型差异：

function foo<T extends Record<string, number>, K extends keyof T>(target: T, property: K, value: number) {
  target[property] = value as T[K];
}

注意：这个方式会关闭TypeScript的类型检查，如果T[K]是更窄的数字字面量类型，赋值其他number可能导致运行时不符合预期，需谨慎使用。

方案3：直接使用Record<string, number>作为target类型 #

如果不需要泛型T的灵活性，直接将target定义为Record<string, number>类型，这样属性类型就是明确的number：

function foo(target: Record<string, number>, property: string, value: number) {
  target[property] = value;
}

这个方案最简单，适合不需要针对特定子类型做处理的场景。

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