嵌套对象类型的 TypeScript keyof

Question

我想获得on从配置对象推断出的该对象类型下所有键的并集：

type Config = {
initial: string;
states: {
    idle: {
        on: {
          START: string;
        };
        effect(): void;
    };
    running: {
        on: {
            PAUSE: string;
        };
        effect(): void;
    };
    paused: {
        initial: string;
        states: {
            frozen: {
                on: {
                    HEAT: string;
                };
            };
        };
        on: {
          RESET: string;
        };
    };
};

}

请注意，配置可以on在 下有嵌套键states。现在我可以使用以下方法获取第一级密钥：

type KeysOfTransition<Obj> = Obj extends Record<PropertyKey, any> ? keyof Obj : never;
type TransitionKeys = KeysOfTransition<Config["states"][keyof Config["states"]]["on"]>
// "START" | "PAUSE" | "RESET"

但我无法进入HEAT嵌套的联合。有任何想法吗？

Answer 1

很可能存在边缘情况，但这里有一个适合您的示例的实现：

type KeysUnder<T, K extends PropertyKey> =
  T extends object ? {
    [P in keyof T]-?: (P extends K ? keyof T[P] : never) | KeysUnder<T[P], K>
  }[keyof T] : never;
    
type ConfigOnKeys = KeysUnder<Config, "on">;
// type ConfigOnKeys = "START" | "PAUSE" | "RESET" | "HEAT"

这个想法是使用递归条件类型来深入了解对象属性。为了获得KeysUnder<T, K>一个对象T，我们查看每个属性键P。如果P匹配K（这将"on"在您的用例中），那么您需要其属性值类型的键T[P]。递归位是我们还将所有这些键加入到KeysUnder<T[P], K>.

Playground 代码链接