通用高阶函数的不兼容流类型

Question

流说明下面返回voidnullify的类型不兼容。我想我错过了什么？

import faker from 'faker' 

type P = 
    | string 
    | number 
    | boolean 

function voidnullify(func:() => P): ?P { 
    const random: number = faker.random.number({ 
    min: 1, 
    max: 10 
    }) 

    const result = func() 

    if (random <= 7) return result 
    else if (random <= 9) return null 
    else return undefined 
} 

function someBoolean() { 
    return true 
} 

function someString() { 
    return "hello" 
} 

function someNumber() { 
    return 1 
} 

let maybeNum: ?number 
let maybeStr: ?string 
let maybeBool: ?boolean 

maybeNum = voidnullify(someNumber) 
maybeStr = voidnullify(someString) 
maybeBool = voidnullify(someBoolean) 

Answer 1

我觉得你正在做的事情，你试图做的只是不受支持。我不确定是否应该可以工作，但是当您试图只保留输入类型（它看起来像？）时，在Flow中执行该操作的正确方法是使用有界多态+通用参数：

type P = 
    | string 
    | number 
    | boolean 

function voidnullify<A: P>(func:() => A): ?A { 
    const random: number = faker.random.number({ 
    min: 1, 
    max: 10 
    }) 
    ...