1.TypeScript 介绍
TypeScript 是什么?
- TypeScript(简称:TS)是 JavaScript 的超集(JS 有的 TS 都有)。
- TypeScript = Type + JavaScript(在 JS 基础之上,为 JS 添加了类型支持)。
- TypeScript 是微软开发的开源编程语言,可以在任何运行 JavaScript 的地方运行。
TypeScript 为什么要为 JS 添加类型支持?
- 背景:JS 的类型系统存在“先天缺陷”,JS 代码中绝大部分错误都是类型错误(Uncaught TypeError)。
- 问题:增加了找 Bug、改 Bug 的时间,严重影响开发效率。
- 从编程语言的动静来区分,TypeScript 属于静态类型的编程语言,JS 属于动态类型的编程语言。
- 静态类型:编译期做类型检查; 动态类型:执行期做类型检查。
- 代码编译和代码执行的顺序:1 编译 2 执行。
- 对于 JS 来说:需要等到代码真正去执行的时候才能发现错误(晚)。
- 对于 TS 来说:在代码编译的时候(代码执行前)就可以发现错误(早)。
- 并且,配合 VSCode 等开发工具,TS 可以提前到在编写代码的同时就发现代码中的错误,减少找 Bug、改 Bug 时间
2.TypeScript 初体验
安装编译 TS 的工具包
- 问题:为什么要安装编译 TS 的工具包?
- 回答:Node.js/浏览器,只认识 JS 代码,不认识 TS 代码。需要先将 TS 代码转化为 JS 代码,然后才能运行。
- 安装命令:npm i -g typescript。
- typescript 包:用来编译 TS 代码的包,提供了 tsc 命令,实现了 TS -> JS 的转化。
- 验证是否安装成功:tsc –v(查看 typescript 的版本)。
编译并运行 TS 代码
- 创建 hello.ts 文件(注意:TS 文件的后缀名为 .ts)。
- 将 TS 编译为 JS:在终端中输入命令,tsc hello.ts(此时,在同级目录中会出现一个同名的 JS 文件)。
- 执行 JS 代码:在终端中输入命令,node hello.js。
说明:所有合法的 JS 代码都是 TS 代码,有 JS 基础只需要学习 TS 的类型即可。注意:由 TS 编译生成的 JS 文件,代码中就没有类型信息了。
简化运行 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 常用类型
概述
- TypeScript 类型系统的主要优势:可以显示标记出代码中的意外行为,从而降低了发生错误的可能性。
- 类型注解
- 常用基础类型
类型注解
示例代码:
- 说明:代码中的 : number 就是类型注解。
- 作用:为变量添加类型约束。比如,上述代码中,约定变量 age 的类型为 number(数值类型)。
- 解释:约定了什么类型,就只能给变量赋值该类型的值,否则,就会报错。
![](https://i-blog.csdnimg.cn/blog_migrate/307180e9a3f353c99a3a1fe37aee9806.png)
常用基础类型概述
- 可以将 TS 中的常用基础类型细分为两类:1 JS 已有类型 2 TS 新增类型。
- 1. JS 已有类型
- 原始类型:number/string/boolean/null/undefined/symbol。
- 对象类型:object(包括,数组、对象、函数等对象)。
- 2. TS 新增类型
- 联合类型、自定义类型(类型别名)、接口、元组、字面量类型、枚举、void、any 等。
原始类型
- 原始类型:number/string/boolean/null/undefined/symbol。
- 特点:简单。这些类型,完全按照 JS 中类型的名称来书写。
-
let age: number = 18
-
let myName: string =
'liu'
-
let isLoading: boolean =
false
-
let a: null = null
-
let b: undefined = undefined
-
let s: symbol = Symbol()
数组类型
对象类型:object(包括,数组、对象、函数等对象)。
特点:对象类型,在 TS 中更加细化,每个具体的对象都有自己的类型语法。
数组类型的两种写法:(推荐使用 number[] 写法)
-
let numbers: number[] = [1, 3, 5]
-
let strings: Array<string> = [
'a',
'b',
'c']
需求:数组中既有 number 类型,又有 string 类型,这个数组的类型应该如何写?
-
let arr: (number | string)[] = [1, 3, 5,
'a',
'b',
'c']
-
-
let arr1: number | string[] = [
'a',
'b',
'c']
-
let arr2: number | string[] = 123
解释:| (竖线)在 TS 中叫做联合类型(由两个或多个其他类型组成的类型,表示可以是这些类型中的任意一种)。
注意:这是 TS 中联合类型的语法,只有一根竖线,不要与 JS 中的或(||)混淆了。
类型别名
类型别名(自定义类型):为任意类型起别名。
使用场景:当同一类型(复杂)被多次使用时,可以通过类型别名,简化该类型的使用。
-
type CustomArray = (number | string)[]
-
let arr1: CustomArray = [1,
'a', 3,
'b']
-
let arr2: CustomArray = [
'x',
'y', 6, 7]
解释:
1. 使用 type 关键字来创建类型别名。
2. 类型别名(比如,此处的 CustomArray),可以是任意合法的变量名称。
3. 创建类型别名后,直接使用该类型别名作为变量的类型注解即可
函数类型
函数的类型实际上指的是:函数参数和返回值的类型。
为函数指定类型的两种方式:1 单独指定参数、返回值的类型 2 同时指定参数、返回值的类型。
1. 单独指定参数、返回值的类型:
-
function add(num1: number, num2: number): number {
-
return num1 + num2
-
}
-
-
const add = (num1: number, num2: number): 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, 3)
可选参数:在可传可不传的参数名称后面添加 ?(问号)。
注意:可选参数只能出现在参数列表的最后,也就是说可选参数后面不能再出现必选参数。
接口
当一个对象类型被多次使用时,一般会使用接口(interface)来描述对象的类型,达到复用的目的。解释:
- 使用 interface 关键字来声明接口。
- 接口名称(比如,此处的 IPerson),可以是任意合法的变量名称。
- 声明接口后,直接使用接口名称作为变量的类型。
- 因为每一行只有一个属性类型,因此,属性类型后没有 ;(分号)。
-
interface IPerson {
-
name: string
-
age: number
-
-
sayHi(): void
-
}
-
-
let person: IPerson = {
-
name:
'liu',
-
age: 18,
-
sayHi() {
-
console.log(
'hello')
-
}
-
}
-
-
let person1: IPerson = {
-
name:
'jack',
-
age: 17,
-
sayHi() {
-
console.log(
'hello')
-
}
-
}
-
-
console.log(person, person1)
interface(接口)和 type(类型别名)的对比:
- 相同点:都可以给对象指定类型。
- 不同点:
- 接口,只能为对象指定类型。
- 类型别名,不仅可以为对象指定类型,实际上可以为任意类型指定别名。
-
type IPerson = {
-
name: string
-
age: number
-
-
sayHi(): void
-
}
-
-
let person: IPerson = {
-
name:
'liu',
-
age: 18,
-
sayHi() {
-
console.log(
'hello')
-
}
-
}
如果两个接口之间有相同的属性或方法,可以将公共的属性或方法抽离出来,通过继承来实现复用。比如,这两个接口都有 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 Point2D { z: number }
解释:
- 使用 extends(继承)关键字实现了接口 Point3D 继承 Point2D。
- 继承后,Point3D 就有了 Point2D 的所有属性和方法(此时,Point3D 同时有 x、y、z 三个属性)。
元组
场景:在地图中,使用经纬度坐标来标记位置信息。
可以使用数组来记录坐标,那么,该数组中只有两个元素,并且这两个元素都是数值类型。
let position: number[] = [39.5427, 116.2317]
使用 number[] 的缺点:不严谨,因为该类型的数组中可以出现任意多个数字。更好的方式:元组(Tuple)。元组类型是另一种类型的数组,它确切地知道包含多少个元素,以及特定索引对应的类型。
let position: [number, number] = [39.5427, 116.2317]
解释:
- 元组类型可以确切地标记出有多少个元素,以及每个元素的类型。
- 该示例中,元素有两个元素,每个元素的类型都是 number。
枚举
枚举的功能类似于字面量类型+联合类型组合的功能,也可以表示一组明确的可选值。
枚举:定义一组命名常量。它描述一个值,该值可以是这些命名常量中的一个。
解释:
- 使用 enum 关键字定义枚举。
- 约定枚举名称、枚举中的值以大写字母开头。
- 枚举中的多个值之间通过 ,(逗号)分隔。
- 定义好枚举后,直接使用枚举名称作为类型注解。
any 类型
原则:不推荐使用 any!这会让 TypeScript 变为 “AnyScript”(失去 TS 类型保护的优势)。
因为当值的类型为 any 时,可以对该值进行任意操作,并且不会有代码提示。
解释:以上操作都不会有任何类型错误提示,即使可能存在错误!尽可能的避免使用 any 类型,除非临时使用 any 来“避免”书写很长、很复杂的类型!其他隐式具有 any 类型的情况:1 声明变量不提供类型也不提供默认值 2 函数参数不加类型。注意:因为不推荐使用 any,所以,这两种情况下都应该提供类型!
4.TypeScript 高级类型
概述
- class 类
- 类型兼容性
- 交叉类型
- 泛型 和 keyof
- 索引签名类型 和 索引查询类型
- 映射类型
class 类
TypeScript 全面支持 ES2015 中引入的 class 关键字,并为其添加了类型注解和其他语法(比如,可见性修饰符等)
解释:
- 根据 TS 中的类型推论,可以知道 Person 类的实例对象 p 的类型是 Person。
- TS 中的 class,不仅提供了 class 的语法功能,也作为一种类型存在。
实例属性初始化:
解释:
- 声明成员 age,类型为 number(没有初始值)。
- 声明成员 gender,并设置初始值,此时,可省略类型注解(TS 类型推论 为 string 类型)。
构造函数:
解释:
- 成员初始化(比如,age: number)后,才可以通过 this.age 来访问实例成员。
- 需要为构造函数指定类型注解,否则会被隐式推断为 any;构造函数不需要返回值类型。
实例方法:
解释:方法的类型注解(参数和返回值)与函数用法相同。
类继承的两种方式:1 extends(继承父类) 2 implements(实现接口)。说明:JS 中只有 extends,而 implements 是 TS 提供的。
解释:
- 通过 extends 关键字实现继承。
- 子类 Dog 继承父类 Animal,则 Dog 的实例对象 dog 就同时具有了父类 Animal 和 子类 Dog 的所有属性和方法。
类继承的两种方式:1 extends(继承父类) 2 implements(实现接口)。
解释:
- 通过 implements 关键字让 class 实现接口。
- Person 类实现接口 Singable 意味着,Person 类中必须提供 Singable 接口中指定的所有方法和属性。
类成员可见性:可以使用 TS 来控制 class 的方法或属性对于 class 外的代码是否可见。
可见性修饰符包括:
- public(公有的)
- protected(受保护的)
- private(私有的)。
1. public:表示公有的、公开的,公有成员可以被任何地方访问,默认可见性。
解释:
- 在类属性或方法前面添加 public 关键字,来修饰该属性或方法是共有的。
- 因为 public 是默认可见性,所以,可以直接省略。
2. protected:表示受保护的,仅对其声明所在类和子类中(非实例对象)可见
解释:
- 在类属性或方法前面添加 protected 关键字,来修饰该属性或方法是受保护的。
- 在子类的方法内部可以通过 this 来访问父类中受保护的成员,但是,对实例不可见!
3. private:表示私有的,只在当前类中可见,对实例对象以及子类也是不可见的
解释:
- 在类属性或方法前面添加 private 关键字,来修饰该属性或方法是私有的。
- 私有的属性或方法只在当前类中可见,对子类和实例对象也都是不可见的!
泛型
泛型是可以在保证类型安全前提下,让函数等与多种类型一起工作,从而实现复用,常用于:函数、接口、class 中。需求:创建一个 id 函数,传入什么数据就返回该数据本身(也就是说,参数和返回值类型相同)。
比如,id(10) 调用以上函数就会直接返回 10 本身。但是,该函数只接收数值类型,无法用于其他类型。为了能让函数能够接受任意类型,可以将参数类型修改为 any。但是,这样就失去了 TS 的类型保护,类型不安全。
泛型在保证类型安全(不丢失类型信息)的同时,可以让函数等与多种不同的类型一起工作,灵活可复用。实际上,在 C#和 Java 等编程语言中,泛型都是用来实现可复用组件功能的主要工具之一。
创建泛型函数:
解释:
- 语法:在函数名称的后面添加 <>(尖括号),尖括号中添加类型变量,比如此处的 Type。
- 类型变量 Type,是一种特殊类型的变量,它处理类型而不是值。
- 该类型变量相当于一个类型容器,能够捕获用户提供的类型(具体是什么类型由用户调用该函数时指定)。
- 因为 Type 是类型,因此可以将其作为函数参数和返回值的类型,表示参数和返回值具有相同的类型。
- 类型变量 Type,可以是任意合法的变量名称。
调用泛型函数:
解释:
- 语法:在函数名称的后面添加 <>(尖括号),尖括号中指定具体的类型,比如,此处的 number。
- 当传入类型 number 后,这个类型就会被函数声明时指定的类型变量 Type 捕获到。
- 此时,Type 的类型就是 number,所以,函数 id 参数和返回值的类型也都是 number。
- 同样,如果传入类型 string,函数 id 参数和返回值的类型就都是 string。
- 这样,通过泛型就做到了让 id 函数与多种不同的类型一起工作,实现了复用的同时保证了类型安全。
简化调用泛型函数:
解释:
- 在调用泛型函数时,可以省略 <类型> 来简化泛型函数的调用。
- 此时,TS 内部会采用一种叫做类型参数推断的机制,来根据传入的实参自动推断出类型变量 Type 的类型。
- 比如,传入实参 10,TS 会自动推断出变量 num 的类型 number,并作为 Type 的类型。
- 推荐:使用这种简化的方式调用泛型函数,使代码更短,更易于阅读。
- 说明:当编译器无法推断类型或者推断的类型不准确时,就需要显式地传入类型参数。