如何使用变量来推断打字稿中的对象

由 发布于 typescript
 收藏

我有以下正在运行的代码：

type ParamType = { a: string, b: string } | { c: string }

if ('a' in params) {
  doSomethingA(params)
} else {
  doSomethingC(params)
}

doSomethingA only accepts { a: string, b: string } while doSomethingC only accepts { c: string }

The issue I'm running into is I recently changed a key in { a: string, b: string } and typescript didn't complain on the 'a' in params as I would have liked. So I made the following update:

type A = { a: string, d: string }
type B = { c: string }
type ParamType = A | B

const testKey: keyof A = 'd'

if (testKey in params) {
  doSomethingA(params)
} else {
  doSomethingC(params)
}

however now typescript does not infer the type of params correctly within the if/else and I get:

Property 'd' is missing in type 'B' but required in type 'A'.

Is there a way to ensure that the key I'm using in my if statement is one of the keys from A while also getting correct types within the if statement itself?
评论