Typescript 从接口创建类型安全的嵌套 struct

这是一种可能的方法:

type Expander<T extends BaseOrArray> =
  T extends readonly Base[] ? Expander<T[number]> : {
    [K in keyof T]?: null | (T[K] extends BaseOrArray ? Expander<T[K]> : never)
  };

这是一个recursive conditional type.首先，您似乎希望Expander<X[]>相当于Expander<X>.因此，初始条件类型只是判断T是否是数组，如果是，则返回数组元素类型Expander<T[number]>(我们用index into T和number来获取数组元素类型). 如果它不是数组，那么它就是一个与Base兼容的对象.在这里，我们生成mapped type，以便T中的键K处的每个属性都成为可选属性(使用? mapping modifier)，其类型本质上是Expander<T[K]> | null.有一个问题是T[K]可能不是BaseOrArray，所以我们判断它.如果它是1，那么我们得到Expander<T[K]> | null.否则我们只得到null.

这为Bar生成以下类型:

let expander: Expander<Bar>;
/* let expander: {
    description?: null | undefined;
    foo?: {
        name?: null | undefined;
        subFoo?: Expander<Foo> | null | undefined;
        bars?: Expander<Bar[]> | null | undefined;
        id?: null | undefined;
    } | null | undefined;
    id?: null | undefined;
} */

然后您就会得到您想要的行为:

expander = { foo: null }; // okay
expander = { foo: { bars: { foo: null } } }; // okay
expander = { foo: { baz: null } }; // error
expander = { baz: null } // error

看起来不错

请注意，我想说问题中Expander的版本无法工作的主要原因是您正在将其设置为索引访问类型{⋯}[keyof B]，您可能从某个地方进行了模式匹配？这种格式看起来就像是用microsoft/TypeScript#47109创造的distributive object type.但您真的不想这样做，因为它生成所有属性的union，而不是对象类型.当您将其应用于Foo或Bar等迭代类型时，您最终会出现循环错误，因为它需要完全下降到该类型中才能产生结果.对象类型的判断可以推迟(因为一旦知道属性键，它就可以等待)，但索引访问类型会被热切地判断.

Playground link to code