TypeScript多维数组严格空值检查异常问题咨询

你的问题不是TypeScript严格空值检查的bug，而是类型系统对动态索引的重复访问无法做类型收窄导致的。

问题原因 #

• TypeScript无法保证多次someArray[accessors[0]]访问的是同一个值：哪怕accessors标记为readonly，类型系统也不会假设数组元素或someArray的对应位置不会被修改（哪怕你实际代码里没做修改）。因此第一次检查someArray[accessors[0]] === null后，第二次访问时，TypeScript仍然认为它可能为null。
• 你测试的let/const区别：const someInt = 0是字面量常量，TypeScript能确定索引固定，访问结果的类型可被正确推断；而let someInt = 0存在被修改的可能，类型检查无法确定索引对应的元素类型。但readonly数组仅限制数组本身的结构不可变（比如不能push/pop），无法解决动态索引的类型跟踪问题。

解决方案 #

单深度场景：缓存中间值 #

把中间层数组用const变量缓存，让TypeScript能跟踪它的类型收窄：

const innerArray = someArray[accessors[0]];
if (innerArray === null || innerArray[accessors[1]] === null) {
  return;
}
// 后续访问innerArray[accessors[1]]不会触发空值异常

任意深度场景：封装安全访问函数 #

如果需要支持任意层数的数组访问，可以写一个通用的安全访问工具函数：

function safeNestedAccess<T>(target: any, accessors: number[]): T | null {
  let current = target;
  for (const idx of accessors) {
    if (current === null || !Array.isArray(current)) {
      return null;
    }
    current = current[idx];
  }
  return current === null ? null : (current as T);
}

// 使用示例
const targetValue = safeNestedAccess<number>(someArray, accessors);
if (targetValue === null) {
  return;
}
// 此时targetValue被推断为number类型，可安全使用

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