列挙型テンプレートの特殊化

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と一緒に使用しようとしています。あなたはパラメータ化種類とパラメータ化値のアイデアをconflatingている

enum CompCriteria{ByKey,ByValue,ByeKeyAndValue}; 

template<int> 
struct X; 

template<> 
struct X<ByeKeyAndValue> 
{ 
}; 

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

Answer 2

あなたは= template<typename T>template<class 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

：次のように、この場合にはint -

あなたはenum CompCriteria基になる型のテンプレートクラスを特化することができます。テンプレートパラメータは、型または定数です。たとえば、次のように

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}; 
}