为何TypeScript流分析未覆盖else代码块？

先看示例代码：

function f(x : number) {
    if (x === 1) {
        if (x === 2) {} // error
    }
    else {
        if (x === 1) {} // OK
    }
}

现象解释 #

编译器在if (x === 1)分支内的x === 2处报错，是因为进入该分支时x已被窄化为字面量1，逻辑上不可能等于2；但else分支内的x === 1却不会触发报错，这是TypeScript控制流分析的设计特性，而非bug或未实现功能。

核心原因 #

TypeScript的类型窄化逻辑偏向正向推导，而非反向的完全排除：

• 进入if (x === 1)分支时，编译器能明确将x的类型窄化为字面量1，因此任何与1矛盾的判断都会触发错误。
• 对于else分支，编译器仅知道“x不满足x === 1”，但不会将x的类型强制锁定为number排除1后的集合。这种设计是为了兼容实际开发中的灵活场景：
  • 变量可能在else分支执行过程中被重新赋值为1；
  • 开发者可能故意写这类判断用于调试、兼容历史代码，或处理外部状态影响的边界情况。

TypeScript在类型校验时，优先保证代码的灵活性，避免过度严格的校验导致合法代码被误判。

内容的提问来源于stack exchange，提问作者hopeless-programmer