flowtype - 是否可以安全地使用切换 FlowType 联合类型(字符串枚举)？

Question

在以下示例中，由于我使用 switch 语句匹配消息类型，因此我希望流程能够识别我的错误大小写“ENUM_TYPO”。目前没有。

type Message = 'BROADCAST_MESSAGE' | 'PRIVATE_MESSAGE';

const message: Message = 'BROADCAST_MESSAGE';

switch (message) {
  case 'ENUM_TYPO':
    // Do Broadcast
    break;
  default:
    break;
}

Answer 1

从 v0.32.0 开始，Flow 不会提示无法访问的代码，除非它类似于

// @flow
function foo() {
  throw new Error();
  return 123; // This will error
}. 

但是，请考虑以下代码

// @flow
function foo(x: string): Object {
  if (x === 123) {
    return x;
  }
  return {};
}

目前将不会在此代码上出错。 Flow 实际上注意到 x === 123永远不会是真的。内 if块，Flow 将细化 x 的类型到空类型，因为它不相信会到达此代码。这就是为什么它不提示 return x陈述。

Flow 团队的一名成员几乎完成了向 Flow 添加可达性分析的工作。一旦这种改进落地(我猜是 v0.34.0？)，Flow 会在看到它认为总是失败的条件时提示。这将对您的示例有所帮助，因为 switch 语句的情况基本上是严格的相等性检查。