TypeScript noUncheckedIndexedAccess动态索引报错原因咨询

开启noUncheckedIndexedAccess后，数组的索引访问会被TypeScript推断为元素类型 | undefined，这是该编译选项的核心作用——强制开发者处理数组索引可能越界的情况。

你遇到的差异源于TypeScript对静态索引和动态索引的类型分析能力不同：

• 当使用静态数字索引（比如arr[0]）时，TypeScript可以结合数组的类型信息（比如固定长度元组、已知长度的数组）进行精准的类型窄化，确认该索引对应的元素一定存在，因此不会触发错误。
• 当使用函数返回的动态索引时，TypeScript无法在类型层面验证这个索引是否落在数组的有效范围内：
  1. 函数getIndex()返回的是number类型，TypeScript无法知道这个数值具体是多少，是否在数组的合法索引区间内；
  2. 即使你在条件判断中检查了arr[getIndex()] !== undefined，TypeScript的类型系统不会假设函数是纯函数（即两次调用返回相同值），因此无法确定后续的arr[getIndex()]和之前检查的是同一个元素，也就无法窄化其类型。

解决方法 #

要消除这个错误，你可以先把动态索引的结果存储到变量中，让TypeScript能追踪该索引与数组元素的关联：

const arr = ["a", "b"];
function getIndex() {
  return 0;
}

const idx = getIndex();
if (arr[idx] !== undefined) {
  console.log(arr[idx].length); // 此处无报错
}

或者在你能确保索引一定有效的前提下，使用非空断言（不推荐在不确定时使用）：

console.log(arr[getIndex()]!.length);

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