Flow 不会抱怨不正确的类型

Question

在这段代码中，流并没有抱怨在状态上设置的值 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,
};

类型检查正常，即使 unknown 不在类型中。

流量0.32包括

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

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

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

Flow 不会抱怨不正确的类型

Flow doesn't complain about incorrect type

javascript

ecmascript-6

redux

flowtype

nuclide-editor