dictionary - 将 ES6 Map 与 Flow 类型一起使用

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)

但我得到了同样的错误

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

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]

我如何告诉流程我只处理数字 map ？

编辑:

Typescript 方法对我来说更有意义，它会抛出 设置 而不是 获取 .

// 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出那张 map 。如果在映射中找不到 key ，则调用 .get(...)将返回 undefined .为了解决这个问题，您需要处理返回未定义内容的情况。这里有几种方法:

(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是 map 可能不包含该键的值。如果它的键没有值，那么您将引发运行时错误。 Flow 开发人员决定他们宁愿强制开发人员(你和我)在我们编写代码时考虑问题，然后在运行时找出问题。