javascript - Flow 不会抱怨类型不正确

Question

在这段代码中，流程并没有抱怨dog在状态上设置的值。它似乎忽略了NamespaceData定义。我已经设置了类型，所以它应该抱怨。我在核素上运行，流动在其他所有方面都正常工作。

, ,action等的所有属性都是字符串。namespaceprojectcollection

// @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,
};

即使unknown不在类型中，类型检查也很好。

Flow 0.32包括

• 精确对象类型的新语法：使用 {| 和 |} 而不是 { 和 }。其中 {x: string} 至少包含属性 x，{| x: string |} 仅包含属性 x。

在您的示例中，您需要精确的对象语法：

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