定義排除特定類型的

Question

我想有一個通用的函數，它(() => T) | T類型的參數流的類型，比如

const myGenericFunction = <T>(param: ((() => T) | T)): T => { 
    if (typeof param === 'function') { return param(); } 
    return param; 
}; 

然而，在這種情況下，流量不知道，如果我通過參數() => 1，然後T是number，而不是() => number。我如何才能幫助流程理解T不應該是一個功能？

Answer 1

Flow不包含「not」類型（如$Not<Function>），所以我不認爲有一個完全通用的方法來執行此操作。但是，如果T只能是一個類型的子集，你可以用綁定的泛型實現這一點：

const myGenericFunction = <T: number | string | {}>(
    param: ((() => T) | T) 
): T => { 
    if (typeof param === 'function') { return param(); } 
    return param; 
};