使用枚举参数重载函数的类型推断？

Question

是否有可能使用带枚举参数的重载函数执行类型推断？例如，说我想做一个工厂函数返回类型取决于枚举值：

enum Colors { 
    Red, 
    Green 
}; 

abstract class Box { }; 
class RedBox extends Box { }; 
class GreenBox extends Box { }; 

class BoxFactory { 
    static createBox(color: Colors.Red): RedBox; 
    static createBox(color: Colors): Box { 
    switch (color) { 
     case Colors.Red: 
     return new RedBox(); 
     case Colors.Green: 
     return new GreenBox(); 
    } 
    } 
} 

function makeMeABox(color: Colors) { 
    // Argument of type 'Colors' is not assignable to parameter of type 'Colors.Red' 
    return BoxFactory.createBox(color); 
} 

（playground）

如果我生成一个声明文件，一般过载甚至不显示向上。但是，如果我删除过载static createBox(color: Colors.Red): RedBox;，情况很好。

Answer 1

你只是缺少一个签名：

class BoxFactory { 
    static createBox(color: Colors.Red): RedBox; 
    static createBox(color: Colors): Box; // <--- THIS ONE 
    static createBox(color: Colors): Box { 
    switch (color) { 
     case Colors.Red: 
     return new RedBox(); 
     case Colors.Green: 
     return new GreenBox(); 
    } 
    } 
} 

然后：

let a = BoxFactory.createBox(Colors.Red); // type of a is RedBox 
let b = BoxFactory.createBox(Colors.Green); // type of b is Box 

（code in playground）