TypeScript 学习总结（一）

TypeScript 介绍

TypeScript 是什么

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

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

从编程语言的动静来区分，TypeScript 属于静态类型的编程语言，JS 属于动态类型的编程语言。
静态类型：编译期做类型检查； 动态类型：执行期做类型检查。

代码编译和代码执行的顺序：1 编译 2 执行

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

TypeScript 相比 JS 的优势

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

注意
除此之外，Vue 3 源码使用 TS 重写、Angular 默认支持 TS、React 与 TS 完美配合，TypeScript 已成为大中型前端,项目的首先编程语言.

TypeScript 初体验

安装编译 TS 的工具包

安装命令：npm i -g typescript。
typescript 包：用来编译 TS 代码的包，提供了 tsc 命令，实现了 TS -> JS 的转化。
验证是否安装成功：tsc –v（查看 typescript 的版本）

运行 TS 的步骤

方式：使用 ts-node 包，直接在 Node.js 中执行 TS 代码。
安装命令：npm i -g ts-node（ts-node 包提供了 ts-node 命令）。
使用方式：ts-node hello.ts。
解释：ts-node 命令在内部偷偷的将 TS -> JS，然后，再运行 JS 代码

TypeScript 常用类型

概述

TypeScript 是 JS 的超集，TS 提供了 JS 的所有功能，并且额外的增加了：类型系统。

• 所有的 JS 代码都是 TS 代码。
• JS 有类型（比如，number/string 等），但是 JS 不会检查变量的类型是否发生变化。而 TS 会检查。
  TypeScript 类型系统的主要优势：可以显示标记出代码中的意外行为，从而降低了发生错误的可能性。

1. 类型注解
2. 常用基础类型

常用基础类型概述

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

1. JS 已有类型

• 原始类型：number/string/boolean/null/undefined/symbol。
• 对象类型：object（包括，数组、对象、函数等对象）。

2. TS 新增类型
   l 联合类型、自定义类型（类型别名）、接口、元组、字面量类型、枚举、void、any 等

原始类型

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

let age: number = 18
let myName: string = 'cuic'
let isSleep: boolean = false

数组类型

对象类型：object（包括，数组、对象、函数等对象）。
**特点：**对象类型，在 TS 中更加细化，每个具体的对象都有自己的类型语法。

• 数组类型的两种写法：（推荐使用 number[] 写法哦）

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

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

let arr: (number | string)[] = [1,2,3,4,'a','b']

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

类型别名

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

注意
1.使用 type 关键字来创建类型别名。
2. 类型别名（比如，此处的 CustomArray），可以是任意合法的变量名称。
3. 创建类型别名后，直接使用该类型别名作为变量的类型注解即可。

type CustomArray = (number | string)[]

let arr: CustomArray = [1, 3, 5, 'a', 'b']
let arr1: CustomArray = [1, 'x', 2, 'y']

函数类型

函数的类型实际上指的是：函数参数和返回值的类型。

• 为函数指定类型的两种方式：

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

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

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

 console.log(add(3, 2))

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

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

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

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

对象类型

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

let person: { name: string; age: number; sayHi(): void; greet(name: string): void } = {
 name: 'cuic',
 age: 18,
sayHi() {},
greet(name) {}
 }

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

• 如果一行代码只指定一个属性类型（通过换行来分隔多个属性类型），可以去掉 ;（分号）。
• 方法的类型也可以使用箭头函数形式（比如：{ sayHi: () => void }）

接口

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

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

let person: IPerson = {
  name: 'cuic',
  age: 18,
  sayHi() {}
}

let person1: IPerson = {
  name: 'hehe',
  age: 16,
  sayHi() {}
}

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

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

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

如果两个接口之间有相同的属性或方法，可以将公共的属性或方法抽离出来，通过继承来实现复用。

比如，这两个接口都有 x、y 两个属性，重复写两次，可以，但很繁琐.
这个时候可以使用** extends（继承）**关键字实现了接口 Point3D 继承 Point2D。继承后，Point3D 就有了 Point2D 的所有属性和方法（此时，Point3D 同时有 x、y、z 三个属性）

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

// 使用 继承 实现复用：
interface Point3D extends Point2D {
  z: number
}

元组

元组类型是另一种类型的数组，它确切地知道包含多少个元素，以及特定索引对应的类型。

let position: [number, string] = [39, '114']

元组类型可以确切地标记出有多少个元素，以及每个元素的类型

类型推论

在 TS 中，某些没有明确指出类型的地方，TS 的类型推论机制会帮助提供类型
换句话说：由于类型推论的存在，这些地方，类型注解可以省略不写！