具有特定深度的 TypeScript 递归类型

TypeScript 允许您编写递归类型，但无法深入了解代码在较低级别（即深度）中如何变化。例如，下面的代码在所有级别上都具有相同类型的签名，并且我们必须在每个级别手动检查是否存在sub财产。

type Recurse = { foo: string; sub?: Recurse }

function recurse(depth: number): Recurse {
  if (depth === 0) return { foo: 'hey' }
  return {
    foo: 'hey',
    sub: recurse(depth - 1),
  }
}
const qux = recurse(5)

我正在寻找的是一个类型签名，它可以为我们提供函数在特定深度返回的内容的具体证据。

const qux0: { foo: string } = recurse(0)
const qux1: { foo: string, sub: { foo: string } } = recurse(1)
const qux2: { foo: string, sub: {  foo: string, sub: { foo: string }} } = recurse(2)

这样，我们就不必在每个级别检查sub属性作为类型签名已经打包了该信息。

我有一种感觉，这可能可以通过条件类型来实现，但没有具体的证据。

你知道我怎样才能实现这一目标吗？

直到 TS 允许基本算术运算number类型，您可以使用减量计数器，例如Decr对于具有特定深度的所有递归类型：

type Decr = [never, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10] // add to a reasonable amount

type Recurse<N extends number> = N extends 0 ? 
  { foo: string } : 
  { foo: string; sub: Recurse<Decr[N]> }

function recurse<N extends number>(depth: N): Recurse<N> {
  if (depth === 0) return { foo: 'hey' } as Recurse<N>
  return {
    foo: 'hey',
    sub: recurse(depth - 1),
  } as Recurse<N>
}

type Decr9 = Decr[9] // 8

// compiles now
const qux = recurse(5)
const qux0: { foo: string } = recurse(0)
const qux1: { foo: string, sub: { foo: string } } = recurse(1)
const qux2: { foo: string, sub: { foo: string, sub: { foo: string } } } = recurse(2)