使用流类型的 ES6 地图

Question

我正在努力思考流程，但我努力让它与 ES6 一起工作 Map

考虑这个简单的案例 (live demo)：

// create a new map
const m = new Map();

m.set('value', 5);

console.log(m.get('value') * 5)

流抛出：

console.log(m.get('value') * 5)
               ^ Cannot perform arithmetic operation because undefined [1] is not a number.
References:
[LIB] static/v0.72.0/flowlib/core.js:532:     get(key: K): V | void;
                                                               ^ [1]

我也试过：

const m:Map<string, number> = new Map();

m.set('value', 5);

console.log(m.get('value') * 5)

但是我得到了同样的错误

我相信这是因为流认为值也可以是数字以外的其他东西，所以我尝试用严格的 setter 和 getter (live demo):

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

function MyMap() : MyMapType {
    const map = new Map();

    return {
        set (key: string, value: number) {
          map.set(key, value);
          return this;
        },
        get (key: string) {
          return map.get(key);
        }
    }
}


const m = MyMap();

m.set('value', 5);

const n = m.get('value');

console.log(n * 2);

但后来我得到了：

get (key: string) {
^ Cannot return object literal because undefined [1] is incompatible 
with number [2] in the return value of property `get`.
References:
[LIB] static/v0.72.0/flowlib/core.js:532:     get(key: K): V | void;
                                                               ^ [1]
get: (key: string) => number                            ^ [2]

如何告诉流我只处理数字映射？

编辑：

Typescript 方法对我来说更有意义，它抛出 set 而不是 get.

// TypeScript

const m:Map<string, number> = new Map();

m.set('value', 'no-number'); // << throws on set, not on get

console.log(m.get('value') * 2);

有没有办法让 Flow 以同样的方式运行？

Answer 1

Flow 试图告诉您的是，通过从该地图调用 map.get(key)、.get(...) may (V) or may not (void) return something。如果在映射中未找到密钥，则对 .get(...) 的调用将 return undefined。要解决这个问题，您需要处理 returned 未定义的情况。这里有几种方法：

(Try)

const m = new Map();

m.set('value', 5);

// Throw if a value is not found
const getOrThrow = (map, key) => {
  const val = map.get(key)
  if (val == null) {
    throw new Error("Uh-oh, key not found") 
  }
  return val
}

// Return a default value if the key is not found
const getOrDefault = (map, key, defaultValue) => {
  const val = map.get(key)
  return val == null ? defaultValue : val
}

console.log(getOrThrow(m, 'value') * 5)
console.log(getOrDefault(m, 'value', 1) * 5)

map.get(key) 被键入为 V | void 的原因是地图 可能不包含 该键的值。如果它在键中没有值，那么您将抛出运行时错误。 Flow 开发人员决定他们宁愿强迫开发人员（你和我）在我们编写代码时考虑问题，然后在运行时找出问题。

Answer 2

随机且很晚，但是在我没有看到它被提及时搜索并为我自己的用例提出了这个：

const specialIdMap = new Map<SpecialId, Set<SpecialId>>();
const set : Set<SpecialId> = specialIdMap.get(uniqueSpecialId) || new Set();

这节省了大量检查是否为 null and/or 的样板文件。当然，这仅在您也不依赖虚假值的情况下才有效。或者，您可以使用新的 ?? 运算符。

使用流类型的 ES6 地图

Using ES6 Map with Flow type

dictionary

flowtype

es6-map