typescript高级语法——拒绝anyScript

typescript高级语法介绍-拒绝anyScript：
1、泛型：泛型允许程序员在强类型程序设计语言中编写代码时，使用一些以后才指定的类型，在实例化时作为参数指明这些类型。泛型通过一对尖括号来表示( <> )，尖括号内的字符被称为 类型变量 ，这个变量用来表示类型。
2、高级类型：
交叉类型（&）：多个类型合并成一个类型
联合类型（&）：定义的类型为多个类型中的任意一个
类别别名(type)：自定义的类型（可以是交叉或者联合类型）使用过多时，给这种类型声明一个别名。类型别名与声明变量的语法类似，只需要把关键字换成 type
类型索引（keyof）：keyof 类似于 Object.keys ，用于获取一个接口中 Key 的联合类型
类型约束（extends）：对泛型加以约束，经常与 keyof 一起使用。 extends keyof any
类型映射（in）：做类型的映射，遍历已有接口的 key 或者是遍历联合类型
interface Obj {
 a: string
 b: string
}
type TestIn<T> = {
 readonly [P in keyof T]: T[P];
};
TestIn的结果为：
TestIn{
    readonly a:string;
    readonly b:string;

}
条件类型（U ? X : Y）：条件类型的语法规则
3、工具泛型
Readonly：只读
Extract：条件类型
Exclude：与Extract相反
Partial：用于将一个接口的所有属性设置为可选状态
Required：将接口中所有可选的属性改为必须的
Record：Record 接受两个类型变量
type Record<K extends keyof any, T> = {
 [P in K]: T
}
Record 生成的类型具有类型 K 中存在的属性，值为类型 T
interface Foods {
 name: string
 price: string
 image: string
}
const foodsData: Record<string, Foods> = {}
const foodsList: Foods[] = []
foodsList.forEach(goods => {
 foodsData[foods.name] = foods
})
Pick：用于提取接口的某几个属性
Omit：作用和 Pick 相反