推断 Typescript 中深度嵌套对象的类型

我正在尝试创建一个函数来安全地查找深层嵌套对象中的属性（theme在这种情况下）。我应该提到，我不想静态定义它的类型，因为它们的目的是频繁更改，因此使用typeof

这个函数接受对象本身和 3 个键，但问题是——我无法正确推断它们的类型。

const theme = {
    button: { margin: { sm: "sm" } },
    form: { padding: { lg: "lg" } }
}

type Theme = typeof theme

type CompoName = keyof Theme;

// styles of component with give key
// { margin: ..., padding: ... }
type CompoStyle<C> = C extends CompoName ? keyof Theme[C] : never;

// string 
// S = margin, padding
type CompoStyleMod<C, S> = S extends keyof CompoStyle<C>
  ? CompoStyle<C>[S]
  : never;

const getStyle = (
    t: Theme,
    name: CompoName,
    style: CompoStyle<typeof name>,
    mod: CompoStyleMod<CompoName, typeof style>
) => {
    return t[name][style][mod]
}

TypeScript 3.6.3 中的结果：

Element implicitly has an 'any' type because expression of type '"margin" | "padding"' can't be used to index type '{ margin: { sm: string; }; } | { padding: { lg: string; }; }'.

  Property 'margin' does not exist on type '{ margin: { sm: string; }; } | { padding: { lg: string; }; }'.

看起来不可能用联合类型查找联合类型，并且中途需要某种推理。

有任何想法吗？

我倾向于避免所有条件类型，因为编译器无法很好地推理它们，并且看起来您不需要它们。代替type Foo<T> = T extends U ? F<T> : never，你可以只是约束 T, like type Foo<T extends U> = Foo<T>，这对于编译器来说更简单。

这里的解决方案可能是getStyle() generic有足够多的类型参数，编译器可以理解每个参数都深入到一个对象中，并且抬头看它的属性。像这样：

const getStyle = <
    K extends keyof Theme,
    S extends keyof Theme[K],
    M extends keyof Theme[K][S]
>(t: Theme, name: K, style: S, mod: M) => t[name][style][mod];

这里我们说的是t属于类型Theme, that name属于某种通用类型K限制于keyof Theme, that style属于某种通用类型S限制于keyof Theme[K]， 然后mod属于某种通用类型M限制于keyof Theme[K][S]。这允许t[name][style][mod]编译没有错误，返回类型为getStyle()被推断为Theme[K][S][M]，这意味着输出也将是相当强类型的：

const sm = getStyle(theme, "button", "margin", "sm"); // string
const lg = getStyle(theme, "form", "padding", "lg"); // string

好的，希望有帮助。祝你好运！

链接到代码