嵌套的对象键类型映射到并集

Question

我想创建一个类型NestedKeys，它在给定的嵌套类型RootNav上迭代，并收集值为Nested<T>的所有键，并使其成为包含键的字符串的并集类型，同时遵循嵌套结构(可能是递归的？)

type Nav = {
[key: string]: NestedNav<Nav> | object | undefined
}
type NestedNav<T extends Nav> = T
type RootNav = {
LoginNav: NestedNav<LoginNav>;
RegistrationNav: NestedNav<RegistrationNav>;
AppNav: NestedNav<AppNav>
}
type AppNav = {
MainNav: NestedNav<MainNav>;
FooScreen: undefined
BarScreen: {id: string}
};
type LoginNav = {
LoginScreen: undefined
}
type RegistrationNav = {
RegistrationScreen: undefined
}
type MainNav = {
HomeScreen: undefined
ProfileScreen: undefined
}

最终结果应该是

type NestedKeys<RootNav>
// → "RootNav" | "LoginNav" | "RegistrationNav" | "AppNav" | "MainNav"

我有这样的想法，但不知道如何正确地做。这不起作用：

type NestedKeys<T extends Nav> = T[keyof T] extends NestedNav<any> ? NestedKeys<T[keyof T]> : T```

Answer 1

这是可能的，但需要对类型进行小的重构。TypeScript不支持macros。在javascript中没有类似value.toString的概念。这意味着，对于某些类型，您无法获得类型名称的字符串表示。

这就是为什么我添加了tag属性：

type Prefix = `${string}Nav`
type Nav =
& Record<'tag', Prefix>
& {
[key: Prefix]: undefined | Nav
}
type NestedNav<T extends Nav> = T
type RootNav = {
tag: 'RootNav'
LoginNav: NestedNav<LoginNav>;
RegistrationNav: NestedNav<RegistrationNav>;
AppNav: NestedNav<AppNav>
}
type AppNav = {
tag: 'AppNav'
MainNav: NestedNav<MainNav>;
FooScreen: undefined
BarScreen: { id: string }
};
type LoginNav = {
tag: 'LoginNav';
LoginScreen: undefined
}
type RegistrationNav = {
tag: 'RegistrationNav';
RegistrationScreen: undefined
}
type MainNav = {
tag: 'MainNav';
HomeScreen: undefined
ProfileScreen: undefined
}
type DefaultTag<T> = T extends { tag: infer Tag } ? Tag : never
type GetNames<T, Cache extends any[] = [DefaultTag<T>]> =
(T extends string
? Cache[number]
: {
[Prop in keyof T]:
(T[Prop] extends { tag: infer Tag }
? GetNames<T[Prop], [...Cache, Tag]>
: GetNames<T[Prop], Cache>)
}[keyof T]
)
type Result = GetNames<RootNav>

游乐场

类型Prefix表示任何导航名称。

类型CCD_ 8表示有效的导航类型。

类型GetNames在nav类型中递归迭代，并在Cache中添加tag属性(如果存在)。