Typescript 学习笔记（一）

1. TypeScript 介绍

1.1 TypeScript 是什么

TypeScript（简称：TS）是 JavaScript 的超集（JS 有的 TS 都有）。
TypeScript = Type + JavaScript（在 JS 基础之上，为 JS 添加了类型支持）。
TypeScript 是微软开发的开源编程语言，可以在任何运行 JavaScript 的地方运行。

1.2 TypeScript 为什么要为 JS 添加类型支持？

背景：JS 的类型系统存在“先天缺陷”，JS 代码中绝大部分错误都是类型错误（Uncaught TypeError）。

问题：增加了找 Bug、改 Bug 的时间，严重影响开发效率。从编程语言的动静来区分，TypeScript 属于静态类型的编程语言，JS 属于动态类型的编程语言。

静态类型：编译期做类型检查； 动态类型：执行期做类型检查。

代码编译和代码执行的顺序：1 编译 2 执行。
对于 JS 来说：需要等到代码真正去执行的时候才能发现错误（晚）。
对于 TS 来说：在代码编译的时候（代码执行前）就可以发现错误（早）。
并且，配合 VSCode 等开发工具，TS 可以提前到在编写代码的同时就发现代码中的错误，减少找 Bug、改 Bug 时间

1.3 TypeScript 相比 JS 的优势

1. 更早（写代码的同时）发现错误，减少找 Bug、改 Bug 时间，提升开发效率。
2. 程序中任何位置的代码都有代码提示，随时随地的安全感，增强了开发体验。
3. 强大的类型系统提升了代码的可维护性，使得重构代码更加容易。
4. 支持最新的 ECMAScript 语法，优先体验最新的语法，让你走在前端技术的最前沿。
5. TS 类型推断机制，不需要在代码中的每个地方都显示标注类型，让你在享受优势的同时，尽量降低了成本。
   除此之外，Vue 3 源码使用 TS 重写、Angular 默认支持 TS、React 与 TS 完美配合，TypeScript 已成为大中型前端
   项目的首先编程语言。

TypeScript 初体验

2.1 安装编译 TS 的工具包

问题：为什么要安装编译 TS 的工具包？
回答：Node.js/浏览器，只认识 JS 代码，不认识 TS 代码。需要先将 TS 代码转化为 JS 代码，然后才能运行。
安装命令：npm i -g typescript。
typescript 包：用来编译 TS 代码的包，提供了 tsc 命令，实现了 TS -> JS 的转化。
验证是否安装成功：tsc –v（查看 typescript 的版本）

2.2 编译并运行 TS 代码

1. 创建 hello.ts 文件（注意：TS 文件的后缀名为 .ts）。
2. 将 TS 编译为 JS：在终端中输入命令，tsc hello.ts（此时，在同级目录中会出现一个同名的 JS 文件）。
3. 执行 JS 代码：在终端中输入命令，node hello.js。

2.3 简化运行 TS 的步骤

问题描述：每次修改代码后，都要重复执行两个命令，才能运行 TS 代码，太繁琐。
简化方式：使用 ts-node 包，直接在 Node.js 中执行 TS 代码。
安装命令：npm i -g ts-node（ts-node 包提供了 ts-node 命令）。
使用方式：ts-node hello.ts。
解释：ts-node 命令在内部偷偷的将 TS -> JS，然后，再运行 JS 代码。

3. TypeScript 常用类型

3.1 类型注解

示例代码：

let age: number = 18

说明：代码中的 : number 就是类型注解。
作用：为变量添加类型约束。比如，上述代码中，约定变量 age 的类型为 number（数值类型）。
解释：约定了什么类型，就只能给变量赋值该类型的值，否则，就会报错。

3.2常用基础类型概述

可以将 TS 中的常用基础类型细分为两类：1 JS 已有类型 2 TS 新增类型。

1. JS 已有类型
   l 原始类型：number/string/boolean/null/undefined/symbol。
   l 对象类型：object（包括，数组、对象、函数等对象）。
2. TS 新增类型
   l 联合类型、自定义类型（类型别名）、接口、元组、字面量类型、枚举、void、any 等。

3.3 数据类型

3.3.1 原始类型

原始类型：number/string/boolean/null/undefined/symbol。
特点：简单。这些类型，完全按照 JS 中类型的名称来书写。

let myAge: number = 18
let myName: string = 'Anastasia'
let married: boolean = false
let NULL: null = null
let UNDEFINED: undefined = undefined
let SYMBOL: symbol = Symbol()

对象类型

对象类型：object（包括，数组、对象、函数等对象）。
特点：对象类型，在 TS 中更加细化，每个具体的对象都有自己的类型语法。
l 数组类型的两种写法：（推荐使用 number[] 写法）

let numbers: number[] = [1, 2, 3, 4]
let strings: Array<string> = ['1', '2', '3', '4']

联合类型

需求：数组中既有 number 类型，又有 string 类型，这个数组的类型应该如何写？

正确：

# 能出现number类型或者字符串类型的数组
let arr: (number | string)[] = [1, 'a', 2, 'b']

错误：

# 能出现number类型的数字或者字符串类型的数组
let arr: number | string[] = [1, 'a', 2, 'b']

解释：| （竖线）在 TS 中叫做联合类型（由两个或多个其他类型组成的类型，表示可以是这些类型中的任意一种）。
注意：这是 TS 中联合类型的语法，只有一根竖线，不要与 JS 中的或（||）混淆了。

类型别名

类型别名（自定义类型）：为任意类型起别名。
使用场景：当同一类型（复杂）被多次使用时，可以通过类型别名，简化该类型的使用。

type CustomType = (string | number)[]
let arr1:CustomType = [1, 'a', 2, 'b']
let arr2: CustomType = ['a', 1, 'b', 2]

函数类型

函数的类型实际上指的是：函数参数和返回值的类型。
为函数指定类型的两种方式：

1. 单独指定参数、返回值的类型：

函数声明

 function add(num1: number, num2: number):number {
     return num1 + num2
 }

函数表达式

const add = (num1: number, num2: number) => {
    return num1 + num2
}

2 同时指定参数、返回值的类型

const add: (num1: number, num2: number) => number = (num1, num2) => {
    return num1 + num2
}

解释：当函数作为表达式时，可以通过类似箭头函数形式的语法来为函数添加类型。
注意：这种形式只适用于函数表达式。

没有返回值的类型

如果函数没有返回值，那么，函数返回值类型为：void

function greet(name: string): void {
    console.log('Hello! ', name)
}

可选参数

使用函数实现某个功能时，参数可以传也可以不传。这种情况下，在给函数参数指定类型时，就用到可选参数了。
比如，数组的 slice 方法，可以 slice() 也可以 slice(1) 还可以 slice(1, 3)。

function mySlice(start?: number, end?: number): void {
    console.log('起始参数：', start, '结束参数：', end)
}

mySlice()
mySlice(1)
mySlice(1, 2)

可选参数：在可传可不传的参数名称后面添加 ?（问号）。
注意：可选参数只能出现在参数列表的最后，也就是说可选参数后面不能再出现必选参数。

对象类型

JS 中的对象是由属性和方法构成的，而 TS 中对象的类型就是在描述对象的结构（有什么类型的属性和方法）。
对象类型的写法：

let person: {name: string; age: number; sayHi(): void;greet(name: string): void} = {
    name: '小芳',
    age: 18,
    sayHi() {
        console.log('Hi')
    },
    greet(name) {}
}

解释：

1. 直接使用 {} 来描述对象结构。属性采用属性名: 类型的形式；方法采用方法名(): 返回值类型的形式。
2. 如果方法有参数，就在方法名后面的小括号中指定参数类型（比如：greet(name: string): void）。
3. 在一行代码中指定对象的多个属性类型时，使用 ;（分号）来分隔。
   l 如果一行代码只指定一个属性类型（通过换行来分隔多个属性类型），可以去掉 ;（分号）。

let person: {
    name: string
    age: number
    sayHi(): void
    greet(name: string): void
} = {
    name: '小芳',
    age: 18,
    sayHi() {
        console.log('Hi')
    },
    greet(name) {}
}

l 方法的类型也可以使用箭头函数形式（比如：{ sayHi: () => void }）。

let person: {
    name: string
    age: number
    // sayHi(): void
    sayHi:() =>void
    greet(name: string)
} = {
    name: '小芳',
    age: 18,
    sayHi() {
        console.log('Hi')
    },
    greet(name) {}
}

可选属性

对象的属性或方法，也可以是可选的，此时就用到可选属性了。
比如，我们在使用 axios({ … }) 时，如果发送 GET 请求，method 属性就可以省略。

function MyAxios(config: {url: string; method?: string}) {}

MyAxios({url: 'www.baidu.com'})

可选属性的语法与函数可选参数的语法一致，都使用 ?（问号）来表示

接口

当一个对象类型被多次使用时，一般会使用接口（interface）来描述对象的类型，达到复用的目的。
解释：

1. 使用 interface 关键字来声明接口。
2. 接口名称（比如，此处的 IPerson），可以是任意合法的变量名称。
3. 声明接口后，直接使用接口名称作为变量的类型。
4. 因为每一行只有一个属性类型，因此，属性类型后没有 ;（分号）

interface IPperson {
    name: string
    age: number
    sayHi(): void
}

let person1: IPperson = {
    name: '小芳',
    age: 18,
    sayHi() {
        console.log('Hi')
    }
}

let person2: IPperson = {
    name: '小芳',
    age: 18,
    sayHi() {
        console.log('Hi')
    }
}

interface（接口）和 type（类型别名）的对比

l 相同点：都可以给对象指定类型。
l 不同点：
l 接口，只能为对象指定类型。
l 类型别名，不仅可以为对象指定类型，实际上可以为任意类型指定别名。

继承

如果两个接口之间有相同的属性或方法，可以将公共的属性或方法抽离出来，通过继承来实现复用。
比如，这两个接口都有 x、y 两个属性，重复写两次，可以，但很繁琐。

interface Point2D {x: number; y: number}
interface Point3D extends Point2D {z: number}

let ps: Point3D = {x: 1, y: 2, z: 3}

解释：

1. 使用 extends（继承）关键字实现了接口 Point3D 继承 Point2D。
2. 继承后，Point3D 就有了 Point2D 的所有属性和方法（此时，Point3D 同时有 x、y、z 三个属性）。

元组

场景：在地图中，使用经纬度坐标来标记位置信息。
可以使用数组来记录坐标，那么，该数组中只有两个元素，并且这两个元素都是数值类型。

let position: number[] = [3.14567, 4.13267]

使用 number[] 的缺点：不严谨，因为该类型的数组中可以出现任意多个数字。
更好的方式：元组（Tuple）。
元组类型是另一种类型的数组，它确切地知道包含多少个元素，以及特定索引对应的类型

let position: [number, number] = [3.14567, 4.13267]

解释：

1. 元组类型可以确切地标记出有多少个元素，以及每个元素的类型。
2. 该示例中，元素有两个元素，每个元素的类型都是 number。

类型推论

变量

声明变量并立即初始化值的时候可以省略类型注解

let Myage = 18

声明变量没有初始化值需要添加类型注解

let Hisage: number

函数

推荐：能省略类型注解的地方就省略（偷懒，充分利用TS类型推论的能力，提升开发效率）

类型断言

有时候你会比 TS 更加明确一个值的类型，此时，可以使用类型断言来指定更具体的类型

写法1：

const alink = document.getElementById('alink') as HTMLAnchorElement

注意：getElementById 方法返回值的类型是 HTMLElement，该类型只包含所有标签公共的属性或方法，不包含 a
标签特有的 href 等属性。
因此，这个类型太宽泛（不具体），无法操作 href 等 a 标签特有的属性或方法。
好处：可以操作 href 等 a 标签特有的属性或方法

写法2

const alink = <HTMLAnchorElement>document.getElementById('alink')

技巧：在浏览器控制台，通过 console.dir() 打印 DOM 元素，在属性列表的最后面，即可看到该元素的类型

字面量类型

此处的 ‘Hello TS’，就是一个字面量类型。也就是说某个特定的字符串也可以作为 TS 中的类型
使用场景：用来表示一组明确的可选值列表。
比如，在贪吃蛇游戏中，游戏的方向的可选值只能是上、下、左、右中的任意一个

function changeDirection(direction: 'up'|'down'|'left'|'right') {}
changeDirection('up')

参数 direction 的值只能是 up/down/left/right 中的任意一个

枚举

枚举的功能类似于字面量类型+联合类型组合的功能，也可以表示一组明确的可选值

enum Direction {Up, Down, Left, Right}
function changeDirection(direction: Direction) {
    console.log(Direction)
}
changeDirection(Direction.Down)

解释：

1. 使用 enum 关键字定义枚举。
2. 约定枚举名称、枚举中的值以大写字母开头。
3. 枚举中的多个值之间通过 ,（逗号）分隔。
4. 定义好枚举后，直接使用枚举名称作为类型注解。

枚举成员的值及数字枚举

注意：枚举成员是有值的，默认为：从 0 开始自增的数值。
我们把，枚举成员的值为数字的枚举，称为：数字枚举。

enum Directions {
    up=1,
    down=2,
    left=3,
    right=4
}

function changeDirection(direction: Directions) {
    console.log(direction)
}

changeDirection(Directions.up)

字符串枚举

enum Directions {
    Up='UP',
    down='DOWN',
    left='LEFT',
    right='RIGHT'
}

注意：字符串枚举没有自增长行为，因此，字符串枚举的每个成员必须有初始值

说明：枚举与前面讲到的字面量类型+联合类型组合的功能类似，都用来表示一组明确的可选值列表。
一般情况下，推荐使用字面量类型+联合类型组合的方式，因为相比枚举，这种方式更加直观、简洁、高效

any类型

原则：不推荐使用 any！这会让 TypeScript 变为 “AnyScript”（失去 TS 类型保护的优势）

let obj:any = {x: 0}
obj()
obj.bar
obj = 18

typeof

JS 中提供了 typeof 操作符，用来在 JS 中获取数据的类型

let p = {x: 1, y: 2}
function formatPoint(point: typeof p) {
    console.log(point)
}
formatPoint({x: 3, y: 4})

注意：typeof 只能用来查询变量或属性的类型，无法查询其他形式的类型（比如，函数调用的类型）