TypeScript开启noUncheckedIndexedAccess时按长度安全收窄数组类型的方法

解决方案 #

首先要明确：TypeScript 目前默认不支持通过 length 判断收窄数组索引的类型，是出于可变数组的类型安全考量——即便你判断了数组长度符合要求，后续也可能存在删除元素、修改下标值等操作，控制流分析无法完全追踪这类动态变化，因此 noUncheckedIndexedAccess 模式下不会自动关联长度判断和索引类型。

你可以通过以下两种更优雅的方案实现需求：

方案1：自定义类型守卫（最推荐） #

写一个通用的最小长度校验函数，结合类型谓词直接把数组收窄为「至少包含N个元素」的类型，后续访问对应下标时自动去掉undefined类型：

// 通用工具函数，泛型T为数组元素类型，N为要求的最小长度
function hasMinLength<T, N extends number>(arr: T[], minLen: N): arr is [T, ...T[]] & { length: N } {
  return arr.length >= minLen;
}

// 实际使用
const myFunc = (myArray: string[]) => {
  if (hasMinLength(myArray, 6)) {
    const foo = myArray[0]; // 类型自动推断为string，无undefined
    const bar = myArray[5]; // 同样是string类型
  }
}

如果不需要通用能力，也可以直接写针对固定长度的守卫，写法更直观：

function hasSixPlusElements<T>(arr: T[]): arr is [T, T, T, T, T, T, ...T[]] {
  return arr.length >=6;
}

方案2：显式类型断言（适合简单场景） #

如果你能100%确定length >=6时下标0-5的元素一定存在，也可以直接用类型断言跳过校验，写法最简洁：

const myFunc = (myArray: string[]) => {
  if(myArray.length >=6) {
    const foo = myArray[0] as string;
  }
}

关于给TypeScript贡献功能的说明 #

这个需求已经在TypeScript社区被多次提出，官方之所以没有实现，是因为该特性会和现有可变数组的类型安全设计产生冲突，很难在不引入误判的前提下实现通用的长度关联收窄，因此提交相关PR大概率不会被接受，用上述自定义方案完全可以覆盖所有使用场景。

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