流类型不是静态类型的对象属性类型

时间:2018-01-19 09:10:21

标签: javascript ecmascript-6 flowtype static-typing

我有一个包含静态类型的不同属性的对象。问题是当我尝试静态访问其中一个属性时,流程似乎无法理解并返回我想要访问的特定属性的类型。

是流量限制还是有办法解决这个问题?

这是一个示例代码,展示了我想要实现的目标

/* @flow */
const object = (({
  first: 'first',
  second: 2,
}): {
  first: string,
  second: number
});

type ObjectPropertiesType = $Keys<typeof object>;

const getObjectValue = (property: ObjectPropertiesType) => {
  if (!object[property]) throw new Error(`object.${property} not exisiting`);

  return object[property];
};

// -> Flow here complains that getObjectValue isn't compatible with string but is string | number
const getFirst = (): string => getObjectValue('first');

See it in action in flow type repl

1 个答案:

答案 0 :(得分:0)

我在github flow repo https://github.com/flowtype/flow-bin/issues/112

上回答了问题

以下是解决方案:

/* @flow */
const object = (({
  first: 'first',
  second: 2,
}): {
  first: string,
  second: number
});

type ObjectPropertiesType = $Keys<typeof object>;

type GetValueType = <Prop: string>(property: Prop) => $ElementType<typeof object, Prop>;

const getObjectValue: GetValueType = (property) => {
  return object[property];
};

const getFirst = (): string => getObjectValue('first');
const getSecond = (): number => getObjectValue('second');
const getSecondWrong = (): string => getObjectValue('second');
const getWrong = (): string => getObjectValue('third');

See it in action