在不扩展的情况下推断泛型类型

Question

在下面的 sn-p 中，y 的类型被推断为 Bar<{}>，由于二元性：

type Foo<A> = { type: "foo", x: A }
type Bar<A> = { type: "bar", y: A }

type FooBar<A> = Foo<A> | Bar<A>

type Opposite<A, FB extends FooBar<A>> = FB["type"] extends "foo" ? Bar<A> : Foo<A>

declare function process<A, FB extends FooBar<A>>(foo: FB): Opposite<A, FB>

const x: Foo<number> = null as any

const y = process(x) // Bar<{}>

Playground link

我可以保留泛型类型A 以便process(x) 返回Bar<number> 而不明确指定它吗？

Answer 1

基于FB 的类型约束推断A 并不是打字稿真正会做的事情。由于参数不提供推断A 的站点，因此打字稿将推断A 的最广泛类型，即{}

可以使用条件类型从类型参数FB中提取A：

type Foo<A> = { type: "foo", x: A }
type Bar<A> = { type: "bar", y: A }

type FooBar<A> = Foo<A> | Bar<A>

type Opposite<A, FB extends FooBar<A>> = FB["type"] extends "foo" ? Bar<A> : Foo<A>

type FooBarParam<T> = T extends FooBar<infer A> ? A : never;
declare function process<FB extends FooBar<any>>(foo: FB): Opposite<FooBarParam<FB>, FB>

const x: Foo<number> = null as any

const y = process(x) // Bar<number>