typescript匿名嵌套类型

Question

给出以下类型：

type Foo = {
  a: {
    b: number
    c: string
  }
  d: number
}

有没有办法检索匿名嵌套类型？我在想像TypeOf<Foo, 'a'>这样的东西应该返回由b和c组成的类型，TypeOf<Foo, 'd'>应该是数字的别名。我编写了语法，但我想知道是否存在类似的概念

Answer 1

结果证明你可以通过Foo['a']来做到这一点。太好了！