Flow.js如何为支持回调和Promise返回的双签名函数做精确类型标注？

错误原因 #

你使用两种函数类型交集表示重载的思路是正确的，报错是因为Flow无法自动推导函数实现的入参和返回值的对应关系：

• 无参数调用时返回Promise<number>
• 传入回调时返回void
  默认推导下Flow会认为函数返回值是Promise<number> | void，无法和交集类型的两种签名要求匹配，所以抛出类型不兼容错误。

修复方案 #

方案1：使用Flow原生函数重载语法（更直观，推荐） #

直接声明多个合法的调用签名，实现层标注覆盖所有情况的参数和返回值即可：

// 声明两种合法调用签名
declare function foo(): Promise<number>;
declare function foo(callback: (num: number) => void): void;

// 函数实现，参数可选，返回值为所有重载返回的联合类型
const foo = (callback?: (num: number) => void): Promise<number> | void => {
    const p = Promise.resolve(1.0);
    if (callback === undefined) {
      return p;
    }
    p.then(callback);
};

方案2：保留交集类型写法，补充实现层的类型标注 #

如果要保留你原来的交集类型定义，只需要给实现的参数加可选标注、返回值加联合类型标注即可：

type CallbackCase = (callback: (number) => void) => void;
type PromiseCase = () => Promise<number>;

const foo: CallbackCase & PromiseCase = 
  (callback?: (number) => void): Promise<number> | void => {
    const p = Promise.resolve(1.0);
    if (callback === undefined) {
      return p;
    }
    p.then(callback);
  };

验证效果 #

两种方案都能满足你的调用约束：

• let a: Promise<number> = foo(); 类型校验通过
• foo((n: number) => console.log(n)); 类型校验通过
• 传入其他参数、或者错误接收返回值都会被Flow拦截，符合精确类型要求。

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