TypeScript中变量后?的作用及instances?.map报错原因咨询

1. 变量后「?」运算符的作用 #

TypeScript 中跟在变量/属性/参数后的「?」主要有两类作用：

• 可选属性标记：用在 interface、type 或类的属性定义中，标识该属性非必填，属性的类型会自动推导为「原类型 | undefined」
  示例代码：

  interface User {
    name: string
    age?: number // age 类型等价于 number | undefined，实例化时可以不传入该属性
  }
  

• 可选参数标记：用在函数入参定义中，标识该参数可以不传入，参数类型同样会被推导为「原类型 | undefined」
  示例代码：

  function formatTime(timestamp: number, pattern?: string) {
    // 逻辑中 pattern 可能为 undefined，需要做空判断
  }
  

2. instances?.map 中「?」的功能 #

你之前的理解是正确的，这里的?.是可选链运算符，作用是在调用map方法前，先校验instances是否为null或undefined：

• 如果instances是null/undefined，整个表达式会直接短路返回undefined，不会执行后续的map调用，避免触发运行时报错
• 等价于原生JS的兼容写法：instances === null || instances === undefined ? undefined : instances.map(/* 回调函数 */)

3. 对应报错的可能原因 #

报错截图如下：

常见触发报错的原因有4种：

• 类型定义不匹配：instances的TS类型被定义为不包含map方法的类型，比如object、unknown、普通非迭代对象类型，即使instances非空，静态类型校验阶段也会因为类型不支持map方法抛出错误
• TS 版本不兼容：可选链是 TypeScript 3.7 版本新增的语法，如果项目依赖的TS版本低于3.7，会直接把?.识别为非法语法抛出报错
• 严格空校验规则冲突：如果tsconfig.json中开启了strictNullChecks配置，且instances的类型推导存在偏差（比如被推导为unknown | any[]），也可能触发类型不兼容的报错
• 运行时值不符合预期：如果instances非空时的实际值是字符串、普通对象等没有map方法的类型，运行时也会抛出对应错误，TS 静态检查阶段会提前识别该风险给出提示

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