为何TypeScript中if判断无法将a[i]类型从number|undefined收窄为number？

在你提供的代码中，TypeScript无法将if (a[i])代码块内的a[i]类型推断为number，核心原因是数组的索引访问表达式（a[i]）属于动态属性访问，TypeScript的控制流分析无法可靠跟踪这类表达式的类型变化。

具体来说：

• 循环变量i是可变的，编译器不会假设if判断后i的值没有被修改，哪怕代码里没写修改逻辑。
• 数组a本身是可变结构，编译器无法保证在if判断和调用f(a[i])之间，a[i]的元素没有被其他代码改为undefined。

这两点导致TypeScript无法安全地将a[i]的类型从number | undefined窄化为number。

可行的解决办法 #

• 使用临时变量存储数组元素
  把a[i]赋值给临时变量后，TypeScript能准确跟踪变量的类型：

const f = (x: number) => { }

const a : (number | undefined)[] = [1,undefined,3];

for (let i = 0; i < a.length; i ++) {
    const item = a[i];
    if (item) {
        f(item); // item类型被正确推断为number
    }
}

• 改用数组forEach方法遍历
  forEach的回调参数会自动处理类型窄化：

const f = (x: number) => { }

const a : (number | undefined)[] = [1,undefined,3];

a.forEach(item => {
    if (item) {
        f(item);
    }
});

• 类型断言（仅在逻辑绝对安全时使用）
  如果能确保if (a[i])已经过滤了所有undefined，可以用类型断言强制指定类型：

const f = (x: number) => { }

const a : (number | undefined)[] = [1,undefined,3];

for (let i = 0; i < a.length; i ++) {
    if (a[i]) {
        f(a[i] as number);
    }
}

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