TypeScript类型守卫导致else分支变量类型为never的问题

这个问题本质是TypeScript的控制流分析对可变变量的类型追踪导致的：当你在if分支中将topLeft赋值为number类型后，TS会认为后续代码中topLeft的类型已经确定为number，所以else分支的逻辑理论上永远不会执行，因此推断topLeft为never类型，进而引发赋值报错。

下面是几种可靠的解决方案：

1. 使用临时变量存储原始值（推荐） #

通过将变量的原始值存入一个临时常量，避免直接修改原变量导致类型推断异常。临时变量会保留完整的联合类型，TypeScript能正确识别else分支的类型：

type BoxCell = number | boolean;
let topLeft: BoxCell = true;

// 用临时变量保留原始联合类型
const currentValue = topLeft;

if (typeof currentValue === 'boolean') {
  topLeft = 1;
} else {
  // currentValue在这里被正确推断为number类型
  topLeft = currentValue + 1;
}

这种方法既安全又符合TS的类型系统设计，不会引入额外的风险。

2. 使用类型断言（应急场景） #

如果你能100%确定else分支中topLeft一定是number类型，可以用类型断言强制告诉TS变量的真实类型。但注意：这种方法会绕过TS的类型检查，若后续业务逻辑变更导致类型不符合，可能引发运行时错误，所以仅建议在简单场景下使用：

type BoxCell = number | boolean;
let topLeft: BoxCell = true;

if (typeof topLeft === 'boolean') {
  topLeft = 1;
} else {
  // 断言topLeft为number类型
  topLeft = (topLeft as number) + 1;
}

3. 重构为纯函数处理（更优雅的长期方案） #

将变量的更新逻辑封装成纯函数，函数的输入输出类型会被TS正确推断，同时避免了可变变量带来的类型混乱：

type BoxCell = number | boolean;

// 纯函数：输入BoxCell，输出number（符合BoxCell的类型约束）
function updateBoxCell(value: BoxCell): number {
  if (typeof value === 'boolean') {
    return 1;
  } else {
    return value + 1;
  }
}

let topLeft: BoxCell = true;
// 调用函数更新变量，类型完全匹配
topLeft = updateBoxCell(topLeft);

这种方案不仅解决了类型问题，还提升了代码的可复用性和可读性，适合在复杂场景中使用。

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