TS笔记

TypeScript 是什么

TypeScript 是微软开发的开源编程语言。2012年10月，微软发布了首个公开版本的TypeScript，2013年6月19日，在经历了一个预览版之后微软正式发布了正式版TypeScript,可以在任何运行 JavaScript 的地方运行

TypeScript 简称：TS，是 JavaScript 的超集。

1. 简单来说就是：JS 有的 TS 都有。JS写的代码在TS的环境下都能跑。
2. 在 JS 基础之上，为 JS 添加了类型支持。TypeScript = Type + JavaScript

TypeScript 起源于使用JavaScript开发的大型项目 。由于JavaScript语言本身的局限性，难以胜任和维护大型项目开发。因此微软开发了TypeScript ，使得其能够胜任开发大型项目。

// TypeScript  代码有明确的数据类型
let age1: number = 18
// JavaScript  代码没有明确的类型
let age2 = 18

TS 官方文档open in new window

TypeScript和JS的对比

共4点

动态和静态编程语言

js属于动态类型的编程语言，TS属于静态类型的编程语言

• js：边解释边执行，错误只能在运行阶段才能发现。
• ts: 它要先编译，再执行(不能直接执行，需要编译成js才能执行)

ts完全兼容javascript，它可以编译成javascript

ts有类型支持，有强大的代码类型提示

在写代码的过程中就能发现问题

前端生态

前端三大框架: Vue 3 源码使用 TS 重写、Angular 默认支持 TS、React 与 TS 完美配合，TypeScript 已成为大中型前端项目的首选编程语言。

目前，前端最新的开发技术栈：

1. React： TS + Hooks
2. Vue： TS + Vue3

小结

1. js是动态语言（边解析->边执行），ts是静态语言（先编译-->执行）
2. ts是包含js的，js的所有语法在ts中支持
3. ts有类型提示
4. ts是前端不可避免的趋势

TypeScript初体验

目标

搭建一个可以运行TS的环境来学习ts

全局安装编译 TS 的工具包

安装包：npm i -g typescript

• typescript 包：用来编译 TS 代码的包，提供了 tsc 命令，实现了 ts -> js 的转化
• 验证是否安装成功：tsc –v (查看 typescript 的版本)

注意：Mac 电脑安装全局包时，需要添加 sudo 获取权限：sudo npm i -g typescript

编译并运行 TS 代码

步骤

1. 创建ts文件。例如 hello.ts 文件（注意：TS 文件的后缀名为 .ts）

2. 编译。将 TS 编译为 JS

   在终端中输入命令，tsc hello.ts（此时，在同级目录中会出现一个同名的 JS 文件）

3. 执行 JS 代码。

   1. 在node中运行。在终端中输入命令，node hello.js
   2. 在浏览器中运行。

拓展：在线运行

www.typescriptlang.org/play

环境变量

1. 前端项目中会遇到。类似于：.env
2. 使用计算机时，需要配置环境变量

解决：

C:\Users\fanyoufu>npm bin -g
===> C:\Users\fanyoufu\AppData\Roaming\npm # 把这个地址添加到环境变量

#ts-node 简化运行 TS 的步骤

#目标

了解ts-node命令的基本使用

#问题描述

每次修改代码后，都要重复执行两个命令，才能运行 TS 代码，太繁琐。

tsc  你的代码.ts

node 你的代码.js

简化方式

使用 ts-node 包，直接在 Node.js 中执行 TS 代码。它提供了 ts-node 命令，可以简化执行命令。

安装命令

npm i -g ts-node

使用方式：ts-node hello.ts

相当于：1 tsc 命令 2 node（注意：ts-node 不会生成 js 文件）

解释：ts-node 命令在内部偷偷的将 TS -> JS，然后，再运行 JS 代码

小结

在初始学习阶段，我们会使用ts-node来运行代码，在项目阶段就不会再这样使用了。

运行ts代码报错问题

console.log报错问题

Cannot find name 'console'. Do you need to change your target library? Try changing thelib compiler option to include 'dom'.

原因：没有创建ts项目，没有写配置文件

解决：用tsc --init命名，在根目录下生成配置文件 tsconfig.json

同名的变量冲突问题

原因：目前写的代码不是模块化的环境，定义的变量都是全局的。

解决：

1. 方式1：写代码时，用{ }整体给包起来
2. 方式2：export {}

TS类型注解

目标

了解类型注解的概念； 能掌握类型注解的使用方式

背景

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

• TS中定义变量(常量)可以指定类型了。
• A类型的变量不能保存B类型的数据

可以显示标记出代码中的意外行为，从而降低了发生错误的可能性

类型注解

给变量添加类型约束。作用：为变量添加类型约束

格式&示例

格式

let 变量名: 类型 = 初始值

示例

let age: number = 18

说明：代码中的 : number 就是类型注解

上述代码中，约定变量 age 的类型为 number 类型，就只能给变量赋值该类型的值，否则，就会报错

// 错误代码：
// 错误原因：将 string 类型的值赋值给了 number 类型的变量，类型不一致
let age: number = '18'

小结

类型注解的作用是 [ ]

TS的类型

目标

了解ts中的数据类型

常用基础类型

将 TS 中的常用基础类型分为两类

1. JS 已有类型

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

2. TS 新增类型

   1. 联合类型
   2. 自定义类型(类型别名)
   3. 接口
   4. 元组
   5. 字面量类型
   6. 枚举
   7. void
   8. any
   9. unkown
   10. 等

注意：

1. 原始类型在 TS 和 JS 中写法一致
2. 对象类型在 TS 中更加细化，每个具体的对象（比如: 数组、对象、函数...）都有自己的类型语法

原始类型

目标

掌握原始类型的类型注解

原始类型

number/string/boolean/null/undefined/symbol

• 特点：简单，这些类型，完全按照 JS 中类型的名称来书写

// 数值类型
let age: number = 18

// 字符串类型
let myName: string = '小花'

// 布尔类型
let isLoading: boolean = false

// undefined
let un: undefined = undefined

// null
let timer:null = null

// symbol
let uniKey:symbol = Symbol()

类型推论

目标

了解类型推论的场景

类型推论

在 TS 中，某些没有明确指定类型的情况下，TS 的类型推论机制会自动提供类型。好处：由于类型推论的存在，有些情况下的类型注解可以省略不写

2 种常见场景

会发生类型推论的两种场景：

1. 声明变量并初始化时
2. 决定函数返回值时

// 变量 age 的类型被自动推断为：number
let age = 18

// 函数返回值的类型被自动推断为：number
function add(num1: number, num2: number) {
  return num1 + num2
}

VSCode中的编码技巧

• 如果不知道类型，可以通过鼠标放在变量名称上，利用 VSCode 的提示来查看类型

• 写代码的时候，多看方法、属性的类型，养成写代码看类型的习惯

  

需求

如何定义一个变量可以是null也可以是 number 类型?

目标

掌握联合类型的用法

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

格式

let 变量: 类型1 | 类型2 | 类型3 .... = 初始值

解释：|（竖线）在 TS 中叫做联合类型，即：由两个或多个其他类型组成的类型，表示可以是这些类型中的任意一种

示例

let var1: string | number = 1
var1 = '1'

应用场景

定时器id

// | 联合类型  变量可以是两种类型之一
let timer:number|null = null
timer = setTimeout()

注意：这是 TS 中联合类型的语法，只有一根竖线，不要与 JS 中的或（|| 或）混淆了

类型别名

目标

掌握类型别名的用法，能给类型起别名。

格式

定义

type 别名 = 类型

使用

type s = string // 定义

const str1:s = 'abc'
const str2:string = 'abc'

作用

1. 给类型起别名
2. 定义了新类型

场景

给复杂类型起别名

 type NewType = string | number

 let a: NewType = 1
 let b: NewType = '1'

别名可以是任意的合法字符串，一般首字母大写

小结

1. 类型别名的关键字是 [ ]
2. 类型别名的作用是[ ]

数组类型

目标

掌握在ts中使用数组的方法。

两种写法

格式

let 变量: 类型[] = [值1，...]

let 变量: Array<类型> = [值1，...]

基本示例

// 写法一：
let numbers: number[] = [1, 3, 5] //  numbers必须是数组，每个元素都必须是数字

// 写法二：
let strings: Array<string> = ['a', 'b', 'c'] //  strings必须是数组，每个元素都必须是字符串

小结

推荐使用 number[ ] 写法

练习-定义一个数组元素可能是字符串类型，也可能是数值类型

问题：如何定义一个数组，它的元素可能是字符串类型，也可能是数值类型。

分析：结合联合类型来使用

// 联合类型

// 这里有个有优先级的问题，用（）包一下
let arr: (number | string) [] = []
let arr: Array<number | string> = []

// 类型推论
let arr = [1, '1']

函数-单个定义

目标

对函数中涉及的类型进行约定

函数的类型

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

格式

// 普通函数
function 函数名(形参1： 类型=默认值， 形参2：类型=默认值,...): 返回值类型 { }

// 箭头函数
const 函数名（形参1： 类型=默认值， 形参2：类型=默认值, ...):返回值类型 => { }

示例

// 声明式
function add(num1: number, num2: number): number {
  return num1 + num2
}

// 箭头函数
const add = (num1: number, num2: number): number => {
  return num1 + num2
}

add（1,'1') // 报错

函数-统一定义函数格式

问题

定义多个具有相同参数类型和返回值类型的函数时，代码比较累赘

const add = (a:number,b:number):number =>{
     return a + b
}

const sub = (a:number,b:number):number =>{
     return a - b
}

分析

把拥有相同形参和实参的函数当做一个整体，来定义

const add1 : (n1:number,n2:number)=>number  =  (a,b)=>{return a+b }

提炼自定义类型

type Fn = (n1:number,n2:number) => number 
const add1 : Fn = (a,b)=>{return a+b }

小结

1. 函数也是一种数据类型
2. 对于函数表达式，可以统一指定数据类型

函数-返回值类型void

目标

掌握函数的返回值是void类型的情况

void 类型

在 TS 中，如果一个函数没有返回值，应该使用 void 类型

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

具体来说：有如下三种情况

• 不写return
• 写return ，但是后面不接内容
• 写return undefined

// 如果什么都不写，此时，add 函数的返回值类型为： void
const add = () => {}

// 如果return之后什么都不写，此时，add 函数的返回值类型为： void
const add = () => { return }

const add = (): void => {
  // 此处，返回的 undefined 是 JS 中的一个值
  return undefined
}
// 这种写法是明确指定函数返回值类型为 void，与上面不指定返回值类型相同
const add = (): void => {}

void和undefined的区别

如果函数没有指定返回值，调用结束之后，值是undefined的，但是不能直接声明返回值是undefined

function add(a:number, b:number): undefined { // 这里会报错
  console.log(a,b)
}

小结

如果函数没有返回值，可以指定它的类型是 [ ]

函数-可选参数

目标

掌握可选参数的使用，能用可选参数定义函数

场景

使用函数实现某个功能时，参数可以传也可以不传。

例如：数组的 slice 方法，可以 slice() 也可以 slice(1) 还可以 slice(1, 3)

这种情况下，在给函数参数指定类型时，就用到可选参数了

格式

可选参数：在可选参数名的后面添加 ?（问号）

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

注意：可选参数只能出现在参数列表的最后，也就是说可选参数后面不能再出现必选参数

可选和默认值的区别

相同点： 调用函数时，可以少传参数

区别：设置了默认值之后，就是可选的了，不写就会使用默认值； 可选的参数一定有值。

注意：它们不能一起使用。优先使用默认值

对象类型-单独使用

目标

掌握给对象指定类型的描述

格式

注意，对象中的函数有两种写法：普通函数和箭头函数。

const 对象名: {
  属性名1：类型1，
  属性名2：类型2，
  方法名1(形参1: 类型1，形参2: 类型2)： 返回值类型,
  方法名2:(形参1: 类型1，形参2: 类型2) => 返回值类型
} = { 属性名1: 值1，属性名2：值2  }

可选属性用 ?

const 对象名: {属性名1？：类型1，属性名2：类型2 } = { 属性名2：值2 }  

示例

const goodItem:{name: string, price: number, func: ()=>string }  = {
    name: '手机', 
    price: 2000, 
    func:function(){ return '打电话' }
}

说明:

1. 使用 {} 来描述对象结构
2. 属性采用属性名: 类型的形式，如果是多行，可以省略 ,
3. 方法采用方法名(): 返回值类型的形式
4. 可选使用 ?

对象类型-类型别名

目标

用类型别名来简化定义对象的类型的方式

思路

把类型注解封装一下，定义类型

示例

// 创建类型别名
type Person = {
  name: string，
  age: number
  sayHi(): void
}

// 使用类型别名作为对象的类型：
let person: Person = {
  name: '小花',
  age: 18
  sayHi() {}
}

function f1 (p: Persion) :void {
  
}

1. 创建类型别名后，直接使用该类型别名作为变量的类型注解即可

对象类型-练习

创建两个对象：
学生对象

指定对象的类型
- 姓名
- 性别
- 成绩
- 身高
- 学习（）
- 打游戏（）

接口

目标

掌握接口的使用

场景

当一个对象类型被多次使用时，有如下两种方式来来描述对象的类型，以达到复用的目的：

1. 类型别名，type
2. 接口，interface

格式

interface 接口名  {
    属性1: 类型1, 属性2: 类型2,
}

示例

interface IGoodItem  {
   name: string, price: number, func: ()=>string
}

const good1: IGoodItem = {
   name: '手表',
   price: 200,
   func: function() {
       return '看时间'
   }
}
const good2: IGoodItem = {
    name: '手机',
    price: 2000,
    func: function() {
        return '打电话'
    }
}

解释：

1. 使用 interface 关键字来声明接口
2. 接口名称(比如，此处的 IPerson)，可以是任意合法的变量名称，推荐以 I 开头
3. 声明接口后，直接使用接口名称作为变量的类型

接口和类型的区别

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

• 相同点：都可以给对象指定类型

• 不同点:

  • 接口，只能为对象指定类型。它可以继承。
  • 类型别名，不仅可以为对象指定类型，实际上可以为任意类型指定别名

推荐：能使用 type 就用 type

// 接口的写法-------------
interface IPerson {
	name: string,
	age: number
}

const user1：IPerson = {
	name: 'a',
	age: 20
}

// type的写法-------------
type Person  = {
	name: string,
	age: number
}
const user2：Person = {
	name: 'b',
	age: 20
}

接口继承

目标

掌握接口的继承

背景

比如，这两个接口都有 x、y 两个属性，重复写两次，可以，但很繁琐

interface IPoint2D { x: number; y: number }
interface IPoint3D { x: number; y: number; z: number }

分析

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

继承格式

interface 接口2 extends 接口1 {
    属性1： 类型1， // 接口2中特有的类型
    ... 
}

接口继承的示例

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

解释：

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

小结

1. 接口继承的关键字是[ ]
2. 接口继承的作用是[ ]
3. 如果复杂的数据类型没有涉及继承关系，就可以直接使用 [ ]，如果涉及了继承可以使用 [ ]

元组

目标

掌握元组类型的使用

问题1

问：如何定义数据类型来记录 经纬度(记录鼠标的位置)坐标 信息？

答：

• 选择1，用对象。
• 选择2：用数组。

type Position1 = { dimension: number, longitude: number }
type Position2 = number[]

let p1:Position  = {dimension:116.2317, longitude: 39.5427}
let p2 Position2 = [116.2317, 39.5427]

问题2

使用 number[ ] 的缺点：不严谨，因为该类型的数组中可以出现任意多个数字，而类似于经纬度只能有两个数字。

元组 Tuple

元组是一种特殊的数组。有两点特殊之处

1. 它约定了的元素个数
2. 它约定了特定索引对应的数据类型

示例

let position: [number, number] = [39.5427, 116.2317]

解释：

1. 该示例中：有两个元素，每个元素的类型都是 number

元组的实际应用-约定useState的返回值类型

模拟定义useState。

useState的返回值是一个数组，第一个元素是number，第二个是修改number的函数。

function useState(n: number): [number, (number)=>void] {
        const setN = (n1) => {
            n = n1
        }
        return [n, setN]
    }

const [num ,setNum] = useState(10)
setNum(11)// num ===> 10

小结

元组是一种特殊的[ ]。有两点特殊之处

1. 它约定了数组元素的[ ]
2. 它约定了每个数组元素的[ ]
3. react的 [ ] 函数的返回值就是一个元组

字面量类型

提问

如下代码中：

let str1 = 'hello TS'
const str2 = 'hello TS'

问： str1是什么类型？ str2是什么类型？

答：变量 str1 的类型为：string； 变量 str2 的类型为：Hello TS

解释:

1. str1 是一个变量(let)，它的值可以是任意字符串，所以类型为:string
2. str2 是一个常量(const)，它的值不能变化只能是 'hello TS'，所以，它的类型为:'hello TS'

注意：此处的 'Hello TS'，就是一个字面量类型，也就是说某个特定的字符串也可以作为 TS 中的类型

字面量类型

任意的 JS 字面量（比如，对象、数字等）都可以作为类型使用，此时，就称为是字面量类型

说明：

1. 上面的let a等价于const
2. 简写为 const a = 'abc'

字面量：{ name: 'jack' } [] 18 20 'abc' false function() {}

字面量的作用

单个字面量没有什么用处，它一般和联合类型 一起使用， 用来表示一组明确的可选值列表。

例如：约定 Gender类型只能取girl和boy这两个字符串其中之一。

type Gender = 'girl' | 'boy'
let g1: Gender = 'girl' // 正确
let g2: Gender = 'boy' // 正确
let g3: Gender = 'man' // 错误

示例1

redux 中的actionType。它只能取固定值

type ActionType = 'ADD_TODO' | 'DEL_TODO'
function reducer(type:ActionType) {
  if(type === 'ADD_TODO')
}

示例2

游戏中，游戏的方向键值只能是上、下、左、右中的任意一个

// 使用自定义类型:
type Direction = 'up' | 'down' | 'left' | 'right'

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

// 调用函数时，写上''，就会有类型提示：
changeDirection('up')

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

优势：相比于 string 类型，使用字面量类型更加精确、严谨

小结

1. 任意的字面量都可以作为数据类型。
2. 字面量一般和联合类型一起使用，表示只能取某些个特定的值。

枚举-基本使用

目标

掌握枚举类型的使用

定义

枚举（enum）的功能类似于字面量类型+联合类型组合的功能，来描述一个值，该值只能是 一组命名常量 中的一个。

ts中没有type之前，用枚举比较多，现在用的少了

格式

定义格式

enum 枚举名 { 可取值1, 可取值2,.. }

说明：

1. 使用 enum 关键字定义枚举
2. 一般约定首字符大写

使用格式

枚举名.可取值

示例

// 定义枚举类型
enum Direction { Up, Down, Left, Right }

// 使用枚举类型
function changeDirection(direction: Direction) {
  console.log(direction)
}

// 调用函数时，需要应该传入：枚举 Direction 成员的任意一个
// 类似于 JS 中的对象，直接通过 点（.）语法 访问枚举的成员
changeDirection(Direction.Up)

解释:

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

枚举-枚举的值

目标

了解枚举类型的值

枚举的值

枚举类型和ts中其他的类型不一样，枚举类型不仅仅是类型，还是一个值。

解释：

• type定义的类型是没有值的
• 枚举定义的类型是有值的。

代码

// type定义的类型是没有值的 - 不能console.log
type NewType = number | string
console.log(NewType)  // 输出类型是没有意义的

// 创建枚举
enum Direction { Up, Down, Left, Right }

// 枚举是有值的 - 可以console.log
console.log(Direction.Up)

也可以使用tsc给编译一下来做对比。

数字枚举

默认情况下，枚举的值是数值。默认为：从 0 开始自增的数值

当然，也可以给枚举中的成员初始化值

enum Direction { Up = 0, Down = 1, Left = 2, Right = 3 }
// Down -> 11、Left -> 12、Right -> 13
enum Direction { Up = 10, Down, Left, Right }

enum Direction { Up = 2, Down = 3, Left = 8, Right = 16 }

字符串枚举

字符串枚举：枚举成员的值是字符串。定义格式

enum Direction {
  Up = 'UP',
  Down = 'DOWN',
  Left = 'LEFT',
  Right = 'RIGHT'
}

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

小结

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

枚举类型的应用场景

举个例子

后端用 0, 1来标识性别，但是0，1在代码中不好读，此时可以用枚举来约定

enum Gender {
      girl,
      boy
}
type User = {
     name: string,
     gender: Gender
}

const u1: User = {
     name: '小花',
     gender: Gender.girl // 写代码的时候，可以利用代码提示
}

console.log(u1)

错误提示-拓展