基础类型

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

函数类型

TS定义函数类型时要定义输入参数类型和输出类型

输入参数：参数支持可选参数和默认参数

输出参数：输出可以自动推断，没有返回值时，默认为void类型

函数重载：名称相同但参数不同，可以通过重载支持多种类型

接口interface

接口是为了定义对象类型

特点：

• 可选属性：？
• 只读属性：readonly
• 可以描述函数类型
• 可以描述自定义属性

类

写法和js差不多，增加了一些定义

特点：

• 增加了public、private、protected修饰符

private：继承类和实例不能访问private属性

protected：只能在继承类里调用该属性

• 抽象类：只能被继承，不能被实例化；作为几倍，抽象方法必须被子类实现
• interface约束类，使用implements关键字

进阶

高级类型

• 联合类型：|
• 交叉类型：&
• 类型断言
• 类型别名：给类型起个名

type VS interface

相同点：

• 都可以定义对象或函数
• 都允许继承

不同点：

• interface是ts用来定义对象，type是用来定义别名方便使用
• type可以定义基本类型，interface不行
• interface可以合并重复声明，type不行

泛型

基本定义：

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

泛型基础操作符

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

泛型常用工具类型

• partial：将类型属性变为可选
• required：将类型属性变为必选
• readonly：将类型属性变为只读
• Pick
• Record

TS实战

声明文件

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