2026年6月19日 编译器应该捕获遗漏的状态分支,而不是你的 QA 团队 给状态机添加新状态很容易。记住更新每一个 switch 语句却不然。下面介绍如何让 TypeScript 在你遗忘某个 case 时拒绝编译。 type-level-correctnessstate-machinesexhaustiveness-checkingtypescript