在现代软件开发中，类型安全性越来越受重视。TypeScript作为JavaScript的超集，为我们提供了一种更安全、更可预测的编程环境。然而，有时候我们可能会漏掉一些潜在的类型错误，导致代码在运行时出现意外的行为。
幸运的是，TypeScript提供了一种让我们更加安心的方法来避免这种情况发生 – 穷尽检查。这意味着在我们的代码中，我们可以告诉TypeScript去确保我们考虑了所有可能的情况，不留任何遗漏。这不仅可以帮助我们避免潜在的错误，还可以让我们的代码更加健壮、可靠。
一个很好的例子是使用枚举类型。假设我们有一个Color枚举类型，包括了Red、Blue、和Green。如果我们在代码中使用switch语句来处理这个枚举类型，我们可以通过在default分支中抛出一个错误来让TypeScript强制我们考虑到所有可能的情况。这样，如果有新的颜色被添加到枚举中，TypeScript会在编译时提示我们更新我们的代码，确保没有遗漏。
要实现穷尽检查，我们只需要加上`never`关键字，告诉TypeScript这个分支永远不应该发生。这样，TypeScript就会在编译时检测出我们可能的疏忽，并提醒我们更新代码以涵盖所有情况。
通过强制TypeScript成为穷尽的，我们可以让我们的代码更加健壮、可维护，避免潜在的错误。让我们利用TypeScript的强大功能，让我们的代码质量更上一个台阶！
Link:https://www.carlos-menezes.com/posts/exhaustive-checking-typescript
了解更多有趣的事情：https://blog.ds3783.com/