Typescript 如何从条件键推断对象的值？

例如，我想编写一个树遍历函数：

//如果值为T[]类型，则从对象中拾取关键点
类型子树字段=T[K]扩展T[]？K:从来没有；
函数遍历(
t:t，
关键字：子树字段，
cb：（t:t）=>void
) {
const arr=t[key]；//arr类型是t[SubTreesField]，而不是t[]
}

Typescript无法根据该条件推断

t[K]

的类型。这太复杂了，很难理解。您需要为

T

定义一个更明确的约束，以便Typescript知道它是什么样子。事实上，你根本不需要一个条件。尝试：

function traverse<T extends { [k in K]: T[] }, K extends keyof T>(
  t: T,
  key: K,
  cb: (t: T) => void
) {
  const arr: T[] = t[key]
}

函数遍历(
t:t，
关键：K，
cb：（t:t）=>void
) {
常量arr:T[]=T[键]
}