TypeScript数组map函数内提示'数组可能未定义'的原因咨询

先看你提供的报错代码：

type obj = {
    list?: string[]
};

function demonstration(ex: obj) {
    ex.list?.map((str) => {
        ex.list.findIndex(s => s === str); // 此处报错：'ex.list' is possibly undefined
    })
}

错误产生的核心原因 #

这不是TypeScript的bug，而是它的类型检查逻辑导致的：

• ex.list?.map()的可选链操作只会在调用map方法的那一刻确认ex.list存在，但回调函数是一个独立的执行单元。TypeScript的静态类型系统不会追踪运行时的变量状态变化，它无法保证回调执行时，ex.list没有被其他代码修改为undefined（哪怕当前map是同步执行，TypeScript也不会做这种乐观假设）。
• 简单来说，TypeScript的类型检查是保守的，它不会默认认为一个可选属性在进入某个回调后就一直保持存在状态，必须你明确告诉它这个值的稳定性。

为什么map执行了不代表list必然存在？ #

假设存在这样的场景：

function demonstration(ex: obj) {
    ex.list?.map((str) => {
        // 模拟其他代码修改ex.list
        ex.list = undefined;
        ex.list.findIndex(s => s === str); // 这里运行时肯定报错
    })
}

虽然你可能不会写这种代码，但TypeScript的类型系统要覆盖所有潜在风险，所以会提前报错提示。

更优雅的解决方式（除了if检查） #

1. 将可选属性赋值给局部变量
   把ex.list存到一个局部变量里，TypeScript能确定这个变量不会被外部修改，因此可以安全访问：

function demonstration(ex: obj) {
    const targetList = ex.list;
    targetList?.map((str) => {
        targetList.findIndex(s => s === str); // 无报错
    })
}

2. 使用非空断言（谨慎使用）
   如果你能100%保证回调执行时ex.list不会变成undefined，可以用!断言它一定存在，但这种写法会跳过类型检查，运行时如果出现undefined会直接报错：

function demonstration(ex: obj) {
    ex.list?.map((str) => {
        ex.list!.findIndex(s => s === str); // 无报错
    })
}

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