Question

interface Base<T> {
    values: T[];
}

interface HaveA<T> extends Base<T> {
    a?: number;
}

interface HaveB<T> extends Base<T> {
    b?: number;
}

interface HaveC<T> extends Base<T> {
    c?: number;
}

type SetA<V, X> = V extends Base<X> ? V & HaveA<X> : HaveA<V>;
type SetB<V, X> = V extends Base<X> ? V & HaveB<X> : HaveB<V>;
type SetC<V, X> = V extends Base<X> ? V & HaveC<X> : HaveC<V>;


type A = SetA<string, string>; // HaveA<string>, right
type AB = SetB<A, string>; // HaveA<string> & HaveC<string>, right
type ABC = SetC<AB, string>; // HaveC<string>, wrong

我想从原始类型中以任何组合形式输入类型。像A: {a}, B: {b}, C:{c}, AB:{a, b}, AC:{a, c}, BC:{b, c}, ABC: {a, b, c}

使用了&运算符来组合每种类型。使用extends Base来确保该类型已经扩展到任何字符。但似乎不是检查它的正确运算符。

如何检查type中的type & type？除了使用&以外，还有其他组合方式吗？

我解决了使用'values' in keyof V作为临时方式的情况。某些界面可能没有“值”。

添加：

interface Base<T> {
    items: T[];
}

interface A<T> extends Base<T> {
    a: number;
}

interface B<T> extends Base<T> {
    b: number;
}

interface C<T> extends Base<T> {
    c: number;
}

type Arg<T, U> = T extends null ? U : T & U;
type DataA<T> = T extends { items: Array<infer X> } ? T & A<X> : A<T>;
type DataB<T> = T extends { items: Array<infer X> } ? T & B<X> : B<T>;
type DataC<T> = T extends { items: Array<infer X> } ? T & C<X> : C<T>;


class Types<T, U> {
    set<V>() {
        return this as any as Types<Arg<T, V>, U>;
    }

    setA() {
        return this as any as Types<Arg<T, { a: number }>, DataA<U>>;
    }

    setB() {
        return this as any as Types<Arg<T, { b: number }>, DataB<U>>;
    }

    setC() {
        return this as any as Types<Arg<T, { c: number }>, DataC<U>>;
    }

    test(t: T) {
    }

    test2(f: (args: U) => void) {
        f(<U>{});
    }
}

const types = new Types<null, number>();

types
    .set<null>()
    .set<{ foo: string }>()
    .set<{ bar: string }>()
    .setA()
    .setB()
    .setC()
    .test2(d => {});

这类似于我的上一个测试代码。当我写问题时。我的IDE也有滞后和错误。
我不知道我的IDE为什么能正常工作。

我不是傻瓜，也许世界恨我

Answer 1

您的代码对我有用in the playground（链接太长，无法在注释中显示）。

Typescript如何推断组合类型

1 个答案: