能否用Flow将字符串限制为若干可选值，类似枚举enum？

完全可以，Flow提供了两种实用方式来实现这个需求，适配遗留代码里用字符串当枚举的场景：

• 字面量联合类型（最适合遗留代码改造）
  直接把允许的字符串值用|组合成联合类型，Flow会自动检查所有使用该类型的变量、参数是否属于指定范围：

// @flow
type Status = 'active' | 'inactive' | 'pending';

function updateStatus(status: Status) {
  console.log(status);
}

updateStatus('active'); // 正常通过检查
updateStatus('invalid'); // Flow会报错：字符串字面量"invalid"无法赋值给类型Status

这种方式不需要改动原有字符串的使用逻辑，只需要给相关变量、函数参数加上类型注解即可，零侵入适配遗留代码。

• Flow Enum类型（兼顾规范与兼容性）
  如果想要更贴近传统枚举的使用习惯，可以定义Flow Enum，同时借助$Values工具类型兼容原有字符串传入的场景：

// @flow
enum StatusEnum {
  ACTIVE = 'active',
  INACTIVE = 'inactive',
  PENDING = 'pending',
}

// 用$Values提取Enum的字符串值，生成联合类型
type Status = $Values<typeof StatusEnum>;

function updateStatus(status: Status) {
  console.log(status);
}

updateStatus('active'); // 兼容原有字符串传参，正常通过
updateStatus(StatusEnum.ACTIVE); // 也支持用Enum变量传参，更规范

如果不需要兼容原有字符串，直接用StatusEnum作为类型即可，Flow会严格限制只能传入枚举成员。

这两种方式都能实现对字符串取值的严格限制，你可以根据遗留代码的实际情况选择最合适的方案。

内容的提问来源于stack exchange，提问作者Olle Härstedt