TypeScript实现接口属性名入参函数的类型报错解决

报错根因 #

这个类型错误来自TypeScript的泛型关联丢失：当你将第二个参数直接标注为Partial<Properties>时，TS无法建立「第一个入参property的泛型类型T」和「从overrides上取T对应属性值」的强绑定关系，只会把overrides[property]推导为所有属性可选值的宽泛联合类型，无法匹配handlers[property]要求的精确入参类型Properties[T] | undefined。

实现方案 #

方案1：泛型绑定修正（零类型断言，全类型安全，推荐）

将第二个参数的类型也和泛型T做关联，让TS可以正确推导对应属性的取值类型，不需要修改任何运行时逻辑：

const handleProperty = <T extends keyof Properties>(
  property: T,
  overrides: Pick<Partial<Properties>, T>
) => {
  return handlers[property](overrides[property])
}

该实现完全覆盖所有要求的调用场景：

• 传入空对象、仅包含其他属性的对象时，overrides[property]推导为undefined，符合handler入参要求
• 传入包含目标属性的对象时，overrides[property]自动推导为对应属性的精确类型，完全匹配handler入参
• 传入错误类型的属性值时（比如给id属性传字符串值），TS会正常抛出类型错误，保留完整类型校验能力。

方案2：类型断言快速修复

如果你希望保留第二个参数为Partial<Properties>的类型标注，也可以通过类型断言明确告知TS该取值符合入参要求——你的运行时逻辑本身是正确的，不存在类型安全问题：

const handleProperty = <T extends keyof Properties>(
  property: T,
  overrides: Partial<Properties>
) => {
  return handlers[property](overrides[property] as Properties[T] | undefined)
}

注意：该方案会跳过TS对该传参位置的类型校验，需要自行保证运行时逻辑的正确性。

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