redux - 为 Redux 操作使用 Flow 联合类型

Question

遵循this Facebook app sample的风格一起使用 Redux 和 Flow，我以这种方式制作了一个 Action 类型:

type Action =
  | { type: 'ADD_FILES', files: Array<{ id: number, file: File }> }
  | { type: 'HANDLE_IMAGE_PUBLISHED', id: number, name: string }
  | { type: 'SET_IMAGE_UPLOAD_PROGRESS', id: number, progress: number }
;

但是我发现当我尝试使用 reducer 处理我的操作时，如果我尝试访问 name，Flow 会提示。或 progress属性，说“在对象类型中找不到属性”。

也就是说，在我的 reducer 中，如果我检查 action.type === 'HANDLE_IMAGE_PUBLISHED'然后访问 action.name ，流提示。同样的事情也适用于访问 action.progress属性(property)当 action.type === 'SET_IMAGE_UPLOAD_PROGRESS' .据我所知，这两种属性访问在各自的情况下都应该是合法的，但 Flow 提示。

然而出于某种原因，我可以访问 action.id任何地方，即使我的联合中的一种类型没有指定 id属性(property)。我很困惑。

Here is a live demo in the Flow REPL .我究竟做错了什么？

Answer 1

这只是一个类型细化失效的例子:

https://flow.org/en/docs/lang/refinements/#toc-refinement-invalidations

因为您在回调中使用该值，所以 Flow 悲观地假设您可以重新分配 action在回调运行之前(它不知道 map 回调被立即调用)。它也没有做分析，看看有没有地方，事实上，你重新分配它。

所需要的只是拉动 action作为 const :

export default (state: Array<ImageRecordModel> = [], action_: Action): Array<ImageRecordModel> => {
  const action = action_;

( tryflow link )

您可能还想考虑在您的 .flowconfig 中启用 const 参数。 .这基本上符合您的期望:将所有参数视为 const :

[options]
experimental.const_params=true