如何修复泛型对象场景下的‘类型缺少属性’TypeScript报错？

为什么会报错？ #

这是TypeScript函数参数的逆变特性加上索引签名类型的行为共同导致的：

1. 你定义的runner类型是(args: Parameters) => void，其中Parameters是带字符串索引签名的类型{ [key: string]: string }——它表示所有键为string、值为string的对象，也就是说，符合这个类型的对象可以有任意string键，也可能缺少某个特定键（比如hello）。
2. 当你尝试把logHelloFromArgs（参数类型是CustomParams，要求hello必填）传给run时，TypeScript会检查函数类型的兼容性。根据函数逆变规则：如果A是B的子类型，那么(B) => void是(A) => void的子类型。换句话说，父函数的参数类型必须能赋值给子函数的参数类型。
3. 但这里Parameters类型的对象不一定包含hello属性（比如{abc: "123"}），如果允许logHelloFromArgs作为runner传入，run内部调用fn(params)时，就可能把一个没有hello的对象传给期望hello必填的函数，这会引发运行时错误。TypeScript正是为了拦截这个风险才抛出了报错。

如何修改runner库？ #

把run函数改成泛型函数，让它适配任意符合要求的对象类型，同时保证传入的函数和参数类型完全匹配：

方案1：约束为键值均为string的对象 #

修改runner.ts代码：

export type Parameters = { [key: string]: string };

export default function run<P extends Record<string, string>>(
  fn: (args: P) => void,
  params: P
) {
  fn(params);
}

方案2：支持更宽泛的对象类型（不限定值的类型） #

如果需要支持值类型不只是string的对象，可以放宽约束：

export type Parameters = { [key: string]: string };

export default function run<P extends object>(
  fn: (args: P) => void,
  params: P
) {
  fn(params);
}

方案3：保留原Parameters类型作为默认值 #

如果想兼容原来的用法，给泛型加上默认值：

export type Parameters = { [key: string]: string };

export default function run<P extends Record<string, string> = Parameters>(
  fn: (args: P) => void,
  params: P
) {
  fn(params);
}

修改后，run(logHelloFromArgs, { hello: "123" })和run(logGenericArgs, { abc: "123" })都能正常通过类型检查，既保证了类型安全，又不用限制参数的具体结构，也不需要修改CustomParams或原Parameters的定义。

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