40、利用高级 TypeScript 验证代码

利用高级 TypeScript 验证代码

1. 引言

编写 JavaScript 代码颇具挑战性，而 TypeScript 能通过添加和操作类型，让无效代码状态无法出现。本文将深入探讨 TypeScript 的一些实用特性，如联合类型、字面量类型、枚举类型、映射类型和实用类型，还会介绍 TypeScript 的配置选项以及如何处理严格模式下的编译错误。

2. 联合类型

联合类型允许我们通过管道运算符（ | ）组合现有类型来创建新类型。现有类型可以是内置类型或自定义类型。例如：

export type VenueAction =
  | ClearHolds
  | HoldTicket
  | InitFromProps
  | SetTicketToBuy
  | SetTickets
  | UnholdTicket

我们可以使用 type 关键字为联合类型指定一个新名称，也可以直接在方法签名中使用联合类型。当声明变量为特定类型时，TypeScript 允许该变量访问该类型的所有属性；而声明为联合类型时，变量只能访问联合类型中所有特定类型共有的属性。

3. 联合类型与类型保护

TypeScript 中的类型保护是一段代码，用于缩小联合类型的定义，使 TypeScript 能够推断出更窄的类型并进行类型检查。
- typeof 类型保护 ：适用于 JavaScript