type-challenges类型体操15题（一）

前言

这个专栏会持续更新，github上的type-challenges，每次15道题，通过练习让你掌握类型编程.

Hello World

type HelloWorld = string

Equal判断HelloWorld和string类型是否相等;Expect判断类型是否为true,如果为true就返回true否则抛出一个错误

Pick

type MyPick<T extends object, K extends keyof T> = {
   
   
  [P in K]: T[P]
}

Pick是TS内部已经实现了的一个工具类型,泛型T被约束为是一个对象,泛型K被约束为T的键(keyof T 表示获取T的所有键),Pick返回的是一个新的对象类型,对象的键P被映射在K上,对象的值是原对象T的P键的值.

Readonly

type MyReadonly<T extends object> = {
   
   
  readonly [K in keyof T]: T[K]
}

Readonly也是TS内部已经实现了的工具类型,Readonly接受一个泛型T被约束为是一个object,返回的是一个新对象类型,对象的键K映射为T对象的键,并给键加上readonly修饰符,值就是T对象上K键对象的值.

TupleToObject

type TupleToObject<T extends readonly (string | number | symbol)