为何TypeScript不对typeof与in的不可能条件发出警告？

问题现象 #

在测试TypeScript 4.9的「in操作符优化窄化」特性时，发现一处行为差异：使用typeof或in操作符的逻辑矛盾条件，只会将对应代码路径窄化为never类型，但不会触发TypeScript的警告或错误；而类似的字面量相等矛盾则会被正常检测到。

示例1：typeof矛盾判断 #

// 逻辑矛盾但无报错
if (typeof packageJSON.name === "string" && typeof packageJSON.name === "number") {
  // 此处类型被窄化为never，但无警告
}

TypeScript能正确推断出packageJSON.name是string类型，右侧的number判断逻辑上不可能成立，但不会抛出错误。

示例2：字面量的typeof无意义判断 #

typeof 123 === "string" // 明显不可能，但无报错

示例3：in操作符矛盾判断 #

// 同时判断属性存在和不存在，逻辑矛盾但无报错
if (packageJSON && typeof packageJSON === "object" && "name" in packageJSON && !("name" in packageJSON)) {
  // 此处类型被窄化为never，但无警告
}

对比：相等判断的矛盾检测 #

TypeScript对字面量相等的矛盾条件会正常报错：

// TS会提示条件永远为假
if (packageJSON === 0 && packageJSON === 1) {
}

原因：设计选择而非技术局限 #

这是TypeScript的设计选择。TypeScript的核心定位是类型检查工具，而非逻辑正确性检查工具：

• 对于typeof、in这类操作，TypeScript仅负责基于操作结果做类型窄化，不会主动检测逻辑层面的矛盾——这类代码在JavaScript语法上是合法的，TypeScript不会强制拦截。
• 而字面量相等的矛盾判断属于类型层面的明显不兼容，因此会被检测并报错。

解决方案：使用ESLint规则 #

可以通过ESLint的TypeScript插件规则来检测这类问题：

• @typescript-eslint/no-unreachable：检测永远无法执行的代码块（比如never类型路径下的代码），能覆盖矛盾条件后的代码逻辑。
• @typescript-eslint/no-unnecessary-condition：检测无意义的条件判断，比如对字面量做typeof判断这类明显不合理的代码。

在ESLint配置中启用这些规则：

{
  "rules": {
    "@typescript-eslint/no-unreachable": "error",
    "@typescript-eslint/no-unnecessary-condition": "error"
  }
}

内容的提问来源于stack exchange，提问作者k-tten