Flow不会抱怨错误的类型

Question

在这段代码中,flow并没有抱怨dog在状态上设置的值.它似乎忽略了这个NamespaceData定义.我已经设置了类型,所以它应该抱怨.我正在使用核素,流量正在为其他一切正常运行.

所有的属性action,如namespace,project,collection都是字符串.

// @flow

import { NAMESPACE_SET } from '../actions/NamespaceActions'

type NamespaceData = {
  project: string,
  collection: string,
}

type NamespaceState = {
  [namespace: string]: NamespaceData,
}
const initialState: NamespaceState = {}

function namespaceReducer(state: NamespaceState = initialState, action: Object): NamespaceState {
  switch (action) {
    case NAMESPACE_SET: {
      return {
        ...state,
        [action.namespace]: {
          project: action.project,
          collection: action.collection,
          dog: 1,
        }
      }
    }
  }
  return state
}

export default namespaceReducer

Answer 1

默认情况下,Flow对对象中的未知属性并不严格,例如

// @flow

type Thing = {
  known: string;
};

var obj: Thing = {
  known: 'hi',
  unknown: 4,
};

typechecks很好,即使unknown不是类型.

流量0.32包括

• 确切对象类型的新语法:使用{| 和}代替{和}.其中{x:string}至少包含属性x,{| x:string |}仅包含属性x.

在您的示例中,您需要具有以下精确对象语法:

type NamespaceData = {|
  project: string,
  collection: string,
|};