汉码未来

1. 解释

TypeScript 允许你覆盖它的推断，毕竟作为开发者你比编译器更了解你写的代码。

类型断言主要用于当 TypeScript 推断出来类型并不满足你的需求，你需要手动指定一个类型。

2. 关键字 as

当你把 JavaScript 代码迁移到 TypeScript 时，一个常见的问题：

const user = {}user.nickname = 'Evan'  // Error, Property 'nickname' does not exist on type '{}'user.admin = true       // Error, Property 'admin' does not exist on type '{}'
代码块
1
2
3
4

代码解释： 编译器推断 const user: {}，这是一个没有属性的对象，所以你不能对其添加属性。

此时可以使用类型断言（as关键字）覆盖其类型推断：

interface User {
  nickname: string,
  admin: boolean,
  groups: number[]}const user = {} as User

user.nickname = 'Evan' user.admin = true       user.groups = [2, 6]
代码块
1
2
3
4
5
6
7
8
9
10
11

代码解释：

第 7 行，这里通过 as 关键字进行类型断言，将变量 user 的类型覆盖为 User 类型。但是请注意，类型断言不要滥用，除非你完全明白你在干什么。

3. 首尾标签

类型断言还可以通过标签 <> 来实现：

interface User {
  nickname: string,
  admin: boolean,
  groups: number[]}const user = <User>{} // User类型user.nickname = 'Evan' user.admin = true       user.groups = [2, 6]
代码块
1
2
3
4
5
6
7
8
9
10
11

代码解释：

第 7 行，使用 <User>{} 这种标签形式，将变量 user 强制断言为 User 类型。

但是，当你在使用 JSX 语法时，会跟标签 <> 形式的类型断言混淆：

let nickname = <User>Evan</User>  // 这里的 User 指向一个 component
代码块
1

所以，建议统一使用 as type 这种语法来为类型断言。

4. 非空断言 !

如果编译器不能够去除 null 或 undefined，可以使用非空断言 ! 手动去除。

function fixed(name: string | null): string {
  function postfix(epithet: string) {
    return name!.charAt(0) + '.  the ' + epithet; // name 被断言为非空
  }
  name = name || "Bob"
  return postfix("great")}
代码块
1
2
3
4
5
6
7

代码解释：

第 2 行，postfix() 是一个嵌套函数，因为编译器无法去除嵌套函数的 null (除非是立即调用的函数表达式)，所以 TypeScript 推断第 3 行的 name 可能为空。

第 5 行，而 name = name || "Bob" 这行代码已经明确了 name 不为空，所以可以直接给 name 断言为非空（第 3 行）。

5. 双重断言

双重断言极少有应用场景，只需要知道有这种操作即可：

interface User {
  nickname: string,
  admin: boolean,
  group: number[]}const user = 'Evan' as any as User
代码块
1
2
3
4
5
6
7

代码解释： 最后一行，使用 as 关键字进行了两次断言，最终变量 user 被强制转化为 User 类型。

6. 小结

本节介绍了几种类型断言的方法，需要注意：

• 慎用类型断言，除非你真的有把握。
• 类型断言是一个编译时语法，不涉及运行时。