如何根据参数字符串定义返回类型？流动型的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)。

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

而且类型：