启用noUncheckedIndexedAccess时，TypeScript二维数组访问为何一正常一报错？

核心原因在于TypeScript对常量字面量数组的固定索引和动态变量索引的类型推断逻辑不同，结合noUncheckedIndexedAccess配置的行为，导致了两种场景的差异。

无报错场景的逻辑 #

const arr: number[][] = [[], [], []];
if (arr[0] != undefined) {  
    arr[0][0] = 42;  
}

• 这里arr是常量数组，且初始化为包含3个空数组的字面量。TypeScript能明确推断出arr[0]属于数组的已知有效索引，开启noUncheckedIndexedAccess后，检查arr[0] != undefined会将arr[0]的类型收窄为number[]（而非number[] | undefined），因此访问arr[0][0]不会触发报错。

报错场景的逻辑 #

function twoDimArrayAccess(arr: number[][], x: number, y: number) {
    if (arr[x] != undefined) {
        arr[x][y] = 1;
        // TS2532: Object is possibly undefined
    }
}

• 这里的x是动态变量，TypeScript无法提前确定x是否为数组的有效索引。即使执行了arr[x] != undefined的检查，TypeScript的静态分析无法保证x的值在检查和后续访问之间不会发生变化（哪怕实际代码里没有修改逻辑），因此无法将arr[x]的类型可靠收窄，仍然会认为它可能是undefined，导致访问arr[x][y]时报错。

修复方案 #

可以通过两种方式解决这个报错：

1. 将目标行赋值给临时变量，通过变量的类型收窄消除报错：

function twoDimArrayAccess(arr: number[][], x: number, y: number) {
    const row = arr[x];
    if (row != undefined) {
        row[y] = 1;
    }
}

2. 使用非空断言（!），但需确保你能完全保证arr[x]确实存在：

function twoDimArrayAccess(arr: number[][], x: number, y: number) {
    if (arr[x] != undefined) {
        arr[x]![y] = 1;
    }
}

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