如何为多态函数声明流类型库定义

Question

根据参数类型具有不同返回类型的多态方法指定类型定义的正确方法是什么？

index.js：

// @flow
import {func1} from './lib1';
const s: string = func1('string');
const b: boolean = func1(); // should cause type error but does not!

lib1.js：

export function func1(p) {
    return (typeof p === 'string') ? p : 0;
}

defs/lib1.js.flow

// @flow
declare module "lib1" {
    declare export function func1(p: string): string;
    declare export function func1(_: void): number;
}

.flowconfig：

[libs]
defs/

我希望在 index.js(4) 中收到错误消息，但 flow 不会抱怨！

Answer 1

是的，您给出的示例是如何声明重载函数。但是，您可能希望将第二行更改为：

declare function myFunc(_: void): number;

由于 Flow 允许使用太多参数调用函数（尽管 not for much longer），因此即使使用字符串调用函数，它也可能选择第二个重载。我建议的修改使它的参数必须是undefined（如果你只是省略一个参数，这是隐式传递的）。