如何让TypeScript认可循环内数组非空，消除类型赋值报错？

针对你遇到的代码类型报错问题，这里有几种优雅的解决方案，无需生硬的临时处理：

1. 合理使用非空断言（!） #

既然while (arr.length > 0)已经确保数组不为空，pop()不可能返回undefined，可以直接用非空断言明确告知TypeScript这一点——这属于符合场景的合理用法，并非粗暴的workaround：

const arr: number[] = [1];
while (arr.length > 0) {
   const current: number = arr.pop()!;
   // ...后续逻辑
}

2. 改用for...of循环（更简洁直观） #

如果不需要修改原数组（或可接受反转遍历顺序），用for...of循环能完全规避类型问题，TypeScript会自动推导current为number类型：

const arr: number[] = [1];
// 若要保持从尾部到头部的遍历顺序，先反转数组副本（不改动原数组）
for (const current of [...arr].reverse()) {
   // ...后续逻辑
}
// 若无需保留原数组，直接反转原数组即可
for (const current of arr.reverse()) {
   // ...后续逻辑
}

3. 结合赋值的循环条件写法 #

如果你希望完全依赖TypeScript的控制流分析，不使用断言，可以将弹出操作与循环条件结合，让TS自动识别类型：

const arr: number[] = [1];
let current: number | undefined;
while ((current = arr.pop()) !== undefined) {
   // 此处current会被自动推导为number类型
   // ...后续逻辑
}

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