TypeScript调用Map.get返回值报Cannot invoke possibly undefined错误原因及解决

这个是TypeScript类型系统的典型限制：TS无法将Map.has(key)的校验结果和后续Map.get(key)的返回值类型做关联绑定。即使你已经提前通过has方法确认了key存在于errorMessages中，TS仍然会认为get(key)的返回值是(() => string) | undefined类型，直接调用可能为undefined的对象就会触发这个类型错误。

• 方案1：使用非空断言操作符!
  如果你可以100%确定has判断通过后get一定会返回非空值，可以直接加!告诉TS忽略空值检查，改动最小：

  this.errorMessages.get(key)!()
  

• 方案2：临时变量存储+类型收窄
  将get的返回值存到临时变量后再加判断，TS可以自动对临时变量做类型收窄，完全符合类型安全要求：

  return Object.keys(errors).map(key => {
    const formatter = this.errorMessages.get(key);
    // 此时TS可以识别到formatter不为空的分支类型是() => string
    return formatter ? formatter() : <string>errors[key] || key;
  })
  

  这个方案可以省掉提前写this.errorMessages.has(key)的判断，逻辑更简洁。

• 方案3：可选链调用+空值兜底
  用可选链?.规避空值调用风险，配合空值合并运算符??兜底返回默认值：

  this.errorMessages.get(key)?() ?? <string>errors[key] || key
  

  这个方案也不需要提前写has判断，即使key不存在也会自动走兜底逻辑，安全性最高。

• 方案4：封装Map取值工具方法
  如果你需要频繁处理类似的Map取值场景，可以封装一个带存在性校验的工具方法，保证返回值非空：

  function getMapValue<K, V>(map: Map<K, V>, key: K): V {
    if (!map.has(key)) {
      throw new Error(`Map中不存在指定key: ${String(key)}`);
    }
    return map.get(key) as V;
  }
  
  // 调用时写法
  getMapValue(this.errorMessages, key)()
  

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