通用高階函數的不兼容流類型

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 
    }) 
    ...