TS学习第二天 TS常用类型

214 阅读11分钟

1.类型注解

示例代码:

let age : number = 18

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

image.png

2.常用基础类型概述

可以将 TS 中的常用基础类型细分为两类:JS 已有类型 , TS 新增类型

  1. JS 已有类型
  • 原始类型:number/string/boolean/null/undefined/symbol
  • 对象类型:object(包括,数组、对象、函数等对象)
  1. TS 新增类型
  • 联合类型、自定义类型(类型别名)、接口、元组、字面量类型、枚举、void、any 等

3.原始类型

原始类型:number/string/boolean/null/undefined/symbol

  • 特点:简单;这些类型,完全按照 JS 中类型的名称来书写
let age : number = 18
let name : string = '张三'
let isShow : boolean = false
...

4.数组类型

对象类型:object(包括,数组、对象、函数等对象)。

  • 特点:对象类型,在 TS 中更加细化,每个具体的对象都有自己的类型语法。 数组类型的两种写法:(推荐使用 number [ ] 写法)
let number : number[] = [1, 3, 5]
let string : Array<string> = ['a', 'b', 'c']

5.类型别名

类型别名(自定义类型):为任意类型起别名

  • 使用场景:当同一类型(复杂)被多次使用时,可以通过类型别名,简化该类型的使用
// 定义类型
type People = {
    name : string,
    age : number,
    isShow : boolean
}

let zs : People ={
    name : '张三',
    age : 18,
    isShow : false
}
let ls : People ={
    name : '李四',
    age : 20,
    isShow : true
}

解释:

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

6.函数类型

函数的类型,可以指定函数参数和返回值的类型

  • 为函数指定类型的两种方式:1 单独指定参数、返回值的类型  2 同时指定参数、返回值的类型。
  1. 单独指定参数、返回值的类型:
function add (num1 : number, num2 : number) : number {
    return num1 + num2
}

const add = (num1 : number, num2 : number) : number => {
    return num1 + num2
}
  1. 同时指定参数、返回值的类型:
const add : (num1 : number, num2 : number) => number = (num1, num2) => {
    return num1 + num2
}

解释:当函数作为表达式时,可以通过类似箭头函数形式的语法来为函数添加类型

image.png

注意:这种形式只适用于函数表达式

如果函数没有返回值,那么,函数返回值类型为:void

  1. 可选参数 使用函数实现某个功能时,参数可以传也可以不传。这种情况下,在给函数参数指定类型时,就用到可选参数了。比如,数组的 slice 方法,可以 slice() 也可以 slice(1) 还可以 slice(1, 3)
function mySlice(start?: number, end?: number) {
  console.log('起始索引:', start, '结束索引:', end)
}

可选参数:在可传可不传的参数名称后面添加 ?(问号)。

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

7.对象类型

JS 中的对象是由属性和方法构成的,而 TS 中对象的类型就是在描述对象的结构(有什么类型的属性和方法)。

对象类型的写法:

let obj: {
  name: string;
  age: number;
  sayHi(name: string): void;
  add: (num1: number, num2: number) => number;
}

obj = {
  name: 'jack',
  age: 18,
  sayHi(name) {
    console.log('你好,', name)
  },
  add(num1, num2) {
    return num1 + num2
  }
}

解释:

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

对象的属性或方法,也可以是可选的,此时就用到可选属性了,可选属性的语法与函数可选参数的语法一致,都使用 ?(问号)来表示。

比如,我们在使用 axios({ … }) 时,如果发送 GET 请求,method 属性就可以省略

function myAxios(config: { url: string; method?: string }) {
    console.log(config)
}

8.接口

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

解释:

  1. 使用 interface 关键字来声明接口。
  2. 接口名称(比如,此处的 IPerson),可以是任意合法的变量名称。
  3. 声明接口后,直接使用接口名称作为变量的类型。
  4. 因为每一行只有一个属性类型,因此,属性类型后没有 ;(分号)。
 interface IPerson {
   name: string
   age: number
   sayHi(name: string): void
 }
 let obj: IPerson = {
  name: '张三',
  age: 18,
  sayHi(name) {
    console.log('你好,', name)
  }
}

interface(接口)和 type alias(类型别名)的对比:

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

  • 不同点:

    • 接口,只能为对象指定类型。

    • 类型别名,不仅可以为对象指定类型,实际上可以为任意类型指定别名。 如果两个接口之间有相同的属性或方法,可以将公共的属性或方法抽离出来,通过继承来实现复用

比如,这两个接口都有 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
}

解释:

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

9.元组

场景:在地图中,使用经纬度坐标来标记位置信息

可以使用数组来记录坐标,那么,该数组中只有两个元素,并且这两个元素都是数值类型

    // 不严谨
    let position: number[] = [39.5427, 116.2317]
    // 使用元组
    let position: [number, number] = [39.5427, 116.2317]

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

解释:

  1. 元组类型可以确切地标记出有多少个元素,以及每个元素的类型
  2. 该实例中,坐标数组需要两个元素,每个元素都是number

10.类型推论

在 TS 中,某些没有明确指出类型的地方,TS 的类型推论机制会帮助提供类型

换句话说:由于类型推论的存在,这些地方,类型注解可以省略不写!

发生类型推论的 2 种常见场景:1.声明变量并初始化时,2.决定函数返回值时

  1. 声明变量初始化时
    // let age: number = 18 
    let age = 18  // TS自动推断出变量age为number类型
  1. 决定函数返回值时
    // function add (num1: number, num2: number): number
    function add (num1: number, num2: number) { return num1+num2 }

推荐:能省略类型注解的地方就省略(偷懒,充分利用TS类型推论的能力,提升开发效率)。

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

11.类型断言

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

比如,

<a href="https://juejin.cn/">稀土掘金</a>
const aLink = document.getElementById('link') // 这时aLink的类型为 HTMLElement

getElementById 方法返回值的类型是 HTMLElement,该类型只包含所有标签公共的属性或方法,不包含 a 标签特有的 href 等属性

因此,这个类型太宽泛(不具体) ,无法操作 href 等 a 标签特有的属性或方法

这种情况下就需要使用类型断言指定更加具体的类型

使用类型断言:

const aLink = document.getElementById('link') as HTMLAnchorElement

解释:

  1. 使用 as 关键字实现类型断言
  2. 关键字 as 后面的类型是一个更加具体的类型(HTMLAnchorElement 是 HTMLElement 的子类型)
  3. 通过类型断言,aLink 的类型变得更加具体,这样就可以访问 a 标签特有的属性或方法了 类型断言的另一种语法,使用<>,由于这种语法在jsx中无法使用,所以了解即可:
const aLink = <HTMLAnchorElement>document.getElementById('link')

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

12.字面量类型

let num1 = 18   // 根据类型推论,类型为 number
const num2 = 18 // 根据类型推论,类型为 18

解释:

  1. num1 是一个变量(let),它的值可以是任意数值,所以类型为:number
  2. num2 是一个常量(const),它的值不能变化永远是 18,所以,它的类型为:18 此处的 18,就是一个字面量类型。也就是说某个特定的值也可以作为 TS 中的类型。 除数字外,任意的 JS 字面量(比如,对象、字符串等)都可以作为类型使用

使用模式:字面量类型配合联合类型一起使用

使用场景:用来表示一组明确的可选值列表

比如,在贪吃蛇游戏中,游戏的方向的可选值只能是上、下、左、右中的任意一个

function changeDirection(direction: 'up' | 'down' | 'left' | 'right') {
    console.log(direction)
}
// 这样参数 direction 的值只能是 up/down/left/right 中的任意一个

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

13.枚举

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

枚举:定义一组命名常量。它描述一个值,该值可以是这些命名常量中的一个。

enum Direction { Up, Down, Left, Right }

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

解释:

  1. 使用 enum 关键字定义枚举
  2. 约定枚举名称、枚举中的值以大写字母开头
  3. 枚举中的多个值之间通过 ,(逗号)分隔
  4. 定义好枚举后,直接使用枚举名称作为类型注解
enum Direction { Up, Down, Left, Right }

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

changeDirection(Direction.Up)

注意:形参 direction 的类型为枚举 Direction,那么,实参的值就应该是枚举 Direction 成员的任意一个。

访问枚举成员:类似于 JS 中的对象,直接通过点(.)语法访问枚举的成员

问题来了,我们把枚举成员作为了函数的实参,它的值是什么呢? image.png 我们将鼠标移到 Direction.Up,可以看到枚举成员 Up 的值为 0

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

当然,也可以给枚举中的成员初始化值。(第一个成员初始为10,后面的则自动递增) image.png 给枚举中的每个成员初始化值 image.png 字符串枚举:枚举成员的值是字符串。(注意:字符串枚举没有自增长行为,因此,字符串枚举的每个成员必须有初始值)

image.png

值得一提的是其他的类型会在编译为 JS 代码时自动移除。但是,枚举类型会被编译为 JS 代码

image.png

14.any类型

原则:不推荐使用 any!这会让 TypeScript 变为 “AnyScript”(失去 TS 类型保护的优势)。

因为当值的类型为 any 时,可以对该值进行任意操作,并且不会有代码提示。

image.png

解释:以上操作都不会有任何类型错误提示,即使可能存在错误!

尽可能的避免使用 any 类型,除非临时使用 any 来“避免”书写很长、很复杂的类型! 其他隐式具有 any 类型的情况:1 声明变量不提供类型也不提供默认值 2 函数参数不加类型。 注意:因为不推荐使用 any,所以,这两种情况下正常都应该提供类型!

15.typeof


众所周知,JS 中提供了 typeof 操作符,用来在 JS 中获取数据的类型。

console.log(typeof 'Hello World')

实际上,TS 也提供了 typeof 操作符:可以在类型上下文中引用变量或属性的类型(类型查询)。 使用场景:根据已有变量的值,获取该值的类型,来简化类型书写。

比如:

let p = { x: 1, y: 2 }
function formatPoint(point: { x: number, y: number}) {}
formatPoint(p)

可以使用typeof简化为:

let p = { x: 1, y: 2 }
function formatPoint(point: typeof p) {}
formatPoint(p)

解释

  1. 使用 typeof 操作符来获取变量 p 的类型,结果与第一种(对象字面量形式的类型)相同
  2. typeof 出现在类型注解的位置(参数名称的冒号后面)所处的环境就在类型上下文(区别于 JS 代码)
  3. 注意:typeof 只能用来查询变量或属性的类型,无法查询其他形式的类型(比如,函数调用的类型)