题目描述

传入一个元组类型，将这个元组类型转换为对象类型，这个对象类型的键/值都是从元组中遍历出来。

例如：

  1. const tuple = ['tesla', 'model 3', 'model X', 'model Y'] as const
  3. type result = TupleToObject<typeof tuple> 
  4. // expected { tesla: 'tesla', 'model 3': 'model 3', 'model X': 'model X', 'model Y': 'model Y'}

题目解答

我们需要从数组中获取所有值，并将其作为新对象中的键和值。

首先我们知道什么是元组，来看TypeScript 对元组的定义：

元组类型是另一种Array类型，它确切地知道包含多少个元素，以及它在特定位置包含哪些类型。

这意味着我们可以检查length并得到确切的数字：

  1. const fullName:[first: string, last: string] = ['hello', 'world'];
  2. const range:[start: number, end: number] = [0, 10];
  3. const digits = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] as const;
  5. type FullNameLength = (typeof fullName)['length'] // 2
  6. type RangeLength = (typeof range)['length']       // 2
  7. type DigitsLength = (typeof digits)['length']     // 10

而在数组中就无法实现这一点：

  1. const fullName:string[] = ['hello', 'world'];
  2. const range:number[] = [0, 10];
  4. type FullNameLength = (typeof fullName)['length'] // number
  5. type RangeLength = (typeof range)['length']       // number

可以使用映射类型来遍历对象：

  1. type MappedType<T> = {
  2.   [Key in keyof T]: T[Key];
  3. };
  • keyof T用于从对象类型T中获取键值 key；
  • in用于对对象键值key进行迭代；
  • Key 就是对象键值 key 本身；
  • T[Key]是指定 Key 的值；


我们使用索引访问类型来遍历元组，可以通过T[number]从元组中获取值。具体实现如下：

  1. type TupleToObject<T> = {
  2.     [Value in T[number]]: Value;
  3. };
  • T[number] 用于从元组 T 中获取值；
  • in 用于迭代元组值；
  • Value 是元组元素，用作构建对象的key和value。

但是这时候报错了：
image.png
这是就需要约束泛型的类型，最终的实现如下：

  1. type TupleToObject<T extends readonly any[]> = {
  2.     [Value in T[number]]: Value;
  3. };

这里的extends readonly any[] 是调用T[number] 所必须的，用来约束 T 的类型，T是一个元组，元组元素是只读的。
image.png