接受字符串並返回字符串或接受void並返回void的函數的類型是什么？

Question

我有以下功能；

const capitalize = (input) =>
    (!(typeof input === 'undefined'))
        ? input
            .split(' ')
            .map(capitalizeWord)
            .join(' ')
        : undefined

這要么接受一個字符串並返回一個字符串，要么接受未定義並返回未定義，但是從不接受一個字符串並返回未定義或接受未定義並返回一個字符串。 我的想法是類型應該是(void => void) & (string => string)但這根本不符合我想要的； Flow擔心我沒有指定要大寫輸入是字符串還是未定義的內容，而要執行的操作實際上是將其分派到正確的類型。 當我讓flow只是推斷類型時，它會推斷(void | string) => (string | void) ，這太寬泛了。 正確的簽名是什么？

Answer 1

您可以將泛型定義為string或void ：

const capitalize = <T: string | void>(input: T): T =>
        (!(typeof input === 'undefined')) ? input
            .split(' ')
            .join(' ')
        : input

但是，它應該返回傳遞的arg，而不是undefined 。 試試看