怎么实现以下功能的 typescript 类型?

Question

实现一个类型 Path,功能是可以提取对象的 key 路径,例如

Path<{foo: {bar: string}, baz: number}> = 'foo' | 'foo.bar' | 'baz'

Answer 1

type Path<T, K extends keyof T = keyof T> =
    K extends string
    ? K | (T[K] extends object
        ? `${K}.${Path<T[K]>}`
        : never)
    : never