为何TypeScript无法识别该数组项非null？

我是TypeScript新手，目前觉得它很好用，但不太理解为何其类型收窄机制无法处理特定场景。

先定义Fruit类型和包含Fruit | null的数组：

interface Fruit {
    name: string;
}

const fruits: (Fruit | null)[] = [
    { name: 'banana' },
    null,
    { name: 'apple' },
];

当直接使用类型为number的const索引时，代码能正常运行：

// 设置number类型避免字面量类型0:
const index: number = 0;

if (fruits[index] !== null) {
    console.log(fruits[index].name); // 正常运行!
}

但如果从let变量复制值到const变量后，代码就会报错：

let indexLet = 0;
const indexConst = indexLet;

if (fruits[indexConst] !== null) {
    console.log(fruits[indexConst].name); // Object is possibly 'null'.ts(2531)
}

核心原因解析 #

问题出在TypeScript的控制流分析对数组索引的处理逻辑：

• 第一个场景中，const index: number = 0 虽然被标注为number，但编译器能确定这个常量的具体值是固定的0，它会将该索引与数组的第0项绑定。当你判断fruits[index] !== null时，编译器能明确你检查的是数组的特定位置，后续访问时会保留该位置非null的类型信息。
• 第二个场景中，indexLet是let声明的变量，TypeScript将其类型推断为宽泛的number（而非字面量类型0）。当赋值给indexConst后，indexConst的类型依然是number——编译器无法跟踪到这个常量的具体值（因为indexLet在理论上可以被修改），所以indexConst被视为一个任意的number类型常量，而非固定的0。

对于(Fruit | null)[]类型的数组，使用任意number类型的索引访问时，TypeScript只能推断出该项类型为Fruit | null。哪怕你在if判断中检查了fruits[indexConst] !== null，编译器也无法将这个判断结果关联到后续的fruits[indexConst]访问——它无法保证两次访问的是数组的同一个位置（尽管代码逻辑上是同一个，但编译器做不到这种深度跟踪）。

总结来说：TypeScript能跟踪值固定的字面量常量的索引，但无法处理从变量复制而来、类型为宽泛number的常量索引，因此无法在控制流中收窄对应的数组项类型。

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