TypeScript 类型挑战：元组转换为对象

高质量的类型可以提高项目的可维护性并避免一些潜在的漏洞。

一些前端面试中考察到了 TypeScript 高级类型的定义，本系列主要解答来自 Type Challenges 项目中的 TS 类型挑战问题，以此更好的了解 TS 的类型系统，编写自己的类型工具，更好的应对前端面试。

下面来看一个难度为简单的题目：元组转换为对象

题目描述

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

例如：

const tuple = ['tesla', 'model 3', 'model X', 'model Y'] as const

type result = TupleToObject<typeof tuple> 
// expected { tesla: 'tesla', 'model 3': 'model 3', 'model X': 'model X', 'model Y': 'model Y'}

题目解答

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

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

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

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

const fullName:[first: string, last: string] = ['hello', 'world'];
const range:[start: number, end: number] = [0, 10];
const digits = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] as const;

type FullNameLength = (typeof fullName)['length'] // 2
type RangeLength = (typeof range)['length']       // 2
type DigitsLength = (typeof digits)['length']     // 10

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

const fullName:string[] = ['hello', 'world'];
const range:number[] = [0, 10];

type FullNameLength = (typeof fullName)['length'] // number
type RangeLength = (typeof range)['length']       // number

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

type MappedType<T> = {
  [Key in keyof T]: T[Key];
};

• keyof T用于从对象类型T中获取键值 key；
• in用于对对象键值key进行迭代；
• Key 就是对象键值 key 本身；
• T[Key]是指定 Key 的值；

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

type TupleToObject<T> = {
    [Value in T[number]]: Value;
};

• T[number]  用于从元组 T 中获取值；
• in 用于迭代元组值；
• Value 是元组元素，用作构建对象的key和value。

但是这时候报错了：

这时就需要约束泛型的类型，最终的实现如下：

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

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

Type Challenges：https://github.com/type-challenges/type-challenges

往期推荐：