市场沸点

摘要： 为什么需要穷尽检查 在 TypeScript 中，判别联合类型很适合描述一组有限状态。随着状态增加，如果 switch 分支没有同步更新，程序往往会在运行时进入未处理路径。穷尽检查可以把这类遗漏提前变成编译错误。 一个最小示例 type TaskState = | { kind: 'pending' 阅读全文