javascript - 具有依赖类型的 Typescript 联合

Question

如果我有以下包含函数及其参数的联合，我该如何调用它？

type Wrapper = {
  fn: (a: string) => void
  arg: string
} | {
  fn: (a: number) => void
  arg: number
}

let foo!: Wrapper
foo.fn(foo.arg) // Error Type 'string' is not assignable to type 'never'.

我不知道怎么调用它。我尝试过的所有内容基本上都归结为强制转换(例如转换为 (a:any) => void)，如果必须的话我可以这样做，但我觉得我不应该这样做必须这样做。

这个函数可以不强制转换就调用吗？

编辑:为了澄清，我想问的是是否存在不涉及更改 Wrapper 定义的解决方案。

Answer 1

您可以使用条件类型来消除类型歧义。不幸的是，它需要你基本上再次复制你的包装器联合类型，如果你有更多的东西需要检查，你的条件类型将变得非常丑陋。但它确实可以让您避免强制转换(某种程度上)。

type Wrapper = {
  fn: (a: string) => void
  arg: string
} | {
  fn: (a: number) => void
  arg: number
}

type Disambiguate<W extends Wrapper> = W['arg'] extends string
  ? { fn: (a : string) => void, arg: string }
  : { fn: (a: number) => void, arg: number };

let foo!: Disambiguate<Wrapper>

// The compiler is satisfied. No error here.
// foo can only be one of the branches in the conditional type.
foo.fn(foo.arg);