Flow联合类型搭配回调时的类型推断报错问题咨询

该报错并非逻辑疏漏，核心原因是Flow遵循函数参数类型逆变的检查规则，你当前对main函数的类型定义，强制要求传入的回调必须覆盖AorB联合类型的所有可能分支，和调用时实际传入的第一个参数是A类型没有关联。
具体逻辑如下：

• 你声明的main函数签名中，callback的类型为(AorB) => boolean，这个类型约定意味着：所有传入main的回调，必须同时兼容接收A、B两种类型的入参，否则不符合类型契约。
• 即使调用main时第一个参数确实是A类型，Flow也不会自动根据第一个参数的类型收窄回调的参数类型——因为原类型签名没有声明两个参数之间的类型关联，Flow无法从类型层面确认main内部一定会把第一个参数原封不动传给回调。如果后续有人修改main内部实现，硬编码向回调传入B类型值，你写的仅处理A类型的回调就会触发运行时错误，Flow的报错正是提前拦截这类风险。

只需要将main修改为泛型函数，绑定两个参数的类型关联即可，不需要改动运行时逻辑，也不需要添加类型判断、可辨识联合的判别字段。
修改后的完整代码如下：

type A = {
  id: number,
  aOnly: boolean,
} 

type B = {
  id: number,
  bOnly: boolean
}

type AorB = A | B;

// 泛型约束T为AorB的子类型，绑定入参ab和回调入参的类型
function main<T: AorB>(ab: T, callback: (T) => boolean): void {
  callback(ab);
}

function processA(a: A): void {
  // 调用时T自动推断为A，回调参数自动收窄为A类型，无报错
  main(a, (a) => {
    return a.aOnly;
  });
}

processA({
  id: 123,
  aOnly: true
});

方案原理：

• 泛型T被约束为AorB的子类型，相当于明确告知Flow：第一个参数的类型是T，第二个回调的入参类型也必须匹配T，两个参数的类型是强绑定的。
• 当在processA中传入A类型的第一个参数时，Flow会自动将泛型T推断为A，对应回调的参数类型也会收窄为A，自然允许访问aOnly属性。
• 该修改完全保留类型安全性：如果在main内部试图向回调传入不符合T类型的值，Flow会直接抛出错误；如果传入B类型值调用main，回调参数会自动收窄为B类型，仅允许访问bOnly属性，不会遗留运行时风险。

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