为何TypeScript中变量a会被判定为可能undefined？

这段TypeScript代码的错误出在b.filter(x => +x !== +a)这一行，TypeScript会提示a可能为undefined，具体原因如下：

• 变量a被声明为number | undefined类型，虽然在循环里先执行了a = 3，并且通过if (!a) continue做了非空判断，但箭头函数的类型检查无法继承外部作用域的类型细化结果。
• TypeScript的静态类型分析中，箭头函数属于独立作用域，它无法确定当filter回调执行时，外部的a是否仍然保持number类型（尽管这段代码的实际逻辑里a不会被修改，但TS不会做这种运行时的逻辑推断）。

修复方案 #

有几种可行的修复方式：

1. 将a的值存入循环内的局部变量：

let a: number | undefined; 
let b = [2,3,4,5,6];

for (let c of b) {
    a = 3;
    if (!a) {
        continue;
    }
    const currentA = a;
    b.filter(x => +x !== +currentA);
}

2. 在箭头函数内添加非空断言：

let a: number | undefined; 
let b = [2,3,4,5,6];

for (let c of b) {
    a = 3;
    if (!a) {
        continue;
    }
    b.filter(x => +x !== +a!);
}

3. 使用typeof做明确的类型守卫：

let a: number | undefined; 
let b = [2,3,4,5,6];

for (let c of b) {
    a = 3;
    if (typeof a !== 'number') {
        continue;
    }
    b.filter(x => +x !== +a);
}

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