typescript匿名嵌套类型

鉴于以下类型：

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

---

有没有办法检索匿名嵌套类型？我在想

TypeOf

应该返回由b和c组成的类型，

TypeOf

应该是数字的别名。我编写了语法，但我想知道是否存在类似的概念

事实证明，您可以通过执行

Foo['a']

来实现这一点。太好了

如果要重用内部类型，应该为Clarity创建一个真正的类型，但这并不总是可能的。在我的例子中，这种类型来自一个代码生成器，所以我一直在使用它。我仍然不知道如何处理复杂的情况，例如如果

a

是可选的，那么

Foo['a']['b']

将抛出，你知道如何解决这个问题吗？不，我甚至没有听说过你找到的这个解决方案