二、TS常用类型


概述

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

  • 所有的 JS 代码都是 TS 代码。
  • JS 有类型(比如,number/string 等),但是 JS 不会检查变量的类型是否发生变化。而 TS 会检查。 TypeScript 类型系统的主要优势:可以显示标记出代码中的意外行为,从而降低了发生错误的可能性。
  1. 类型注解
  2. 常用基础类型

1. 类型注解

实例代码:

let age: number = 18

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

作用:为变量添加类型约束。比如,上述代码中,约定变量 age 的类型为 number(数值类型)。

解释:约定了什么类型,就只能给变量赋值该类型的值,否则,就会报错。
在这里插入图片描述

2. 常用基础类型概述

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

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

3. 原始类型

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

特点:简单。这些类型,完全按照 JS 中类型的名称来书写。

let age: number = 18
let name: string = '碧落'
let isLoading: boolean = false

4. 数组类型

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

特点:对象类型,在 TS 中更加细化,每个具体的对象都有自己的类型语法

数组类型的两种写法:(推荐使用 number[] 写法)

let number: number[] = [1, 3, 5]
let string: Array<string> = ['a', 'b',  'c']

// 如果数组中既有 number 类型,又有 string 类型
let arr: (number | string)[] = [1, 'a', 2, 'b']

解释:| (竖线)在 TS 中叫做联合类型(由两个或多个其他类型组成的类型,表示可以是这些类型中的任意一种)。

注意:这是 TS 中联合类型的语法,只有一根竖线,不要与 JS 中的或(||)混淆了。

5. 类型别名

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

使用场景:当同一类型(复杂)被多次使用时,可以通过类型别名,简化该类型的使用。

type MyArray = (number | string)[]
let arr1: MyArray = [1, 'a', 2, 'b']
let arr2: MyArray = [1, 'x', 2, 'y']

解释:

1. 使用 type 关键字来创建类型别名。 
2. 类型别名(比如,此处的 CustomArray),可以是任意合法的变量名称。 
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
    }
    
  2. 同时指定参数、返回值的类型:

    这种方式通常用于将函数的完整类型定义为一个类型别名或接口,然后将其应用于函数。

    const add: (num1: number, num2: number) => number = (num1, num2) => {
        return num1 + num2
    }
    // 先定义类型别名的方式
    type AddType = (num1: number, num2: number) => number
    const add: AddType = (num1, num2) => {
        return num1 + num2
    }
    

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

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

void

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

function sayHello(name: string): void {
    console.log(`Hello $name`)
}

可选参数

使用函数实现某个功能时,参数可以传也可以不传。这种情况下,在给函数参数指定类型时,就用到可选参数了。

比如,数组的 slice 方法,可以 slice() 也可以 slice(1) 还可以 slice(1, 3)。

function test(n1?: number, n2?: number): void {
    console.log(n1, n2)
}

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

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

7. 对象类型

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

对象类型的写法:

let student: { name: string; age: number; sayHi(): void } = {
    name: 'biluo',
    age: 19,
    sayHi() {}
}

解释:

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

对象的属性或方法,也可以是可选的,此时就用到可选属性了。

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

// axios方法的method参数定义类似下方:
function myAxios(config: {
    url: string
    method?: string
}) {...}

可选属性的语法与函数可选参数的语法一致,都使用 ?(问号)来表示。

8. 接口

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

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

let stu: IStudent = {
    name: 'biluo',
    age: 19,
    sayHi() {confirm('Hi')}
}

解释:

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

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

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

继承

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

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

interface Point2D { x: number; y: number }
interface Point3D { x: number; y: number; z: number }
// 更好的方式:
interface Point3D extends Point2D { z: number }
  1. 使用 extends(继承)关键字实现了接口 Point3D 继承 Point2D。
  2. 继承后,Point3D 就有了 Point2D 的所有属性和方法(此时,Point3D 同时有 x、y、z 三个属性)。

9. 元组

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

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

let position: number[] = [12.3411, 116.2244]

使用 number[] 的缺点:不严谨,因为该类型的数组中可以出现任意多个数字。

更好的方式:元组(Tuple)。 元组类型是另一种类型的数组,它确切地知道包含多少个元素,以及特定索引对应的类型

let position: [number, number] = [12.3411, 116.2244]
  1. 元组类型可以确切地标记出有多少个元素,以及每个元素的类型。
  2. 该示例中,元素有两个元素,每个元素的类型都是 number。

10. 类型推论

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

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

发生类型推论的 2 种常见场景:

  1. 声明变量并初始化时
  2. 决定函数返回值时。
    在这里插入图片描述

注意:这两种情况下,类型注解可以省略不写!

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

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

11. 类型断言

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

<a href="http://www.baidu.com/" id="link">百度一下</a>

在这里插入图片描述
注意:getElementById 方法返回值的类型是 HTMLElement,该类型只包含所有标签公共的属性或方法,不包含 a 标签特有的 href 等属性。

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

解决方式:这种情况下就需要使用类型断言指定更加具体的类型。

const aLink = document.getElementById('link') as HTMLAnchorElement
// 另一种语法(泛型相关),使用<>,这种方式不常用了解即可
const aLink = <HTMLAnchorElement>document.getElementById('link')
  • 使用 as 关键字实现类型断言。
  • 关键字 as 后面的类型是一个更加具体的类型(HTMLAnchorElement 是 HTMLElement 的子类型)。
  • 通过类型断言,aLink 的类型变得更加具体,这样就可以访问 a 标签特有的属性或方法了。

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

12. 字面量类型

思考以下代码,两个变量的类型分别是什么?

let s1 = 'Hello TS'
let s2 = 'Hello TS'

通过 TS 类型推论机制,可以得到答案:

1. 变量 str1 的类型为:string。 
2. 变量 str2 的类型为:'Hello TS'。

解释:

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

注意:此处的 ‘Hello TS’,就是一个字面量类型。也就是说某个特定的字符串也可以作为 TS 中的类型。 除字符串外,任意的 JS 字面量(比如,对象、数字等)都可以作为类型使用。

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

使用场景:用来表示一组明确的可选值列表。 比如,在贪吃蛇游戏中,游戏的方向的可选值只能是上、下、左、右中的任意一个。

function changeDirection(direction: 'up' | 'down' | 'left' | 'right') {
    ...
}

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

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

13. 枚举

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

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

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

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

访问枚举成员:

changeDirection(Direction.Up)

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

问题:我们把枚举成员作为了函数的实参,它的值是什么呢?
在这里插入图片描述
解释:通过将鼠标移入 Direction.Up,可以看到枚举成员 Up 的值为 0。

注意:枚举成员是有值的,默认为:从 0 开始自增的数值

我们把,枚举成员的值为数字的枚举,称为:数字枚举。

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

enum Dirction { Up = 10, Down, Left, Right }
// 此时则为从10开始自增的数值,Down=11、Left=12、Right=13

// 也可以都赋上明确的值
enum Dirction { Up = 2, Down = 4, Left = 8, Right = 16}

字符串枚举:枚举成员的值是字符串。

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

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

枚举是 TS 为数不多的非 JavaScript 类型级扩展(不仅仅是类型)的特性之一。

因为:其他类型仅仅被当做类型,而枚举不仅用作类型,还提供值(枚举成员都是有值的)。

也就是说,其他的类型会在编译为 JS 代码时自动移除。但是,枚举类型会被编译为 JS 代码!
在这里插入图片描述

说明:枚举与前面讲到的字面量类型+联合类型组合的功能类似,都用来表示一组明确的可选值列表。

一般情况下,推荐使用字面量类型+联合类型组合的方式,因为相比枚举,这种方式更加直观、简洁、高效。

14. any 类型

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

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

let obj: any = { x: 0 }
obj.y = 1
obj()
const n: number = obj

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

尽可能的避免使用 any 类型,除非临时使用 any 来“避免”书写很长、很复杂的类型!

其他隐式具有 any 类型的情况:

  1. 声明变量不提供类型也不提供默认值
  2. 函数参数不加类型。

注意:因为不推荐使用 any,所以,这两种情况下都应该提供类型!

15. typeof

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

实际上,TS 也提供了 typeof 操作符:可以在类型上下文中引用变量或属性的类型(类型查询)。

使用场景:根据已有变量的值,获取该值的类型,来简化类型书写。
在这里插入图片描述

  1. 使用 typeof 操作符来获取变量 p 的类型,结果与第一种(对象字面量形式的类型)相同。
  2. typeof 出现在类型注解的位置(参数名称的冒号后面)所处的环境就在类型上下文(区别于 JS 代码)。

注意:typeof 只能用来查询变量或属性的类型,无法查询其他形式的类型(比如,函数调用的类型)。

### TypeScript 中除泛型外的常用类型 #### 基本数据类型 TypeScript 支持多种基本数据类型,这些类型用于定义变量、参数以及返回值的数据种类。 - **布尔类型 (boolean)**:表示逻辑值 `true` 或 `false`。 ```typescript let isDone: boolean = false; ``` - **数值类型 (number)**:支持十进制数、十六进制数、进制数和八进制数等不同形式的整数或浮点数。 ```typescript let decimal: number = 6; let hex: number = 0xf00d; let binary: number = 0b1010; let octal: number = 0o744; ``` - **字符串类型 (string)**:通过单引号 `' '` 或双引号 `" "` 定义字符串文字;模板字符串则使用反引号 `` ` ` 字符串内可嵌入表达式 ${expression}。 ```typescript let color: string = "blue"; let sentence: string = `The color is ${color}.`; ``` - **数组类型** 数组可以通过两种方式声明: - 使用方括号语法 `[type]` ```typescript let list: number[] = [1, 2, 3]; ``` - 使用泛型 Array<type> ```typescript let list: Array<number> = [1, 2, 3]; ``` - **元组 Tuple** 元组允许表示一个已知元素数量和类型的数组,各位置上元素的类型不必相同。当访问越界索引时会报错提示超出长度范围。 ```typescript let x: [string, number]; x = ["hello", 10]; // OK console.log(x[0].substr(1)); // OK console.log(x[1].toFixed()); // OK ``` - **枚举 Enum** 枚举是一系列命名常量的集合,可以是数字枚举也可以是字符串枚举,默认情况下成员会被赋予从 0 开始递增的整数值。 ```typescript enum Direction { Up, Down, Left, Right, } let direction: Direction = Direction.Up; ``` - **任意类型 any** 当不确定具体是什么类型的时候可以用此关键字来代替其他所有可能存在的合法 JavaScript 表达式的静态类型标注,在编译阶段不会做任何检查但是运行期仍然遵循 JS 的行为模式。 ```typescript let notSure: any = 4; notSure = "maybe a string instead"; // OK notSure = false; // OK too ``` - **void 类型** void 类型常用来表明没有任何可用的结果值,比如函数不返回任何东西或者从未执行到结束语句的情况。 ```typescript function warnUser(): void { alert("This is my warning message"); } ``` - **null 和 undefined** 这两个原始值分别代表空对象指针和未初始化的状态,它们各自构成独立的基础类型 null 和 undefined。 ```typescript let u: undefined = undefined; let n: null = null; ``` - **never 类型** never 是那些总是抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型;也作为永不发生的值的类型,例如永不存在的变量或永远不会到达的 case 分支中的默认情况下的返回值类型。 ```typescript function error(message: string): never { throw new Error(message); } function infiniteLoop(): never { while (true) {} } ``` - **object 类型** object 表示非原始类型的值,即不是 string、number、bigint、boolean、symbol、null 或者 undefined 的一切事物都属于 object 类型。 ```typescript declare function create(o: object | null): void; create({ prop: 0 }); // OK create(null); // OK ``` - **联合类型 Union Types** 联合类型由多个类型组成,表示取值可以为几种类型之一。这使得开发者能够更灵活地处理多态性的场景。 ```typescript function printId(id: number | string) { console.log("Your ID is: " + id); } ``` - **交叉类型 Intersection Types** 交叉类型将多个类型合并成一个新类型,该新类型拥有原来各个类型的特性组合而成的新特征。 ```typescript interface Bird { fly(); layEggs(); } interface Fish { swim(); layEggs(); } type Pet = Bird & Fish; function getSmallPet(): Pet { ... } let pet = getSmallPet(); pet.layEggs(); // okay pet.swim(); // okay pet.fly(); // okay ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值