如何根據參數字符串定義返回類型？流動型的JavaScript

Question

比如我得到這個FN：

const aCar = {type: 'car', wheels: 4}; 
const aBike = {type: 'bike', wheels: 2}; 

const fn = (type:'a'|'b'):Car|Bike => { 
    if(type === `a`) return aCar; 
    if(type === `b`) return aBike; 
} 

的問題是，回總是Bike或Car indipendently的類型。我想強制執行的是，當類型爲a時，返回總是爲Car，當爲b時，類型爲Bike。

這可能嗎？

東西very close：

// @flow 

const items = [1, 2, 3]; 

type FirstType = ((_: 'a') => number) & ((n: 'b') => Array<number>); 

const first: FirstType = (n):any => { 
    if (n === "a") { 
    return items[0]; 
    } else if(n === 'b') { 
    return items; 
    } 
} 

const a: number = first('a'); 
const b: Array<number> = first('b'); 

感謝

Answer 1

我找到了一種方法做我需要這個代碼。重載函數，然後使用參數作爲對象來定義返回值。相當好的解決方案，但可能會更好。

注：formatNotification參數只能是一個對象，而不是2個參數等formatNotification(type, data)。

仍然不是一個好的解決方案，但中途工作。

而且類型：