typescript - 如何合并 Foo | Foo 到 Foo

Question

我遇到了以下变量的情况:

var foo: Foo<string> | Foo<number> | Foo<boolean>;

动态生成(使用 keyof 和 stuff)，这在代码的那个点是完全有意的。但是，我需要调用像这样定义的对象内部的方法:

class Foo<T> {
    pipe(): Foo<T>;
    pipe<A, B>(obj: Operator<T, A>, obj2: Operator<A, B>): Foo<B>;
    pipe<A>(obj: Operator<T, A>): Foo<A>;
    pipe(...obj: Operator[]): Foo<any> {
        return new Foo();
    }
}

问题是，当我执行以下操作时:

const f = foo.pipe((bar) => new Foo());

bar被推断为 string虽然我期待 string | number | boolean .

我的猜测是我需要转换 Foo<string> | Foo<number> | Foo<boolean>进入Foo<string | number | boolean>它解决了问题。

我怎样才能做这样的转换？

Answer 1

您可以使用条件类型来实现此目的(联合类型分布在联合上，这在这种情况下对我们有帮助)

type UnionOfFooToFooOfUnion<T extends Foo<any> > = Foo< T extends Foo<infer U> ? U : never>

let foo!: Foo<string> | Foo<number> | Foo<boolean>;

let merged: UnionOfFooToFooOfUnion<typeof foo> =  foo // we can just assign it 

或者我们可以使用一个函数:

function mergeFoo<T extends Foo<any>>(foo: T): UnionOfFooToFooOfUnion<T> {
    return foo;
}
mergeFoo(foo).pipe(s=> console.log(s)) // s is number | string | boolean