Typescript 函数重载中的不正确TS建议

你遇到了智能感知自动建议测试的限制，正如在microsoft/TypeScript#51047中所报告的那样.看起来，不同于字符串literal types的参数的重载最终被错误地集中在完成列表中.除非该问题得到解决，否则您需要要么接受这个问题，要么进行重构以避免重载.

实现这一点的一种方法是使用generics而不是重载.您可以编写一个"映射"接口，将您的参数表示为对象 struct .

interface ConfigMap {
  event: {
    view_product: { view_product_key: any };
    update_cart: { update_cart_key: any };
  };
}

对于该类型，您希望FooFn接受键ConfigMap作为其第一个参数，然后深入到该属性，并使下一个参数成为该类型的键，然后最后一个参数应该是该嵌套键的属性值.这可以表示为使用泛型和indexed access types的调用签名:

interface FooFn {
  <K1 extends keyof ConfigMap, K2 extends keyof ConfigMap[K1]>(
    method: K1, type: K2, config: ConfigMap[K1][K2]
  ): void    
}

因此，AFooFn有两个泛型类型参数.method的参数是K1，也就是constrained对ConfigMap的keys.type参数的值为K2，它被限制为键ConfigMap[K1](这是位于ConfigMap的K1键的属性类型).

然后config的类型是ConfigMap[K1][K2]，如果你向下钻取ConfigMap的K1属性，然后是ConfigMap[K1]的K2属性，那么属性的类型就是ConfigMap[K1][K2].

这在接受和拒绝的呼叫方面表现得更多或相同:

window.fooBar('event', 'view_product', { update_cart_key: 1 }) // error
window.fooBar('event', 'view_product', { view_product_key: 1 }) // okay

但现在，智能感知的范围缩小了，因此您只能看到适当的完成:

window.fooBar('event', 'view_product', {});
              suggestion:               ^ view_product_key 

这是因为当您编写window.fooBar('event', 'view_product', 时，编译器能够将"event"推断为K1，将"view_product"推断为K2，因此config的类型是{view_product_key: any}.在呼叫签名中没有留下update_cart_key的痕迹来阻碍.

Playground link to code个