Специализированный шаблон для перечисления

Question

Может ли кто-нибудь сказать мне, почему это не работает?

enum CompCriteria{ByKey,ByValue,ByeKeyAndValue}; 

template<class T> 
struct X; 

template<> 
struct X<CompCriteria> 
{ 
}; 

int _tmain(int argc, _TCHAR* argv[]) 
{ 
    X<CompCriteria::ByeKeyAndValue> x; 
    return 0; 
} 

Answer 1

У вас есть специализированный X для типа, но вы пытаетесь использовать его с целым числом CompCriteria::ByeKeyAndValue.

Вы можете специализироваться класс шаблона для enum CompCriteria базового типа - int в этом случае следующим образом:

enum CompCriteria{ByKey,ByValue,ByeKeyAndValue}; 

template<int> 
struct X; 

template<> 
struct X<ByeKeyAndValue> 
{ 
}; 

int main() 
{ 
    X<ByeKeyAndValue> x; 
    return 0; 
} 

Answer 2

Если у вас есть template<class T> = template<typename T>, то T, как ожидается, будет, ну типа.

enum CompCriteria - это тип, поэтому вы можете создать экземпляр этого шаблона с ним. Однако одно значение перечисления не является типом, поэтому вы не можете.

Answer 3

enum CompCriteria{ByKey,ByValue,ByeKeyAndValue}; 

template<CompCriteria crit_> 
struct X 
{ 
    static const CompCriteria crit = crit_; 
}; 


int _tmain(int argc, _TCHAR* argv[]) 
{ 
    X<CompCriteria::ByeKeyAndValue> x; 
    return 0; 
} 

Answer 4

Вы приравнивая идею параметризованных типов и параметризованных значений. Параметром шаблона может быть тип или константа. Например:

template <typename T> 
struct Foo; 

против ..

template <int N> 
struct Foo; 

Похоже, что вы хотите специализироваться шаблон на основе перечисления постоянной, а не типа. Значение, вы должны сказать:

enum CompCriteria{ByKey,ByValue,ByeKeyAndValue}; 

template<CompCriteria> 
struct X; 

// Specialization for ByKeyAndValue 
// 
template<> 
struct X<ByeKeyAndValue> 
{ 
}; 

int main() 
{ 
    X<ByeKeyAndValue> x; // instantiate specialization 
    return 0; 
} 

Кроме того, вы не можете обратиться к перечислениям с помощью оператора namespace. Если вы хотите инкапсулировать свои перечисления, вам необходимо обернуть их в пространство имен:

namespace CompCriteria 
{ 
    enum type {ByKey,ByValue,ByeKeyAndValue}; 
}