如何在Flow(JS)中完成合法类型子集校验，适配静态类型检查？

可行的原生解决方案（无需第三方库） #

你遇到的是Flow对数组包含判断的类型收窄能力不足的问题，以下是几种可直接落地的方案：

1. 改用显式等值判断（最简单，无额外代码）
   Flow对直接的字面量等值判断收窄支持最稳定，把if条件改成多条件或判断即可：

const outer = (argument: Set) => { 
    if (argument === 'A' || argument === 'B') {
        inner(argument); // Flow能正确识别此时argument符合SubSet类型
    }
}

2. 自定义类型谓词（适合子集成员较多的场景）
   写一个专用的类型校验函数，用Flow的类型谓词语法明确告诉函数返回值对应的类型收窄规则：

type Set = 'A' | 'B' | 'C';
type SubSet = 'A' | 'B';

// 类型谓词: 函数返回true时，说明val是SubSet类型
function isSubSet(val: Set): val is SubSet {
  return val === 'A' || val === 'B';
}

const outer = (argument: Set) => { 
    if (isSubSet(argument)) {
        inner(argument); // 无类型错误
    }
}

const info = { 'A': something, 'B': something };
const inner = (argument: SubSet) => { info[argument] };

3. 常量数组断言（适合需要统一维护子集的场景）
   如果需要把子集成员放在数组里统一维护，可以给数组加as const断言，新版Flow可以识别这种场景下includes的类型收窄效果：

const SUB_SET = ['A', 'B'] as const;

const outer = (argument: Set) => { 
    if (SUB_SET.includes(argument)) {
        inner(argument);
    }
}

4. 临时类型断言（下策，仅适合临时兼容场景）
   如果不想修改判断逻辑，可以主动给参数加类型断言绕过Flow校验，这种方式相当于你主动为类型正确性兜底，不推荐长期使用：

const outer = (argument: Set) => { 
    if (['A', 'B'].includes(argument)) {
        inner((argument: SubSet)); // 强制断言为SubSet类型
    }
}

额外提示：你示例代码里的数组方法contains是笔误，原生JS数组对应方法为includes，同时outer函数缺少闭合的右大括号，修正后可以避免不必要的语法报错。

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