TS 中的类型验算,高级通用 API 实现

前言

由于现在工作使用的技术栈是 React、TypeScript 和 ahooks，工作中需要用到大量的类型定义，特此记录一下一些常用的 类型通用API 封装。

TS 内置类型

• Partial<T>：将 T 所有属性变为可选属性
• Required<T>：将 T 所有属性变为必选属性
• Readonly<T>：将 T 所有属性变为只读属性
• NonNullable<T>：过滤 T 类型中的 null 及 undefined 类型
• Parameters<T>：获取函数的参数类型，将每个参数类型放在一个元组中
• Omit<T, K>：从类型 T 中剔除 K 中的所有属性
• Pick<T, K>：从类型 T 中挑选 K 中的所有属性
• Exclude<T, U>：提取存在于 T，但不存在于 U 的类型组成的联合类型
• Extract<T, U>：提取联合类型 T 和联合类型 U 的所有交集
• Record<T, K>：构造一个具有一组属性 K (类型 T )的类型

TS 内置关键字

• extends：继承、泛型约束、条件类型
• infer：这玩意我到现在都还没搞懂
• keyof：将一个类型的属性名全部提取出来当做联合类型
• typeof：在类型上下文中获取变量或者属性的类型
• in：常用来遍历枚举类型

TS compiler 内部实现的类型

• Uppercase：构造一个将字符串转大写的类型
• Lowercase：构造一个将字符串转小写的类型
• Capitalize：构造一个将字符串首字符转大写的类型
• Uncapitalize：构造一个将字符串首字符转大小写的类型

实现 Optional API，实现部分类型变为可选

type Article = {
   
  title: string;
  content: string;
  author: string;
  date: Date;
  readCount: number;
}

// 实现 T 部分类型变为可选
type Optional<T,K extends keyof T> = Omit<T,K> & Partial<Pick<T,K>>; 

type ArticleTodo = Optional<Article,'author' | 'date' | 'readCount'>
// { title: string; content: string; author?: string; date?: Date; readCount?: number; }

实现 GetOptional API，获取类型中的所有可选字段

type Article = {
   
  title: string;
  content: string;
  author?: string;
  date?: Date;
  readCount?: number;
}

// 获取 T 类型中的所有可选字段
type GetOptional<T> = {
   
  [P in keyof T as T[P] extends Required<T>[P] ? never : P]: T[P]
};

type ArticleTodo = GetOptional<Article>
// { author?: string; date?: Date; readCount?: number; }

实现 DeepReadonly API，实现不可变类型的深度遍历

type Article = {
   
  title: string;
  name:{
   
    first:string;
    lasr:string;
  }
}

// API，实现不可变类型的深度遍历
type DeepReadonly<T extends Record<string | symbol,any>> = {
   
  readonly [k in keyof T]: DeepReadonly<T[K]>;
};

type ArticleTodo = DeepReadonly<Article>

实现 UnionToIntersection API，将联合类型转为交叉类型

type Article = {
    title:string } | {
    name:string } | {
    date: Date }

// API，将联合类型转为交叉类型
type UnionToIntersection<T> = 
  (T extends any ? (x: T) => any : never) extends (x: infer R) => any ? R : never;

type ArticleTodo = UnionToIntersection<Article>
// { title:string } & { name:string } & { date: Date }

{cat_tips_info color=""}本篇文章会不间断更新。{/cat_tips_info}