Typescript TS 排除带点符号的键

以下是编写递归ValueOrStringExcludeNestedKeys<T, K>的一种方法:

type ValueOrStringExcludeNestedKeys<T, K extends string> =
    T extends object ? { [P in keyof T]:
        P extends K ? T[P] : ValueOrStringExcludeNestedKeys<T[P],
            K extends `${Exclude<P, symbol>}.${infer R}` ? R : never
        > } : T | string;

一种基本情况是，原始(非object)类型T应该成为其自身的union和string,T | string.

对象类型T为mapped.如果对象键P直接是K的成员，则这是另一种基本情况:我们保留对象属性T[P]，并且不对其进行修改.

否则，我们递归并写ValueOrStringExcludeNested<T[P], ⋯>，这里可能很棘手的部分是找出⋯中的内容.我们希望将K的每个以P和一个点开头的联合成员转换为字符串的其余部分.否则，我们想要解雇unions 成员.由于K年的运营率应该是distribute比unions ，我们希望是distributive conditional type.因为我们正在解析字符串，所以我们可以使用template literal types.从概念上讲，它是K extends ${P}.${INFER R} ? R : never.我们知道P可以扩展string | number | symbol，而symbol不能通过模板文字类型进行序列化.所以我们可以用the Exclude utility type而不是P来写Exclude<P, symbol>.

让我们来测试一下:

type Values = {
    a: {
        b: {
            c: string;
            d: number;
        };
        e: string;
    };
    f: number;
    g: number;
    h: {
        i: number;
    }
};

type Result = ValueOrStringExcludeNestedKeys<Values, 'a.b.c' | 'f'>;
/* type Result = {
    a: {
        b: {
            c: string;
            d: string | number;
        };
        e: string;
    };
    f: number;
    g: string | number;
    h: {
        i: string | number;
    };
} */

看上go 不错.除了a.b.c和f处的属性外，基元类型的域中添加了string个.

Playground link to code个