[JavaScript知识库]了解了解TypeScript

什么是TypeScript?

• TypeScript 简称：TS，是 JavaScript 的超集。简单来说就是：JS 有的 TS 都有。JS写的代码在TS的环境下都能跑。

• 在 JS 基础之上，为 JS 添加了类型支持。TypeScript = Type + JavaScript

• TypeScript 是微软开发的开源编程语言，可以在任何运行 JavaScript 的地方运行

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

为什么要为 JS 添加类型支持?

JS 的类型系统是弱类型的，没有类型的概念.JavaScript 属于动态类型的编程语言边解释边执行，错误只能在运行阶段才能发现。

TS属于静态类型的编程语 ,它要先编译，再执行。不能直接执行，需要编译成js才能执行,会在编译的时候做检查,从而提前发现错误.

全局安装编译 TS 的工具包

安装包：npm i -g typescript

• typescript 包：用来编译 TS 代码的包，提供了 tsc 命令，实现了 TS -> JS 的转化

• 验证是否安装成功：tsc –v (查看 typescript 的版本)

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

类型注解

let age: number = 18

//  number 就是**类型注解** =====>用来为变量添加类型约束(只能给变量赋值该类型的值)

常用基础类型

js已有类型:

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

TS 新增类型:

• 联合类型

• 自定义类型(类型别名)

• 接口

• 元组

• 字面量类型

• 枚举

• void

• any 等

原始类型在 TS 和 JS 中写法一致

对象类型在 TS 中更加细化，每个具体的对象（比如，数组、对象、函数）都有自己的类型语法

原始类型

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

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

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

// undefined
let un: undefined = undefined

// null
let timer:null = null

联合类型

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

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

// | 联合类型

// 联合类型1： 变量可以是两种类型之一
let timer:number|null = null
timer = 2

// 联合类型2： 数组元素可以是两种类型之一
let arr: (number|string|boolean)[] = [1,2,3]

arr[0] = '1'
arr[2] = true

数组类型

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

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

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

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

类型别名

type 别名 = 类型

type s = string // 定义

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

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

函数的类型

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

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

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

示列:

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

// 箭头函数
const add = (num1: number=10, num2: number=20): 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 }

函数返回值是void

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

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

如果一个函数没有返回值，此时，在 TS 的类型中，应该使用 void 类型，有如下三种情况会满足

• 不写return

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

• 写return undefined

// 如果什么都不写，此时，add 函数的返回值类型为： void
const add = () => {}
// 这种写法是明确指定函数返回值类型为 void，与上面不指定返回值类型相同
const add = (): void => {}

// 但，如果指定 返回值类型为 undefined，此时，函数体中必须显示的 return undefined 才可以
const add = (): undefined => {
  // 此处，返回的 undefined 是 JS 中的一个值
  return undefined
}

函数-可选参数

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

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 '打电话' }
}

• 使用 {} 来描述对象结构

• 属性采用属性名: 类型的形式，如果是多行，可以省略,

• 方法采用方法名(): 返回值类型的形式

• 可选使用 ?

对象类型-类型别名

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

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

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

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

对象类型-接口

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

• 类型别名， Type

• 接口, 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 '打电话'
    }
}

接口和类型的区别

interface（接口）和 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
}

// 能使用type就使用type

接口继承

这两个接口都有x,y两个属性,但是需要重复书写,如果两个接口之间有相同的属性或方法，可以将公共的属性或方法抽离出来，通过继承来实现复用

interface Point2D { x: number; y: number }
interface Point3D { 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 三个属性)

元组

元组是另一种特殊的数组 :

• 它确切地包含多少个元素

• 特定索引对应的类型

示例:

模拟定义useState。

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

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

const [num ,setNum] = useState(10)

字面量类型

示列:

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

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

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

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

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

// 字面量类型约定：只能取**某些个**特定的值。一般和联合类型一起使用。