TypeScript 常用类型
- JS 已有类型
- 原始类型:number/string/boolean/null/undefined/symbol。
- 对象类型:object(包括,数组、对象、函数等对象)。
- TS 新增类型
- 联合类型、自定义类型(类型别名)、接口、元组、字面量类型、枚举、void、any 等。
原始类型
number/string/boolean/null/undefined/symbol
这些类型,完全按照 JS 中类型的名称来书写。
let age: number = 18
let mtName: string = 'ls'
let isLoading: boolean = false
数组类型
对象类型:object(包括,数组、对象、函数等对象)。
特点:对象类型,在 TS 中更加细化,每个具体的对象都有自己的类型语法。
数组类型的两种写法:(推荐使用 number[]
写法)
let numbers: number[] = [1, 3, 5]
let strings: Array<string> = ['a', 'b','c']
联合类型
let arr:(number | string)[] = [1,'a', 3, 'b']
解释:|
(竖线)在 TS 中叫做联合类型(由两个或多个其他类型组成的类型,表示可以是这些类型中的任意一种)。
类型别名
类型别名(自定义类型):为任意类型起别名。
使用场景:当同一类型(复杂)被多次使用时,可以通过类型别名,简化该类型的使用。
type CustomArray = (number | string)[]
let arr1: CustomArray = [1, 'a', 3, 'b']
let arr2: CustomArray = ['x', 'y', 6, t]
- 使用 type 关键字来创建类型别名。
- 类型别名(比如,此处的 CustomArray),可以是任意合法的变量名称。
- 创建类型别名后,直接使用该类型别名作为变量的类型注解即可。
函数类型
函数的类型实际上指的是:函数参数和返回值的类型。
为函数指定类型的两种方式:
单独指定参数、返回值的类型
function add(num1: number, num2: number): number {
return num1 + num2
}
const add = (num1: number, num2: number): number => {
return num1 + num2
}
同时指定参数、返回值的类型。
const add: (num1:number, num2: number) => number = (num1, num2) => {
return num1 + num2
}
- 解释:当函数作为表达式时,可以通过类似箭头函数形式的语法来为函数添加类型。
- 注意:这种形式只适用于函数表达式。
空返回值
如果函数没有返回值,那么,函数返回值类型为:void。
function greet(name: string): void {
console.log('Hello', name)
}
可选参数
使用函数实现某个功能时,参数可以传也可以不传。这种情况下,在给函数参数指定类型时,就用到可选参数了。
function mySlice(start?: number, end?: number): void {
console.log('起始索引:', start, '结束索引:', end)
}
- 可选参数:在可传可不传的参数名称后面添加 ?(问号)。
- 注意:可选参数只能出现在参数列表的最后,也就是说可选参数后面不能再出现必选参数。
对象类型
JS 中的对象是由属性和方法构成的,而 TS 中对象的类型就是在描述对象的结构(有什么类型的属性和方法)。
let person: { name: string; age: number; sayHi(): void}={
name: 'jack',
age: 19,
sayHi(){}
}
- 直接使用
{}
来描述对象结构。属性采用属性名: 类型
的形式;方法采用方法名(): 返回值类型
的形式。 - 如果方法有参数,就在方法名后面的小括号中指定参数类型(比如:
greet(name: string): void
)。 - 在一行代码中指定对象的多个属性类型时,使用 ;(分号)来分隔。
- 如果一行代码只指定一个属性类型(通过换行来分隔多个属性类型),可以去掉 ;(分号)。
- 方法的类型也可以使用箭头函数形式(比如:
{ sayHi: () => void }
)
可选属性
对象的属性或方法,也可以是可选的,此时就用到可选属性了。
比如,我们在使用 axios({ … }) 时,如果发送 GET 请求,method 属性就可以省略。
function myAxios(config: { url: string; method?: string}) {
console.log(config)
}
可选属性的语法与函数可选参数的语法一致,都使用 ?(问号)来表示。
接口
当一个对象类型被多次使用时,一般会使用接口(interface)来描述对象的类型,达到复用的目的。
接口
- 使用 interface 关键字来声明接口。
- 接口名称(比如,此处的 IPerson),可以是任意合法的变量名称。
- 声明接口后,直接使用接口名称作为变量的类型。
- 因为每一行只有一个属性类型,因此,属性类型后没有 ;(分号)。
interface IPerson {
name: string
age: number
sayHi(): void
}
let person: IPerson = {
name: 'jack',
age: 19,
sayHi() {}
}
interface(接口)和 type(类型别名)的对比:
- 相同点:都可以给对象指定类型。
- 不同点:
- 接口,只能为对象指定类型。
- 类型别名,不仅可以为对象指定类型,实际上可以为任意类型指定别名
interface IPerson {
name: string
age: number
sayHi(): void
}
type IPerson {
name: string
age: number
sayHi(): void
}
type NumStr = number | string
如果两个接口之间有相同的属性或方法,可以将公共的属性或方法抽离出来,通过继承来实现复用。
interface Point2D { x: number; y: number}
interface Point3D { x: number; y: number; z: number}
比如,这两个接口都有 x、y 两个属性,重复写两次,可以,但很繁琐。
interface Point2D { x: number; y: number}
interface Point3D extends Point2D {z: number}
- 使用 extends(继承)关键字实现了接口 Point3D 继承 Point2D。
- 继承后,Point3D 就有了 Point2D 的所有属性和方法(此时,Point3D 同时有 x、y、z 三个属性)。
元组
元组类型是另一种类型的数组,它确切地知道包含多少个元素,以及特定索引对应的类型。
let position: [number, number] = [39, 116]
- 元组类型可以确切地标记出有多少个元素,以及每个元素的类型。
- 该示例中,元素有两个元素,每个元素的类型都是 number。
类型推论
在 TS 中,某些没有明确指出类型的地方,TS 的类型推论机制会帮助提供类型。
换句话说:由于类型推论的存在,这些地方,类型注解可以省略不写!
发生类型推论的 2 种常见场景:
- 声明变量并初始化时
- 决定函数返回值时
// let age: number
let age = 18
// function add(num1: number, num2: number): number
function add(num1: number, num2: number) {return num1 + num2}
- 注意:这两种情况下,类型注解可以省略不写!
- 推荐:能省略类型注解的地方就省略(偷懒,充分利用 TS 类型推论的能力,提升开发效率)。
- 技巧:如果不知道类型,可以通过鼠标放在变量名称上,利用 VSCode 的提示来查看类型
类型断言
有时候你会比 TS 更加明确一个值的类型,此时,可以使用类型断言来指定更具体的类型。
<a href='http://www.baidu.cn' id='link'>百度</a>
// const aLink: HTMLElement
const aLink = document.getElementById('link')
- 注意:getElementById 方法返回值的类型是 HTMLElement,该类型只包含所有标签公共的属性或方法,不包含 a 标签特有的 href 等属性。因此,这个类型太宽泛(不具体),无法操作 href 等 a 标签特有的属性或方法。
- 解决方式:这种情况下就需要使用类型断言指定更加具体的类型
// const aLink: HTMLAnchorElement
const aLink = document.getElementById('link') as HTMLAnchorElement
- 使用 as 关键字实现类型断言
- 关键字 as 后面的类型是一个更加具体的类型(HTMLAnchorElement 是 HTMLElement 的子类型)。
- 通过类型断言,aLink 的类型变得更加具体,这样就可以访问 a 标签特有的属性或方法了。
另一种语法,使用 <>
语法,这种语法形式不常用知道即可:
const aLink = <HTMLAnchorElement>document.getElementById('link')
在浏览器控制台,通过
console.dir()
打印 DOM 元素,在属性列表的最后面,即可看到该元素的类型。
字面量类型
let str1 = 'Hello TS'
const str2 = 'Hello TS'
通过 TS 类型推论机制,可以得到答案:
- 变量 str1 的类型为:string。
- 变量 str2 的类型为:‘Hello TS’。
解释:
- str1 是一个变量(let),它的值可以是任意字符串,所以类型为:string。
- str2 是一个常量(const),它的值不能变化只能是 ‘Hello TS’,所以,它的类型为:‘Hello TS’。
注意
此处的 ‘Hello TS’,就是一个字面量类型。也就是说某个特定的字符串也可以作为 TS 中的类型。
除字符串外,任意的 JS 字面量(比如,对象、数字等)都可以作为类型使用
使用模式:字面量类型配合联合类型一起使用。
使用场景:用来表示一组明确的可选值列表。
比如,在贪吃蛇游戏中,游戏的方向的可选值只能是上、下、左、右中的任意一个。
function changeDirection(direction: 'up' |'down' | 'left' | 'right'){
console.log(direction)
}
changeDirection("left"); // left
- 解释:参数 direction 的值只能是 up/down/left/right 中的任意一个。
- 优势:相比于 string 类型,使用字面量类型更加精确、严谨。
枚举
形参 direction 的类型为枚举 Direction,那么,实参的值就应该是枚举 Direction 成员的任意一个。
enum Direction {Up, Down, Left, Right}
function changeDirection(direction: Direction){
console.log(direction)
}
changeDirection(Direction.Up) // 0 1 2 3
- 解释:类似于 JS 中的对象,直接通过点(.)语法访问枚举的成员。
- 注意:枚举成员是有值的,默认为:从 0 开始自增的数值。
// 给枚举中的成员初始化值。
enum Direction {Up=2, Down=4, Left=6, Right=8}
枚举是 TS 为数不多的非 JavaScript 类型级扩展(不仅仅是类型)的特性之一。
因为:其他类型仅仅被当做类型,而枚举不仅用作类型,还提供值(枚举成员都是有值的)。
也就是说,其他的类型会在编译为 JS 代码时自动移除。但是,枚举类型会被编译为 JS 代码!
[!info] 枚举与前面讲到的字面量类型+联合类型组合的功能类似,都用来表示一组明确的可选值列表。
一般情况下,推荐使用字面量类型+联合类型组合的方式,因为相比枚举,这种方式更加直观、简洁、高效。
any 类型
原则:不推荐使用 any!这会让 TypeScript 变为 “AnyScript”(失去 TS 类型保护的优势)。
因为当值的类型为 any 时,可以对该值进行任意操作,并且不会有代码提示。
let obj: any = {x: 0}
obj.bar = 100
obj()
const n: number =obj
以上操作都不会有任何类型错误提示,即使可能存在错误!
- 尽可能的避免使用 any 类型,除非临时使用 any 来“避免”书写很长、很复杂的类型!
- 其他隐式具有 any 类型的情况:1 声明变量不提供类型也不提供默认值 2 函数参数不加类型。
因为不推荐使用 any,所以,这两种情况下都应该提供类型!
typeof
实际上,TS 也提供了 typeof 操作符:可以在类型上下文中引用变量或属性的类型(类型查询)。
使用场景:根据已有变量的值,获取该值的类型,来简化类型书写。
let p = { x: 1, y: 2 };
function formatPoint(point: { x: number; y: number }) {}
function formatPoint(point: typeof p) {}
- 使用 typeof 操作符来获取变量 p 的类型,结果与第一种(对象字面量形式的类型)相同。
- typeof 出现在类型注解的位置(参数名称的冒号后面)所处的环境就在类型上下文(区别于 JS 代码)。
- 注意:typeof 只能用来查询变量或属性的类型,无法查询其他形式的类型(比如,函数调用的类型)。