嵌套 keyof 对象路径（使用点表示法）[重复]

Question

我正在寻找嵌套对象路径：这样的事情可能吗？

interface IHuman {
    age: number;
    friend: {
        name: string;
    }
}

keyof IHuman; // "age", "friend.name"

Answer 1

type AnyObject = Record<string, any>

type DotJoin<A extends string, B extends string> = A extends '' ? B : `${A}.${B}`

type DeepKeys<O extends AnyObject> = {
  [K in keyof O]: O[K] extends AnyObject ? K : never
}[keyof O]

// @ts-expect-error Type 'keyof O' does not satisfy the constraint 'string'.
type DotBranch<O extends AnyObject, P extends string = '', K extends string = keyof O> =
  K extends DeepKeys<O>
  ? DotBranch<O[K], DotJoin<P, K>>
  : /*************/ DotJoin<P, K>

interface Obj {
  a: {
    x: string
    y: {
      z: string
    }
  }
  b: {
    u: boolean
  }
  c: number
}

type D = DotBranch<Obj> // type D = "c" | "a.x" | "a.y.z" | "b.u"

declare function get(path: DotBranch<Obj>)
get('') // Argument of type '""' is not assignable to parameter of type '"c" | "a.x" | "a.y.z" | "b.u"'.

Typescript Playground
GitHub Gist

Answer 2

我觉得这不可能，至于为什么我可以胡乱猜测：

interface IHuman {
    age: number;
    'friend.name': any;
    friend: {
        name: string;
    }
}

const b: keyof IHuman = 'friend.name';

friend.name 现在会模棱两可。

Answer 3

我也没有找到一个很好的解决方案。 但是您可能想看看 typed-path 项目。

Answer 4

这是不可能的，因为 TypeScript 中没有 string literal type operators。给定字符串文字 "foo" 和 "bar"，没有编程方法可以从类型 systm 中获取字符串文字 "foo.bar"。 GitHub 中提交了一些功能建议，如果实施，它们可能会实现这一点，例如 key augmentation 或 regular-expression string validation。但看起来他们并没有被积极研究。