25、TypeScript 高级类型验证与配置全解析

TypeScript 高级类型验证与配置全解析

1. 类型守卫的局限性与替代方案

在某些场景下，基于单个属性的存在与否进行类型守卫存在明显的局限性。例如，可能存在多个类型具有相同属性的情况，导致类型检查不够精确。不过，TypeScript 在类型标识方面非常灵活，除了当前使用的类型守卫，还有其他选择。

1.1 字面量类型指定类型

TypeScript 允许将字符串或数字变量的值限制为一组特定的字面量值。这种字面量类型虽然不完全等同于纯枚举类型，但行为几乎相同。

在实际应用中，我们常常需要将变量的值限制在特定范围内。以音乐会应用为例，门票有五种特定状态：未售出、预留、已购买、已退款或无效。在客户端，我们可以声明一个字面量类型来表示这些状态：

// chapter_13/01/app/javascript/contexts/venue_types.ts
export type TicketStatus =
  | "unsold"
  | "held"
  | "purchased"
  | "refunded"
  | "invalid"

在使用该值的地方，我们将字符串声明替换为 TicketStatus 类型。例如，在 TicketData 接口中：

// chapter_13/01/app/javascript/contexts/venue_context.ts
case "hol