目录
TypeScript 是 JS 的超集，TS 提供了 JS 的所有功能，并且额外的增加了：类型系统
JS 有类型（比如，number/string 等），但是 JS 不会检查变量的类型是否发生变化，而 TS 会检查
TypeScript 类型系统的主要优势：可以显示标记出代码中的意外行为，从而降低了发生错误的可能性
1. 类型注解
示例代码
let age: number = 18;说明：代码中
:number就是类型注解
类型注解约束了只能给该变量赋值该类型的值
错误演示
// 错误原因：将 string 类型的值赋值给了 number 类型的变量，类型不一致
let age: number = '18';2. 常用基础类型
可以将 TS 中的常用基础类型分为两类
1.JavaScript 已有类型
- 原始类型：
number/string/boolean/null/undefined/symbol - 对象类型：
object(数组、对象、函数等)
2. TypeScript 新增类型
- 联合类型、自定义类型（类型别名）、接口、元祖、字面量类型、枚举、void、any 等
注意：原始类型在 TS 和 JS 中写法一致， 对象类型在 TS 中更加细化，每个具体对象都有自己的类型语法
3. 原始类型
number/string/boolean/null/undefined/symbol
特点：可完全按照 JavaScript 中的名称来书写
let age: number = 18;
let username: string = '张三';
let isMerry: boolean = false;
let unique: Symbol = Symbol('shuiruohanyu');4. 数组类型
数组两种写法
1.类型[]写法， 如
let userList: string[] = ['John', 'Bob', 'Tony'];
let peopleList: object[] = [{ name: '张三', age: 18 }];2.Array<类型>写法， 如
let user2List: Array<string> = ['John', 'Bob', 'Tony'];
let people2List: Array<object> = [{ name: '张三', age: 18 }];5. 联合类型
数组中既有 number 类型，又有 string 类型，这个数组的类型应该如何写?
可以用|(竖线)分割多个类型， 如
let str: string | number = 1;
str = '张三';如果数组中可以是字符串或者数字，则可以这么写
let arr: Array<number | string> = [1, 2, '张三'];6. 类型别名
当一个复杂类型或者联合类型过多或者被频繁使用时，可以通过类型别名来简化该类型的使用
用法：type 名称 = 具体类型
type CustomArray = Array<number | string>;
let arr1: CustomArray = [1, 2, '张三'];以上代码中，type作为创建自定义类型的关键字
- 类型别名可以使任意合法的变量名称
- 推荐大驼峰的命名写法
7. 函数类型
除了变量，我们常见的类型指定还有针对函数的类型声明
函数类型需要指的是 函数参数和返回值的类型，这里分为两种写法
- 第一种： 单独指定参数，返回值类型
// 单独指定函数返回值和函数参数
function add(num1: number, num2: number): number {
return num1 + num2;
}
// 指定变量形式的
const add2 = (num1: number, num2: number): number => {
return num1 + num2;
};- 第二种， 同时指定参数和返回值
// 同时指定参数和返回值
type CustomFunc = (num1: number, num2: number) => number;
const add3: CustomFunc = (num1, num2) => {
return num1 + num2;
};注意： 当函数作为表达式时，可以通过类似箭头函数形式的语法来为函数添加类型，这种形式只适用于函数表达式
void 类型
当我们的函数定义为没有返回值的类型时，可用关键字void表示
// 没有返回值的函数
type CustomFunc1 = (num1: string, num2: number) => void;
const combinStr: CustomFunc1 = () => {};如果一个函数没有返回值，此时，在 TS 的类型中，应该使用 void 类型
const add4 = () => {};
// 如果什么都不写 表示add4函数的类型为void
const add5 = (): void => {};
// 这种写法明确指定返回值为void与上方的类型相同
const add6 = (): undefined => {
return undefined;
};
// 如果指定返回值为undefined return undefined函数可选参数
当我们定义函数时，有的参数可传可不传，这种情况下，可以使用 TS 的可选参数来指定类型
比如，在使用数组的slice方法时，我们可以直接使用slice() 也可以传入参数 slice(1) 也可以slice(1,3)
const slice = (start?: number, end?: number): void => {}; ? 表示该参数或者变量可传可不传
注意：可选参数只能出现在参数列表的最后， 即必须参数必须在可选参数之前
8. 对象类型
JS 中的对象是由属性和方法组成的，TS 的对象类型是对象中属性和方法的描述
写法
// 如果有多个属性 可以换行 去掉间隔符号
let person3: {
name: string;
sayHello: Function;
} = {
name: '王五',
sayHello() {},
};总结： 可是使用{ }来描述对象结构
属性采用属性名：类型形式
函数可以采用 方法名(): 返回值类型 或者 函数名: Function（不指定返回值）的形式
使用类型别名
直接使用{ }会降低代码可读性，不具有辨识度，更推荐使用类型别名添加对象类型
type PersonObj = {
name: string;
sayHello(): string;
};
const p1: PersonObj = {
name: '高大大',
sayHello() {
return this.name;
},
};带有参数的方法的类型
如果对象中的函数带有参数，可以在函数中指定参数类型
// 带参数的函数方法
type PersonObj2 = {
name: string;
sayHello(start: number): string;
};
const p2: PersonObj2 = {
name: '高大大',
sayHello(start) {
return this.name;
},
};箭头函数形式的方法类型
// 箭头函数形式定义类型
type People = {
sayHello: (start: number) => string;
};
const p3: People = {
sayHello() {
return '';
},
};对象可选属性
对象中的若干属性，有时也是可选的，此时我们依然可以使用?来表示
type Config = {
method?: string;
url: string;
};
const func = (config: Config) => {};
func({ url: '/a' });9. 接口 interface
当一个对象类型被多次使用时，一般使用接口（interface）描述对象的类型，达到复用的目的
- 我们使用
interface关键字来声明接口 - 接口名称推荐以
I为开头 - 声明接口之后，直接使用接口名称作为变量的类型
接口后不需要分号
// 接口
interface IPeople {
name: string;
age: number;
sayHello(): void;
}
let p: IPeople = {
name: '老高',
age: 18,
sayHello() {},
};接口和自定义类型的区别
相同点：都可以给对象指定类型
不同点： 接口只能为对象指定类型， 类型别名可以为任意类型指定别名
- 推荐用 type 来定义
接口继承
- 如果两个接口之间有相同的属性和方法，可以讲公共的属性和方法抽离出来，通过继承来实现复用
比如，这两个接口都有 x、y 两个属性，重复写两次，可以，但很繁琐
interface Point2D {
x: number;
y: number;
}
interface Point3D {
x: number;
y: number;
z: number;
}- 更好的方式
interface Point2D { x: number; y: number }
interface Point3D extends {
z: number
}我们使用extends关键字实现了 Point3D 继承了 Point2D 的所有属性的定义， 同时拥有继承的属性和自身自定义的属性
10. 元组
当我们想定义一个数组中具体索引位置的类型时，可以使用元祖。
原有的数组模式只能宽泛的定义数组中的普遍类型，无法精确到位置
元组是另一种类型的数组，它确切知道包含多少个元素，以及特定索引对应的类型
let position: [number, number] = [39.5427, 116.2317];11. 类型推论
在 TS 中，某些没有明确指出类型的地方，TS 的类型推论机制会帮助提供类型
也就是说，由于类型推论的存在，在某些地址类型注解可以省略不写。
- 发生类型推论的常见场景
- 声明变量并初始化时
- 决定函数返回值时
// 变量creater_name自动被推断为 string
let creater_name = 'gaoly';
// 函数返回值的类型被自动推断为 number
function addCount(num1: number, num2: number) {
return num1 + num2;
}推荐：能省略类型注解的地方就省略（偷懒，充分利用 TS 类型推论的能力，提升开发效率）
技巧：如果不知道类型，可以通过鼠标放在变量名称上，利用 VSCode 的提示来查看类型
12. 字面量类型
下面的代码类型分别是什么？
// 字面量类型
let str1 = '张三';
const str2 = '张三';通过 TS 的类型推导可以得到答案
1.变量 str1 的变量类型为： string
2.变量 str2 的变量类型为 '张三'
解释：str1 是一个变量(let)，它的值可以是任意字符串，所以类型为:string
str2 是一个常量(const)，它的值不能变化只能是 '张三'，所以，它的类型为:'张三'
此时，‘张三’就是一个字面量类型，即某个特殊的字符串也可以作为 TS 中的类型
任意的 JS 字面量（对象，数组，数字）都可以作为类型使用
使用场景和模式
- 使用模式：字面量类型配合联合类型一起使用
- 使用场景：用来表示一组明确的可选值列表
- 比如，在贪吃蛇游戏中，游戏的方向的可选值只能是上、下、左、右中的任意一个
type Direction = 'left' | 'right' | 'up' | 'down';
// 使用自定义类型:
function changeDirection(direction: Direction) {
console.log(direction);
}
// 调用函数时，会有类型提示：
changeDirection('up');- 解释：参数 direction 的值只能是 up/down/left/right 中的任意一个
- 优势：相比于 string 类型，使用字面量类型更加精确、严谨
13. 枚举
- 枚举的功能类似于字面量类型+联合类型组合的功能，也可以表示一组明确的可选值
- 枚举：定义一组命名常量。它描述一个值，该值可以是这些命名常量中的一个
// 枚举
// 创建枚举
enum Direction2 {
Up,
Down,
Left,
Right,
}
// 使用枚举类型
function changeDirection2(direction: Direction2) {
console.log(direction);
}
// 调用函数时，需要应该传入：枚举 Direction 成员的任意一个
// 类似于 JS 中的对象，直接通过 点（.）语法 访问枚举的成员
changeDirection2(Direction2.Up);数字枚举
- 问题：我们把枚举成员作为了函数的实参，它的值是什么呢?
- 解释：通过将鼠标移入 Direction.Up，可以看到枚举成员 Up 的值为 0
- 注意：枚举成员是有值的，默认为：从 0 开始自增的数值
- 我们把，枚举成员的值为数字的枚举，称为：
数字枚举 - 当然，也可以给枚举中的成员初始化值
// Down -> 11、Left -> 12、Right -> 13
enum Direction {
Up = 10,
Down,
Left,
Right,
}
enum Direction {
Up = 2,
Down = 4,
Left = 8,
Right = 16,
}字符串枚举
- 字符串枚举：枚举成员的值是字符串
- 注意：字符串枚举没有自增长行为，因此，字符串枚举的每个成员必须有初始值
enum Direction {
Up = 'UP',
Down = 'DOWN',
Left = 'LEFT',
Right = 'RIGHT',
}枚举实现原理
- 枚举是 TS 为数不多的非 JavaScript 类型级扩展(不仅仅是类型)的特性之一
- 因为：其他类型仅仅被当做类型，而枚举不仅用作类型，还提供值(枚举成员都是有值的)
- 也就是说，其他的类型会在编译为 JS 代码时自动移除。但是，枚举类型会被编译为 JS 代码
enum Direction {
Up = 'UP',
Down = 'DOWN',
Left = 'LEFT',
Right = 'RIGHT'
}
// 会被编译为以下 JS 代码：
var Direction;
(function (Direction) {
Direction['Up'] = 'UP'
Direction['Down'] = 'DOWN'
Direction['Left'] = 'LEFT'
Direction['Right'] = 'RIGHT'
})(Direction || Direction = {})- 说明：枚举与前面讲到的字面量类型+联合类型组合的功能类似，都用来表示一组明确的可选值列表
- 一般情况下，推荐使用字面量类型+联合类型组合的方式，因为相比枚举，这种方式更加直观、简洁、高效
14. any 类型
- 原则:不推荐使用 any!这会让 TypeScript 变为 “AnyScript”(失去 TS 类型保护的优势)
- 因为当值的类型为 any 时，可以对该值进行任意操作，并且不会有代码提示
let obj: any = { x: 0 };
obj.bar = 100;
obj();
const n: number = obj;- 解释:以上操作都不会有任何类型错误提示，即使可能存在错误
- 尽可能的避免使用 any 类型，除非临时使用 any 来“避免”书写很长、很复杂的类型
- 其他隐式具有 any 类型的情况
- 声明变量不提供类型也不提供默认值
- 函数参数不加类型
- 注意：因为不推荐使用 any，所以，这两种情况下都应该提供类型
在项目开发中，尽量少用 any 类型
15. 类型断言
有时候你会比 TS 更加明确一个值的类型，此时，可以使用类型断言来指定更具体的类型。 比如，
const aLink = document.getElementById('link');- 注意：该方法返回值的类型是 HTMLElement，该类型只包含所有标签公共的属性或方法，不包含 a 标签特有的 href 等属性
- 因此，这个类型太宽泛(不具体)，无法操作 href 等 a 标签特有的属性或方法
- 解决方式：这种情况下就需要使用类型断言指定更加具体的类型
- 使用类型断言：
const aLink = document.getElementById('link') as HTMLAnchorElement;-
解释:
- 使用
as关键字实现类型断言 - 关键字 as 后面的类型是一个更加具体的类型（HTMLAnchorElement 是 HTMLElement 的子类型）
- 通过类型断言，aLink 的类型变得更加具体，这样就可以访问 a 标签特有的属性或方法了
- 使用
-
另一种语法，使用
<>语法，这种语法形式不常用知道即可:
// 该语法，知道即可：在react的jsx中使用会报错
const aLink = <HTMLAnchorElement>document.getElementById('link');技巧：在浏览器控制台，通过 __proto__ 获取 DOM 元素的类型
16. typeof
- 众所周知，JS 中提供了 typeof 操作符，用来在 JS 中获取数据的类型
console.log(typeof 'Hello world'); // ?- 实际上，TS 也提供了 typeof 操作符：可以在类型上下文中引用变量或属性的类型（类型查询）
- 使用场景:根据已有变量的值，获取该值的类型，来简化类型书写
let p = { x: 1, y: 2 };
function formatPoint(point: { x: number; y: number }) {}
formatPoint(p);
function formatPoint(point: typeof p) {}- 解释:
- 使用
typeof操作符来获取变量 p 的类型，结果与第一种（对象字面量形式的类型）相同 - typeof 出现在类型注解的位置（参数名称的冒号后面）所处的环境就在类型上下文(区别于 JS 代码)
- 注意：typeof 只能用来查询变量或属性的类型，无法查询其他形式的类型（比如，函数调用的类型）
- 使用