流程：使用地图时出现错误

Question

我刚刚开始在我的一个项目中使用Facebook Flow实现类型检查，并且遇到了一些问题。 我正在尝试对地图执行以下操作：

/* @flow */

let testMap: Map<string, Array<number>> = new Map();
let key: string = "testString";

if (!testMap.has(key)) {
  testMap.set(key, [])
}

testMap.get(key).push(1);

但我收到一个错误消息：

Cannot call `testMap.get(...).push` because property `push` is missing in undefined [1]

硒例如，在尝试流程： https://flow.org/try/#0PQKgBAAgZgNg9gdzCYAoVMCmAXM3MDO2AsgIYAOAXGGeQDxEBOAlgHYDmANGAIKOOkAnnVYBXALYAjTIwB8ssAF4wrTEloAKAJQBuDDjABrTIOpM27JWABE+IgGVsLDtb2pmUMBoCEdkhQA6AAtSAg1jQS0tMABvVDA8Qn9yAIIccJNuAG0AXS1UAF90P1oA9nSIrQDyUQIgjQBGXVQgA

这当然是因为Map接口中的get函数定义为：

get(key: K): V | void;

但是我期望Flow能够意识到该键实际上是在上方设置的。

关于如何更改代码以使Flow满意的任何建议？

非常感谢你！

Answer 1

如您所提到的，这里的问题是您对Map.get的调用可能返回void就像在V | void看到的那样V | void V | void 。

Flow没有机会知道您的密钥是否已定义，因为在运行时可能会更改。

因此，您需要在访问返回值的push方法之前检查返回的值是否undefined 。

const arr = testMap.get(key);

if (arr) {
  arr.push(1)
} else {
  // map "testMap" didn't contain a value for key "key"
}

在流动REPL充分演示： https://flow.org/try/#0PQKgBAAgZgNg9gdzCYAoVMCmAXM3MDO2AsgIYAOAXGGeQDxEBOAlgHYDmANGAIKOOkAnnVYBXALYAjTIwB8ssAF4wrTEloAKAJQBuDDjABrTIOpM27JWABE+IgGVsLDtb2pmUMBoCEdkhQA6AAtSAg1jQS0tMABvVDA8Qn9yAIIccJNuAG0AXS1UAF90AGM4ViIwUn4rP1oA9nSI3XQPLyrGaLiE9oDyUQIgjQBGfIKwTBg02PiwYGAwcQobWoprMAATZnXWAHJcUtZsUjZKsAA3UhhRTDAoOEYjExsI60KgA

---

另一种方法是这样的：

let arr = testMap.get(key);

if (!arr) {
  arr = [];
  testMap.set(key, arr);
}

arr.push(1);