Tuple to Nested Object

题目来源(type-challenges)

问题 #

给定一个只包含字符串类型的元组类型 T 和一个类型 U，递归地构建一个对象。

type TupleToNestedObject<T, U> = T extends [infer F, ...infer Rest]
  ? { [K in F & string]: TupleToNestedObject<Rest, U> }
  : T extends [infer F]
    ? { [K in F & string]: U }
    : U

解答 #

type case1 = TupleToNestedObject<['a'], string> // { a: string }
type case1 = TupleToNestedObject<['a', 'b'], number> // { a: { b: number } }
type case1 = TupleToNestedObject<['a', 'b', 'c'], boolean> // { a: { b: { c: boolean } } }
type case1 = TupleToNestedObject<[], boolean> // boolean

拆分 #

1. 使用 infer 拆分元组类型
2. 根据是否可以拆分元组，划分结果，如果还存在可以递归的情况则递归创建
3. 如果不能拆分则返回属性和对象
4. 如果为空则直接返回类型