打字稿匿名嵌套类型

Question

给出以下类型：

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

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

Answer 1

事实证明，您可以通过执行Foo['a']来做到这一点。大！