FlowJS - 给出类型错误，因为它无法识别 `typeof` 语句的结果

Question

以下代码导致错误：

type NextItem = string | { [string]: string };

const next: NextItem = 'foo';
const isString = typeof next === 'string';
const toName = isString ? next : Object.keys(next)[0];
                                 ^ string [1] is not an object.

但是去掉 isString 变量可以解决这个问题：

type NextItem = string | { [string]: string };

const next: NextItem = 'foo';
const toName = typeof next === 'string' ? next : Object.keys(next)[0];

我理解为什么，但我希望有人可以提供更好的解决方案。我需要重用isString 变量，并希望保持我的代码既干燥又简单（易于阅读）。所以请不要使用“聪明”（hacky）的解决方案。

Answer 1

Flow 的改进通常基于使用时的直接检查，因此它只会将您的isString 变量视为boolean，没有特殊含义。

这给您留下了几个单独的选择：

• 调整代码的控制流，以便有两个明确的分支，假设对isString 有更多检查，您始终可以创建一个明确的分支来处理这两种情况。

• 内联typeof next === 'string' 检查。

  const toName = typeof next === 'string' ? next : Object.keys(next)[0];
  

• 使用predicate function 集中isString 逻辑

  function isString(arg: mixed): boolean %checks {
     return typeof arg === "string"; 
  }
  
  const toName = isString(next) ? next : Object.keys(next)[0];