如何实现TypeScript中超范围枚举比较的错误检测

TypeScript 原生对数字枚举的类型设计存在天然的宽松兼容：数字枚举类型的取值范围默认开放兼容任意数字类型，哪怕你定义的枚举只有0、1两个合法值，拿它和任意数字做相等/不等比较，原生类型检查都不会拦截，这就是你写this.getStatus() == 999不会触发报错的根本原因。

可落地的实现方案 #

1. 从类型定义层收紧枚举取值范围（最省事，无运行时开销） #

不需要额外安装依赖，仅靠TypeScript原生类型能力就能实现拦截：

• 在原有const enum定义的基础上，生成严格版本的枚举类型，把原本开放兼容数字的枚举类型，替换为仅包含枚举合法成员值的字面量联合类型：

const enum STATUS {
    stOK = 0,
    srERROR = 1
}
// 生成仅含合法值的严格枚举类型
type STATUSStrict = typeof STATUS[keyof typeof STATUS];

• 把所有依赖原枚举类型的返回值、类属性的类型标注，替换为上述严格类型：

getStatus(): STATUSStrict {
    return this.status;
}

• 完成替换后，再编写this.getStatus() == 999的比较逻辑时，TypeScript会直接抛出类型错误：提示STATUSStrict类型与number类型不存在可比较的重叠取值，在编译阶段就拦截这类无效判断。
  因为你使用的是const enum，编译阶段会被完全内联为具体的数字值，新增的严格类型仅在类型检查阶段生效，不会增加任何最终打包代码的体积。

2. 用静态检查规则做全量代码扫描 #

如果不想批量改造现有代码的类型标注，可以通过ESLint规则在本地开发、CI校验环节扫描这类问题：

• 规则的核心检测逻辑非常清晰：
  • 定位所有返回值类型为数字枚举的调用表达式
  • 遍历提取每个枚举定义的所有合法成员取值
  • 匹配该枚举返回值参与的相等/不等比较运算，一旦发现比较的另一侧是不在枚举合法值集合内的字面量，直接标记为错误
• 不需要从零编写自定义规则：可以使用内置了枚举检测能力的TypeScript ESLint插件，开启其中「禁止枚举与非定义取值做无意义比较」的规则，同时搭配no-unnecessary-condition规则，直接识别所有永远无法触发的无效判断分支，和你要检测的场景完全匹配。

3. 开启TypeScript全量严格编译配置 #

在tsconfig.json中开启全量strict严格模式，尤其是开启严格空值检查、类型比较重叠检查相关配置后，搭配上述ESLint规则，可以覆盖绝大多数这类无效比较的场景，避免漏判。

内容的提问来源于stack exchange，提问作者vals