TypeScript 常用类型
本文于783天之前发表,文中内容可能已经过时。
TypeScript 常用类型
TypeScript 是 JS 的超集,TS 提供了 JS 的所有功能,并且额外的增加了:类型系统
JS 有类型(比如,number/string 等),但是 JS 不会检查变量的类型是否发生变化,而 TS 会检查
TypeScript 类型系统的主要优势:可以显示标记出代码中的意外行为,从而降低了发生错误的可能性
类型注解
示例代码
1 | let age: number = 18; |
代码中:number
就是类型注解
类型注解约束了只能给该变量赋值该类型的值
错误演示
1 | // 错误原因:将 string 类型的值赋值给了 number 类型的变量,类型不一致 |
常用基础类型
可以将 TS 中的常用基础类型分为两类
- JavaScript 已有类型
- 原始类型:
number/string/boolean/null/undefined/symbol
- 对象类型:
object
(数组、对象、函数等)
- 原始类型:
- TypeScript 新增类型
- 联合类型、自定义类型(类型别名)、接口、元祖、字面量类型、枚举、void、any 等
注意:原始类型在 TS 和 JS 中写法一致, 对象类型在 TS 中更加细化,每个具体对象都有自己的类型语法
原始类型
特点:可完全按照 JavaScript 中的名称来书写
number/string/boolean/null/undefined/symbol
1 | let age: number = 18; |
数组类型
数组两种写法
类型[]
写法, 如1
2let userList: string[] = ['John', 'Bob', 'Tony'];
let peopleList: object[] = [{ name: '张三', age: 18 }];Array<类型>写法, 如
1
2let user2List: Array<string> = ['John', 'Bob', 'Tony'];
let people2List: Array<object> = [{ name: '张三', age: 18 }];
联合类型
组中既有 number 类型,又有 string 类型,这个数组的类型应该如何写?
可以用|
(竖线)分割多个类型, 如
1 | let str: string | number = 1; |
如果数组中可以是字符串或者数字,则可以这么写
1 | let arr: Array<number | string> = [1, 2, '张三']; |
类型别名
当一个复杂类型或者联合类型过多或者被频繁使用时,可以通过类型别名来简化该类型的使用
用法:type
名称 = 具体类型
1 | type CustomArray = Array<number | string>; |
以上代码中,type
作为创建自定义类型的关键字
- 类型别名可以使任意合法的变量名称
- 推荐大驼峰的命名写法
函数类型
函数类型需要指的是 函数参数
和返回值
的类型,这里分为两种写法
- 第一种: 单独指定参数,返回值类型
1 | // 单独指定函数返回值和函数参数 |
- 第二种, 同时指定参数和返回值
1 | // 同时指定参数和返回值 |
注意: 当函数作为表达式时,可以通过类似箭头函数形式的语法来为函数添加类型,这种形式只适用于函数表达式
void 类型
当我们的函数定义为没有返回值的类型时,可用关键字void
表示
1 | // 没有返回值的函数 |
如果一个函数没有返回值,此时,在 TS 的类型中,应该使用 void
类型
1 | const add4 = () => {}; |
函数可选参数
当我们定义函数时,有的参数可传可不传,这种情况下,可以使用 TS 的可选参数来指定类型
比如,在使用数组的slice
方法时,我们可以直接使用slice()
也可以传入参数 slice(1)
也可以slice(1,3)
1 | const slice = (start?: number, end?: number): void => {}; |
?
表示该参数或者变量可传可不传
注意:可选参数只能出现在参数列表的最后, 即必须参数必须在可选参数之前
对象类型
JS 中的对象是由属性和方法组成的,TS 的对象类型是对象中属性和方法的描述
写法
1 | // 如果有多个属性 可以换行 去掉间隔符号 |
总结: 可是使用{}
来描述对象结构
属性采用属性名:类型
形式
函数可以采用 方法名(): 返回值类型
或者 函数名: Function
(不指定返回值)的形式
使用类型别名
直接使用{}
会降低代码可读性,不具有辨识度,更推荐使用类型别名添加对象类型
1 | type PersonObj = { |
带有参数的方法的类型
如果对象中的函数带有参数,可以在函数中指定参数类型
1 | // 带参数的函数方法 |
箭头函数形式的方法类型
1 | // 箭头函数形式定义类型 |
对象可选属性
对象中的若干属性,有时也是可选的,此时我们依然可以使用?
来表示
1 | type Config = { |
接口 interface
当一个对象类型被多次使用时,一般使用接口(interface)描述对象的类型,达到复用的目的
- 我们使用
interface
关键字来声明接口 - 接口名称推荐以
I
为开头 - 声明接口之后,直接使用接口名称作为变量的类型
接口后不需要分号
1 | // 接口 |
接口和自定义类型的区别
相同点:都可以给对象指定类型
不同点: 接口只能为对象指定类型, 类型别名可以为任意类型指定别名
- 推荐用 type 来定义
接口继承
- 如果两个接口之间有相同的属性和方法,可以讲公共的属性和方法抽离出来,通过继承来实现复用
比如,这两个接口都有 x、y 两个属性,重复写两次,可以,但很繁琐
1 | interface Point2D { |
- 更好的方式
1 | interface Point2D { x: number; y: number } |
我们使用extends
关键字实现了 Point3D 继承了 Point2D 的所有属性的定义, 同时拥有继承的属性和自身自定义的属性
元组
当我们想定义一个数组中具体索引位置的类型时,可以使用元祖。
原有的数组模式只能宽泛的定义数组中的普遍类型,无法精确到位置
元组是另一种类型的数组,它确切知道包含多少个元素,以及特定索引对应的类型
1 | let position: [number, number] = [39.5427, 116.2317]; |
类型推论
在 TS 中,某些没有明确指出类型的地方,TS 的类型推论机制会帮助提供类型
也就是说,由于类型推论的存在,在某些地址类型注解可以省略不写。
- 发生类型推论的常见场景
- 声明变量并初始化时
- 决定函数返回值时
1 | // 变量creater_name自动被推断为 string |
推荐:能省略类型注解的地方就省略(偷懒,充分利用 TS 类型推论的能力,提升开发效率)
技巧:如果不知道类型,可以通过鼠标放在变量名称上,利用 VSCode 的提示来查看类型
字面量类型
下面的代码类型分别是什么?
1 | // 字面量类型 |
通过 TS 的类型推导可以得到答案
1.变量 str1 的变量类型为: string
2.变量 str2 的变量类型为 ‘张三’
解释:str1 是一个变量(let),它的值可以是任意字符串,所以类型为:string
str2 是一个常量(const),它的值不能变化只能是 ‘张三’,所以,它的类型为:’张三’
此时,‘张三’就是一个字面量类型,即某个特殊的字符串也可以作为 TS 中的类型
任意的 JS 字面量(对象,数组,数字)都可以作为类型使用
使用场景和模式
- 使用模式:字面量类型配合联合类型一起使用
- 使用场景:用来表示一组明确的可选值列表
- 比如,在贪吃蛇游戏中,游戏的方向的可选值只能是上、下、左、右中的任意一个
1 | type Direction = 'left' | 'right' | 'up' | 'down'; |
- 解释:参数 direction 的值只能是 up/down/left/right 中的任意一个
- 优势:相比于 string 类型,使用字面量类型更加精确、严谨
枚举
- 枚举的功能类似于字面量类型+联合类型组合的功能,也可以表示一组明确的可选值
- 枚举:定义一组命名常量。它描述一个值,该值可以是这些命名常量中的一个
1 | // 枚举 |
数字枚举
- 问题:我们把枚举成员作为了函数的实参,它的值是什么呢?
- 解释:通过将鼠标移入 Direction.Up,可以看到枚举成员 Up 的值为 0
- 注意:枚举成员是有值的,默认为:从 0 开始自增的数值
- 我们把,枚举成员的值为数字的枚举,称为:
数字枚举
- 当然,也可以给枚举中的成员初始化值
1 | // Down -> 11、Left -> 12、Right -> 13 |
字符串枚举
- 字符串枚举:枚举成员的值是字符串
- 注意:字符串枚举没有自增长行为,因此,字符串枚举的每个成员必须有初始值
1 | enum Direction { |
枚举实现原理
- 枚举是 TS 为数不多的非 JavaScript 类型级扩展(不仅仅是类型)的特性之一
- 因为:其他类型仅仅被当做类型,而枚举不仅用作类型,还提供值(枚举成员都是有值的)
- 也就是说,其他的类型会在编译为 JS 代码时自动移除。但是,枚举类型会被编译为 JS 代码
1 | enum Direction { |
- 说明:枚举与前面讲到的字面量类型+联合类型组合的功能类似,都用来表示一组明确的可选值列表
- 一般情况下,推荐使用字面量类型+联合类型组合的方式,因为相比枚举,这种方式更加直观、简洁、高效
any 类型
- 原则:不推荐使用 any!这会让 TypeScript 变为 “AnyScript”(失去 TS 类型保护的优势)
- 因为当值的类型为 any 时,可以对该值进行任意操作,并且不会有代码提示
1 | let obj: any = { x: 0 }; |
- 解释:以上操作都不会有任何类型错误提示,即使可能存在错误
- 尽可能的避免使用 any 类型,除非临时使用 any 来“避免”书写很长、很复杂的类型
- 其他隐式具有 any 类型的情况
- 声明变量不提供类型也不提供默认值
- 函数参数不加类型
- 注意:因为不推荐使用 any,所以,这两种情况下都应该提供类型
在项目开发中,尽量少用 any 类型
类型断言
有时候你会比 TS 更加明确一个值的类型,此时,可以使用类型断言来指定更具体的类型。 比如,
1 | const aLink = document.getElementById('link'); |
- 注意:该方法返回值的类型是 HTMLElement,该类型只包含所有标签公共的属性或方法,不包含 a 标签特有的 href 等属性
- 因此,这个类型太宽泛(不具体),无法操作 href 等 a 标签特有的属性或方法
- 解决方式:这种情况下就需要使用类型断言指定更加具体的类型
- 使用类型断言:
1 | const aLink = document.getElementById('link') as HTMLAnchorElement; |
- 解释:
- 使用
as
关键字实现类型断言 - 关键字 as 后面的类型是一个更加具体的类型(HTMLAnchorElement 是 HTMLElement 的子类型)
- 通过类型断言,aLink 的类型变得更加具体,这样就可以访问 a 标签特有的属性或方法了
- 使用
- 另一种语法,使用
<>
语法,这种语法形式不常用知道即可:
1 | // 该语法,知道即可:在react的jsx中使用会报错 |
技巧:在浏览器控制台,通过 __proto__
获取 DOM 元素的类型
typeof
- 众所周知,JS 中提供了 typeof 操作符,用来在 JS 中获取数据的类型
1 | console.log(typeof 'Hello world'); // string |
- 实际上,TS 也提供了 typeof 操作符:可以在类型上下文中引用变量或属性的类型(类型查询)
- 使用场景:根据已有变量的值,获取该值的类型,来简化类型书写
1 | let p = { x: 1, y: 2 }; |
- 解释:
- 使用
typeof
操作符来获取变量 p 的类型,结果与第一种(对象字面量形式的类型)相同 - typeof 出现在类型注解的位置(参数名称的冒号后面)所处的环境就在类型上下文(区别于 JS 代码)
- 注意:typeof 只能用来查询变量或属性的类型,无法查询其他形式的类型(比如,函数调用的类型)
- 使用