Flow无法静态推断对象属性具体类型？求解决方法

这个问题其实不是Flow的固有限制，只是咱们当前的写法没给Flow足够的信息，让它没法把传入的属性名和对应的返回类型关联起来。咱们来一步步拆解问题，然后给出解决办法。

问题根源 #

你写的getObjectValue函数里，Flow只知道property是'first' | 'second'这个联合类型，但它没办法判断你传入的具体是哪个值，所以只能返回所有可能类型的联合（string | number）。当你在getFirst里指定返回string时，Flow自然会报错，因为联合类型和单一类型不兼容。

解决办法：用泛型建立类型关联 #

我们可以给getObjectValue添加泛型参数，让Flow追踪传入的具体属性名，从而推断出对应的属性类型。修改后的代码如下：

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

type ObjectPropertiesType = $Keys<typeof object>;

// 添加泛型P，约束为ObjectPropertiesType
const getObjectValue = <P: ObjectPropertiesType>(property: P): typeof object[P] => {
  // 注意：原代码的!object[property]会误判值为0/''等假值的属性，这里改成更严谨的判断
  if (!(property in object)) throw new Error(`object.${property} not existing`);
  return object[property];
};

// 现在Flow能正确推断getObjectValue('first')返回string，不再报错
const getFirst = (): string => getObjectValue('first');

代码解释 #

1. 泛型参数<P: ObjectPropertiesType>：告诉Flow，property的类型是ObjectPropertiesType中的某个具体值，而不是整个联合类型。
2. 返回类型typeof object[P]：让Flow根据传入的具体属性名P，直接返回该属性对应的类型。比如传入'first'时，返回类型就是string；传入'second'时，返回类型就是number。
3. 优化存在性判断：把!object[property]改成!(property in object)，避免因为属性值是假值（比如0、''）而误判属性不存在。

另一种写法：使用$ElementType工具类型 #

你也可以用Flow内置的$ElementType工具类型来实现同样的效果，代码看起来更直观：

const getObjectValue = <P: ObjectPropertiesType>(property: P): $ElementType<typeof object, P> => {
  if (!(property in object)) throw new Error(`object.${property} not existing`);
  return object[property];
};

$ElementType<typeof object, P>的作用和typeof object[P]完全一致，都是获取对象object中属性P对应的类型，选哪种写法全看个人习惯。

总结 #

通过泛型让Flow追踪参数的具体类型，就能建立起属性名和属性类型的关联，解决返回类型被推断为联合类型的问题。这种写法不仅能解决你当前的场景，还能扩展到更复杂的对象结构中。

内容的提问来源于stack exchange，提问作者BentoumiTech