type Module<T, C extends Children> = {
    metaData: T;
    children: C;
};

type Children = {
    [key: string]: Module<any, any>;
}

type ExtractMetaData<M extends Module<any, any>> = M extends Module<infer T, any> ? T : never;

type ExtractChildren<M extends Module<any, any>> = M extends Module<any, infer C> ? C : never;

现在，假设我定义了三个简单的模块：A、B和C，因此C是B的子级，B是A的子级：

type C = Module<number, {}>;

type B = Module<boolean, {
  c: C;
}>;

type A = Module<string, {
  b: B;
}>;

这是我所拥有的：

type AllMetaData<
  MODULE extends Module<any, any>,
  CHILDREN = ExtractChildren<MODULE>,
  METADATA = ExtractMetaData<MODULE>,
> =
  | METADATA
  | {
      [KEY in keyof CHILDREN]: CHILDREN[KEY] extends Module<any, any>
        ? ExtractMetaData<MODULE>
        : never;
    }[keyof CHILDREN];

但它似乎不起作用，因为当我定义此类型时：

type Result = AllMetaData<A>;

Result等同于string，它应该是A的树中所有MetaData类型的并集。

为什么我的AllMetadata类型不起作用？

Playground link

推荐答案

您有两个错误。

Playground