使用枚舉參數重載函數的類型推斷？

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）