为ES Map实现TypeScript类型守卫：解决has后get仍提示undefined问题

开启tsconfig.json的strict: true后，使用ES Map会遇到这个尴尬问题：

const map = new Map<string, string>([["foo", "bar"]])

if (map.has("foo")) {
  map.get("foo").toLowerCase();
  // ~~~~~~~~~~ 报错：Object is possibly 'undefined'.ts(2532)
}

原因是TypeScript标准库对Map的定义里，get方法固定返回V | undefined——即便你用has确认过键存在，TS也没法自动推断get的结果非空，不像Object.hasOwnProperty那样有内置类型守卫支持。

下面提供两种解决方案：

方案1：自定义类型守卫函数 #

写一个专门的类型守卫函数，替代原生has方法，让TS能识别键存在时的类型：

function hasKey<K, V>(map: Map<K, V>, key: K): map is Map<K, V> & { get(key: K): V } {
  return map.has(key);
}

使用时换用这个函数判断：

const map = new Map<string, string>([["foo", "bar"]])

if (hasKey(map, "foo")) {
  map.get("foo").toLowerCase(); // 不再报错，TS自动推断返回string
}

方案2：扩展原生Map接口（推荐） #

如果想直接用原生map.has()就触发类型推断，可以扩展TypeScript的全局Map接口：

declare global {
  interface Map<K, V> {
    has(key: K): this is Map<K, V> & { get(key: K): V };
  }
}

// 确保文件被识别为ES模块，避免全局扩展冲突
export {};

添加这段代码后，原生has方法会自动具备类型守卫能力，无需额外函数：

const map = new Map<string, string>([["foo", "bar"]])

if (map.has("foo")) {
  map.get("foo").toLowerCase(); // 正常通过类型检查，无报错
}

注意点 #

• 这个扩展仅在TypeScript编译层面生效，不会改变Map的运行时行为
• 如果项目依赖第三方类型定义（比如@types/node），确保接口合并逻辑正常

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