TypeScript已校验变量非undefined仍提示可能为undefined的问题

问题原因 #

TypeScript的类型窄化作用域有局限性：你写的嵌套三元表达式里，第一个条件!_.isUndefined(count) && count < 10只对它对应的返回12的分支有效。后续的count < 100分支不在这个类型窄化的作用域内，TypeScript无法确认此时count是否已经排除了undefined的可能，因此抛出报错。

而单层三元表达式里，else分支直接返回44，不需要访问count的属性或做比较，所以TypeScript不会触发类型检查，也就没有报错。

解决方法 #

1. 提前做类型窄化（最安全推荐）

先通过判断排除count为undefined的情况，之后再使用嵌套三元：

// 先处理undefined的情况
if (_.isUndefined(count)) {
  // 可根据业务需求返回对应值，比如直接返回44
  return 44;
}
// 此时TypeScript已确认count非undefined，可安全使用嵌套三元
const result = count < 10 ? 12 : count < 100 ? 28 : 44;

或者用赋值的方式提前窄化类型：

// 用nullish coalescing运算符给count一个默认值，确保safeCount非undefined
const safeCount = count ?? 100;
const result = safeCount < 10 ? 12 : safeCount < 100 ? 28 : 44;

2. 调整三元表达式结构

把count是否为undefined的判断放在最外层，确保后续所有分支都基于count非undefined的前提：

const result = _.isUndefined(count) ? 44 : count < 10 ? 12 : count < 100 ? 28 : 44;

这样结构更清晰，TypeScript也能正确推断后续分支中count的类型。

3. 使用非空断言（谨慎使用）

如果你100%确定count不会是undefined，可以用非空断言!告诉TypeScript忽略undefined的可能性：

const result = !_.isUndefined(count) && count < 10 ? 12 : count! < 100 ? 28 : 44;

注意：如果运行时count实际是undefined，这个写法会导致运行时错误，所以仅在你能保证count必存在时使用。

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