深入浅出TypeScript

TypeScript不仅仅是一门语言，更是生产力工具。

TypeScript

• JavaScript的超集，用于解决大型项目的代码复杂性
• 强类型，支持静态和动态类型
• 可以在编译期间发现并纠正错误
• 不允许改变变量的数据类型

JavaScript

• 一种脚本语言，用于创建动态网页
• 动态弱类型语言
• 只能在运行是发现错误
• 变量可以被赋值成不同类型

TS基础类型

• boolean、number、string
• 枚举enum
• any、unknown、void
• never
• 数组类型[ ]
• 元组类型tuple

TS函数类型

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

TS-interface

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

1. 可选属性：？
2. 只读属性：readonly
3. 可以描述函数类型
4. 可以描述自定义属性

• 总结：接口非常灵活duck typing

TS-类

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

1. 增加了public、private、protected修饰符

• 抽象类：

1. 只能被继承，不能被实例化
2. 作为基类，抽象方法必须被子类实现

• interface约束类，使用implements关键字

TS-高级类型

1. 联合类型 |
2. 交叉类型 &
3. 类型断言
4. 类型别名（type VS interface）

• 定义：给类型起个别名
• 相同点：
  1. 都可以定义对象或函数
  2. 都允许继承
• 差异点：
  1. interface是TS用来定义对象，type是用来定义别名方便使用；
  2. type可以定义基本类型，interface不行；
  3. interface可以合并重复声明，type不行；

TS-泛型

基本定义：

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

TS-泛型基础操作符

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

TS-泛型常用工具类型

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

TS-声明文件

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