TypeScript 类型保护
本节介绍的类型保护 TypeScript 类型检查机制的第二个部分,我们可以通过 typeof
、instanceof
、in
和 字面量类型
将分割成范围更小的块,一小块中,变量的类型是确定的。
类型保护是指缩小类型的范围,在一定的块级作用域内由编译器推导其类型,并规避不合法的操作。
通过 typeof
运算符判断变量类型,下面看之前介绍重载时的例子:
function reverse(target: string | number) {
if (typeof target === 'string') {
target.toFixed() // Error,个块中,target 是 string 类型,没有 toFixed
return target.split('').reverse().join('')
}
if (typeof target === 'number') {
target.toFixed() // OK
return +[...target.toString()].reverse().join('')
}
target.forEach(element => {}) // Error,个块中,target 是 string 或 number 类型,没有 forEach
}
解释:
第 2 行,通过 typeof 关键字,将这个块中变量 target 的类型限定为 string 类型。
第 6 行,通过 typeof 关键字,将这个块中变量 target 的类型限定为 number 类型。
第 11 行,因没有限定,个块中,变量 target 是 string 或 number 类型,没有 forEach ,所以报错。
instanceof 与 typeof 类似,区别在于 typeof 判断基础类型,instanceof 判断是否为某个对象的实例:
class User {
public nickname: string | undefined
public group: number | undefined
}
class Log {
public count: number =
public keyword: string | undefined
}
function typeGuard(arg: User | Log) {
if (arg instanceof User) {
arg.count = // Error, User 类型无此
}
if (arg instanceof Log) {
arg.count = // OK
}
}
解释:
第 12 行,通过 instanceof 关键字,将这个块中变量 arg 的类型限定为 User 类型。
第 16 行,通过 instanceof 关键字,将这个块中变量 arg 的类型限定为 Log 类型。
in
操作符用于确定是否存在于某个对象上,这也是一种缩小范围的类型保护。
class User {
public nickname: string | undefined
public groups!: number[]
}
class Log {
public count: number =
public keyword: string | undefined
}
function typeGuard(arg: User | Log) {
if ('nickname' in arg) {
// (parameter) arg: User,编辑器将推断在当前块作用域 arg 为 User 类型
arg.nickname = 'imooc'
}
if ('count' in arg) {
// (parameter) arg: Log,编辑器将推断在当前块作用域 arg 为 Log 类型
arg.count =
}
}
解释:
第 12 行,通过 in 关键字,将这个块中变量 arg 的类型限定为 User 类型。
第 17 行,通过 in 关键字,将这个块中变量 arg 的类型限定为 Log 类型。
用字面量类型那一节的例子改造一下来介绍字面量类型保护:
type Success = {
success: true,
code: number,
object: object
}
type Fail = {
success: false,
code: number,
errMsg: string,
request: string
}
function test(arg: Success | Fail) {
if (arg.success === true) {
console.log(arg.object) // OK
console.log(arg.errMsg) // Error, Property 'errMsg' does not exist on type 'Success'
} else {
console.log(arg.errMsg) // OK
console.log(arg.object) // Error, Property 'object' does not exist on type 'Fail'
}
}
解释:
第 15 行,通过布尔字面量,将这个块中变量 arg 的类型限定为 Success 类型。
第 18 行,通过布尔字面量,将这个块中变量 arg 的类型限定为 Fail 类型。
类型保护就是让编译器帮助我们缩小类型范围,在编译阶段规避掉一些不必要的,提高质量。