如何在Flow类型系统中正确使用ES6 Map？

我完全理解你遇到的困扰——Flow对Map.get()的返回值默认会包含void类型，哪怕你明确声明了Map<string, number>，它依然会考虑你获取的key可能不存在，导致后续数值运算时报错。而TypeScript的表现更符合直觉，在错误设置类型时就会抛出提示，而非等到获取值的时候。下面给你几个可行的解决方案：

1. 类型断言（快速但需谨慎） #

如果你百分百确定要获取的key一定存在，可以用类型断言直接告诉Flow这个值是number类型：

const m: Map<string, number> = new Map();
m.set('value', 5);
console.log((m.get('value') as number) * 5);

这种方式简单直接，但缺点是需要你自己保证key确实存在，否则运行时可能出现NaN或者报错，相当于手动跳过了Flow的安全检查。

2. 封装自定义Map，确保get返回确定类型 #

你之前尝试封装Map的思路是对的，但问题在于原生Map.get()可能返回undefined，而你声明的get方法返回number，Flow会检测到这种不兼容。我们可以修改封装逻辑，当key不存在时抛出错误，这样Flow就知道get方法一定会返回number：

type MyMapType = {
  set: (key: string, value: number) => MyMapType,
  get: (key: string) => number
};

function MyMap(): MyMapType {
  const map = new Map<string, number>();
  return {
    set(key: string, value: number) {
      map.set(key, value);
      return this;
    },
    get(key: string) {
      const value = map.get(key);
      if (value === undefined) {
        throw new Error(`Key "${key}" does not exist in the map`);
      }
      return value;
    }
  };
}

const m = MyMap();
m.set('value', 5);
const n = m.get('value');
console.log(n * 2); // Flow不再报错

这种方式既保留了类型安全，又确保了get返回的是确定的number类型，同时运行时如果意外获取不存在的key会抛出明确的错误，方便调试。

3. 结合可选链与空值合并（优雅处理不存在的key） #

如果你允许key不存在的情况，并且想给一个默认值，可以用可选链?.和空值合并??来处理：

const m: Map<string, number> = new Map();
m.set('value', 5);
console.log((m.get('value') ?? 0) * 5); // 不存在时用0作为默认值

这样Flow会知道表达式的结果一定是number，不会报错，同时也优雅处理了key不存在的边界情况。

关于Flow与TypeScript的差异 #

你提到TypeScript在set错误类型时就会报错，其实Flow也会做同样的检查——比如你尝试m.set('value', 'not-a-number')，Flow会立刻抛出类型不兼容的错误。两者的核心差异在于对get返回值的处理：

• TypeScript在默认关闭strictNullChecks时，会自动忽略undefined类型，所以get看起来直接返回number；但开启该选项后，TypeScript也会和Flow一样，提示get返回number | undefined。
• Flow默认开启了严格的空值检查，所以会严格提示get可能返回void，这其实是更严谨的类型安全策略，但确实会增加一些代码量。

如果你想让Flow和TypeScript的默认行为一致，可以在.flowconfig中关闭strict_null_checks，但我不推荐这么做——严格的空值检查能帮你提前发现很多潜在的运行时错误。

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