keyof

• keyof 操作符类似于把一个对象的key取出来然后返回这些key组成的联合类型

in操作符

• xxx in 联合类型
• 我们可以在任何时候对联合类型使用in操作符来遍历出联合类型的每一项

数组（元组）的遍历

• 我们可以使用如下的索引方式来遍历数组或元组类型，返回的类型为联合类型如下，既然是联合类型那么我们可以使用in操作符对其进行枚举

type tuple = [number, string, boolean];

// 此时foo的类型为 number|string|boolean 联合类型，意为将tuple中挨个遍历出来
type foo = tuple[number]; 
   

• 数组可以使用拓展运算符...来展开数组获取其中的元素

type A<U extends any[]> = [...U];
type B = A<[1, 2, 3]>
// 此时B的类型为[1,2,3]

对象的遍历

• 使用映射来遍历对象，keyof 一个对象时，返回值为对象的全部key的联合类型

type obj = {
    name: string;
    age: number;
}
type bar = {
    [key in keyof obj]: obj[key]
}
// 其中不只条件判断可以放在 [key in keyof obj] 处，也可以放在 obj[key]这个位置

• 可以使用keyof T[K] 是否extends never来判断当前是否是一个对象，如果是对象则不成立，如果不是一个对象则进入true分支

type DeepReadonly<T extends Record<string, any>> = {
  readonly [P in keyof T]: keyof T[P] extends never ? T[P] : DeepReadonly<T[P]>;
}

字符串的遍历

• 字符串类型想要遍历，此时我们必须使用模板字符串和infer关键字的组合再使用递归即可,例如我们要获取某个字符串的每个字符的联合类型我们可以使用如下方法，其中F****指的是字符串s的第一个字符，Rest指的是字符串s**的剩余字符，我们只需要进行递归即可完成整个字符串的遍历

type Foo<s extends string> = s extends`${infer F}${infer Rest}` ? `${F}` | Foo<Rest> : never;

extends语法

• extends可以用来约束某个属性的范围
• 如果extends左侧是联合类型则会将左侧的联合类型遍历一遍挨个执行,即分布式条件判断。
  • 在分布式条件判断中，例如此时K是联合类型，K extends U ？ K ：never 加粗的K即为联合类型中的每个单独的类型。
• 在条件分支中，如 A extends B 表示满足A的必定满足B此时才会进入 true 分支

重映射 as

• TypeScript 之 映射类型（重映射）

• TS 类型体操：索引类型的映射再映射

为对象添加属性

• 为对象T添加U属性（比较巧妙使用了in操作符）

type AppendToObject<T, U, V> = { [P in keyof T | U]: P extends keyof T ？ T[P]: V };

字符串与数字的互相转换

type S2N<S extends string> =  S extends `${infer N extends number}` ? N : never;
type N2S<N extends number> =  `${N}`
type A =  S2N<'100'>
type B =  N2S<100>