为什么学习TypeScript?
- TypeScript是JavaScript的超集,用于解决大型项目的代码复杂性。
- 强类型,支持静态和动态类型。
- 可以在编译期间发现并纠正错误。
- 不允许改变变量的错误类型。
TS类型安全,具有下一代JS特性,拥有完善的工具链。
不过TS最后还是编译成JS运行,用TS写代码量可能会增大(例如类型定义),但是也更好查错,所以大型项目比较合适。
TS基础
基础类型
- boolean、number、string
- undefined、null
- any、unknown、void
- never
- 数组类型[]
- 元组类型tuple
函数类型
- 定义:TS定义函数类型时要定义输入参数类型和输出类型(不定义类型也行就是会代码提示,或者定义成Any类型)
- 输入参数:参数支持可选参数和默认参数
- 输出参数:输出可以自动推断,没有返回值时,默认为void类型
- 函数重载:名称相同但参数不同,可以通过重载支持多种类型
interface
定义:接口是为了定义对象类型
特点:
- 可选属性:?
- 只读属性:readonly
- 可以描述函数类型
- 可以描述自定义属性
总结:接口非常灵活duck typing
类
定义:写法和JS差不多,增加了一些定义(和Java的类相似)
特点:增加了public、 private、protected修饰符
抽象类:
- 只能被继承,不能被实例化
- 作为基类,抽象方法必须被子类实现
- interface约束类,使用implements关键字
TS进阶
高级类型
-
联合类型 |
-
交叉类型 &
-
类型断言
-
类型别名(type VS interface)
定义:给类型起个别名
相同点:
- 都可以定义对象或函数
- 都允许继承
差异点:
- interface是TS用来定义对象,type是用来定义别名方便使用
- type可以定义基本类型,interface不行
- interface可以合并重复声明,type不行
泛型
基本定义:
- 泛型的语法是<>里面写类型参数,一般用T表示
- 使用时有两种方法:指定类型定义要使用的类型,通过TS类型推断,自动推导类型
- 泛型的作用是临时占位,之后通过传来的类型进行推导
基础操作符:
- typeof:获取类型
- keyof:获取所有键
- in:遍历枚举类型
- T[K]:索引访问
- extends:泛型约束
常用工具类型:
- Partial:将类型属性变为可选
- Required:将类型属性变为必选
- Readonly:将类型属性变为只读
- Pick、Record...