Я медленно вписываюсь в мета-программирование шаблонов, и я не уверен, как реализовать следующее:
// hpp file
enum MyEnum { Alive = 0, Dead };
class A {
public:
template<typename T, typename O, MyEnum ls>
static int Register();
};
// elsewhere in the code...
A::Register<IType1, Type1, Dead>();
Во время компиляции я буду знать, какое значение enum имеет третий тип шаблона (инвариант во время компиляции), либо Dead, либо Alive. Можно ли определить два тела для функции Register, например:
// desired hpp file
template<typename T, typename O, Alive>
int Register();
template<typename T, typename O, Dead>
int Register();
// corresponding desired .inc file
template<typename T, typename O, Alive>
int Register() { // Alive specific implementation ... }
template<typename T, typename O, Dead>
int Register() { // Dead specific implementation ... }
Я посмотрел: Специализация по шаблону С++ с постоянным значением
но я не смог выяснить, как это применимо к этой ситуации.