while循环条件如何规避TS2532对象可能为undefined报错

请参考以下初始代码片段：

let f = function(): number | undefined {
    return 1;
}

while (f() > 1) {
    console.log('hi');
}

上述代码存在类型安全问题：函数f的返回值类型为number | undefined，存在返回undefined的可能，直接和数值做大小比较不符合TypeScript的类型校验规则。

有开发者尝试用如下写法修复问题：

while (f() && f() > 1) {
    console.log('hi');
}

这个写法无法通过TypeScript类型检查、抛出TS2532错误的核心原因有两个：

• 代码中两次独立调用f()，第一次调用的非空校验结果无法复用到第二次调用上，TypeScript无法确认第二次调用的返回值一定不是undefined
• 如果f()内部存在副作用逻辑，重复调用还会导致不符合预期的运行时逻辑问题。

正确修复方案 #

只需要将单次调用f()的返回值缓存到局部变量中，先完成非空判断做类型收窄，再进行数值比较即可，代码如下：

let res: number | undefined;
while ((res = f()) !== undefined && res > 1) {
    console.log('hi');
}

这个写法的优势：

• 整个判断逻辑只调用一次f()，不会出现重复调用带来的副作用问题
• 先判断res !== undefined后，TypeScript会自动将后续逻辑中res的类型从number | undefined收窄为number，后续做res > 1的数值比较完全符合类型要求，不会触发TS2532错误。

不推荐使用类型断言（如f() as number）强制绕开类型检查的写法，这种写法无法覆盖f()实际返回undefined的场景，会埋下运行时错误隐患。

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