类型系统简介

js作为弱类型语言开发大型软件系统时，通常会因为 ts拥有强类型，类型安全，是一个强大的生产力工具

基础类型

• boolean,number,string
• 枚举enum
• any unknow,void
• never
• 数组类型[]
• 元祖类型tuple

函数类型

• TS定义函数类型时要定义输入参数类型和输出参数类型
• 输入参数：可选参数和默认参数
• 输出参数：输出可以自动推断，没有返回值时，默认为void类型
• 函数重载：名称相同但参数不同，可以通过重载支持多种类型

接口类型

定义： 接口是为了定义对象类型
特点：

• 可选熟悉：？
• 只读熟悉：readonly
• 可以描述函数类型
• 可以描述自定义属性
  总结:接口非常灵活

类

定义： 写法和JS差不多，增加了一些定义
特点：

• 增加了public,private, protected修饰符
• 抽象类：
  
  • 只能被继承，不能被实例化
  • 作为基类，抽象方法必须被子类实现
• interface 约束类 ，使用implements 关键字

进阶

1. 联合类型 |
2. 交叉类型 &
3. 类型断言
4. 类型别名
   • 给类型起一个别名
     • 相同点：
       
       1. 都可以定义对象或函数
       2. 都可以继承
     • 差异点：
       1. interface 是TS用来定义对象，type是用来定义别名方便使用；
       2. type可以定义基本类型，interface不行
       3. interface 可以合并声明，type不行

泛型

1. 泛型的语法是<>里面写类型参数，一般用T表示
2. 使用时有两种方法指定类型
   1. 定义要使用的类型
   2. 通过TS类型判断，自动推导类型
3. 泛型的作用是临时占位，之后通过传来的类型进行推导

操作符

• typeof 获取类型
• keyof 获取所有键
• in 遍历枚举类型
• T[k]索引访问
• extends 泛型约束

常用工具类型

• Partial< T >: 将类型属性变为可选
• Required< T > : 将类型属性变为必选
• Readonly < T >: 将类型属性变为只读
• Pick Record...

声明文件

• declare: 三方库需要类型声明文件
• .d.ts ： 声明文件定义
• @types: 三方库TS类型包
• tsconfig.ison:定义TS的配置